Vector Software Partners with Solid Sands to Better Unit Testing of Compilers

By CIOReview | Thursday, December 10, 2015
854
1377
284

FREMONT, CA: Vector Software, a provider of software testing solutions for safety and business critical embedded application, partners with Solid Sands to make validation of compiler faster and efficient. The two companies have come together to integrate Vector CAST with SuperTest – a test and validation suite for C and C++ compilers.

Being a highly automated unit and integration test solution, it is used by embedded developers to validate safety and business-critical embedded systems in the avionics, medical device, automotive, industrial controls, railway, and financial industries. With the Vector CAST testing solution, unit testing can be done natively or on a specific target or target simulator. Its run-time support package along with Vector CAST/RSP makes execution of test cases on target hardware automatic and seamless. It allows tests to be developed in a host environment and re-executed on an embedded target to validate target and cross-compiler performance.

SuperTest
As a test and validation suite for C and C++ compilers, SuperTest’s  key parts that make the compiler complete include: a library of hand-written test; set of generated tests; a framework to easily set-up and run compiler validations and a report generator which provides detailed overview of validation results in multiple formats, including HTML.

SuperTest’s application binary interface (ABI) tester can be used to verify calling conventions within the compiler, between different versions of the compiler, or even between completely different compilers. Its collection of generated tests called the Depth-Suite verifies arithmetic correctness relative to the target machine's data model. The suite’s parallel testing enables automatic splits validation that runs into a preconfigured numbers of threads to speed up the validation. With the presence of TEMPlate Expander which is a production-rule driven test generator, the compiler validation suite can create pseudo variations of a particular test.

By using VectorCAST to examine the internal structure of the compiler, developers can highlight areas where unit tests need to be developed. In the safety domain, Vector Software’s testing solution enables end users of open source compilers to improve compiler quality by tracing the impact of changes in new versions. Hence, the effort required to qualify a compiler update can be reduced through focusing on the new change through change-based testing.

 “VectorCAST’s powerful Change-Based Testing now supports compiler revalidation through SuperTest, addressing customer demand to reduce or remove the impact of compiler changes on projects. Additionally, SuperTest users now have access to the power and reporting of VectorCAST’s test automation platform,” says William McCaffrey COO, Vector Software.