Software Communications Architecture
SCA Complete shortens compliance testing time for SCA 2.2, SCA 2.2.2, and now SCA 4.1 from weeks and months to hours. Literally. It is the only turnkey source-code analysis tool specifically engineered for the SCA and used by the United States Government test authority.
The SCA is complex and includes requirements that cut across source code, CORBA® middleware IDL, and XML descriptor files. SCA Complete includes patented technology that simplifies SCA development by supporting integrated testing across file types, ensuring completeness and consistency.
Tests can be tailored to individual components, packages, or whole assemblies. With both visual and scriptable interfaces, SCA Complete is engineered to integrate into a variety of development environments and workflows.
Issues are reported in the language of the SCA with direct links and references to the specification. The result is a seamless integration of reported violations that speeds you to correcting them so that the waveform is compliant.
The US Military’s JTNC Test and Evaluation Laboratory (JTEL) reports that using SCA Complete provided up to a 90% reduction in the time required to test key POSIX® and CORBA® requirements.
SCA Complete’s reporting flexibility enables reports to be automatically generated individually, or as a consolidated view. Our unified open XML schema supports built-in report generation in HTML,CSV, and text formats for easy viewing with open-source and commercial tools
SCA Complete delivers 100% code coverage, parsing full ANSI C and C++ languages, CORBA middleware ID, and SCA XML descriptor files. Coverage includes all header files and even preprocessor-excluded code.
SCA Complete delivers 100% code coverage, parsing full ANSI C and C++ languages, CORBA middleware ID, and SCA XML descriptor files. Coverage includes all header files and even preprocessor-excluded code.
SCA Complete supports command-driven execution that can be scripted for easy integration with almost any development workflow including Eclipse-based tools such as NordiaSoft’s SCA Architect™. Its open end-to-end command-line interface also recognizes SCA files
SCA Complete’s specific testing and validation tools let you flag non-compliance issues at the earliest stages of software development and address them well before software certification submissionYou become the compliance hero by reducing expensive dry-runs and iterative submissions for certification.
In a system for enabling configuration of an ensemble of several solvers, such that the ensemble can efficiently solve a constraint problem, for each one of several candidate configurations, an array of scores is computed. The array corresponds to a statistical parameter related to a problem solution, and the computation
In this paper we introduce Blackspot, an extension to R-Check SCA that uses unsupervised machine learning based on tensor decompositions to organize and highlight sections of source code for more systematic inspection. Using markers identified by R-Check SCA’s Pitchfork rule language, multidimensional decompositions are used to cluster code so as to group similar structures for
We provide concrete evidence that floating-point computations in C programs can be verified in a homogeneous verification setting based on Coq only, by evaluating the practicality of the combination of the formal semantics of CompCert Clight and the Flocq formal specification of IEEE 754 floating-point arithmetic for the verification of
632 Broadway, Suite 803
New York, New York 10012
