Vector Software & MathWorks blend dynamic testing and static verification

December 15, 2014 // By Graham Prophet
An integration of two software toolsets – VectorCAST and Polyspace – provides a new mix of tools for improved software quality.

Vector Software, provider of software solutions for embedded software quality, has announced today an integration of its VectorCAST with Polyspace static analysis products from MathWorks. The collaboration enables developers to combine dynamic testing and static analysis in a single, seamless environment which helps to ensure applications function as intended.

Vector Software and MathWorks have developed an integration that enables users to create Polyspace environments from within VectorCAST. Polyspace products can be launched from the VectorCAST graphical user interface (GUI), enabling static analysis of Ada, C or C++ files. By using the two tools in tandem, developers can find bugs, prove absence of critical run-time errors, identify dead code, and perform dynamic testing to verify functional correctness.

VectorCAST/C++/Ada parses your source code and invokes code generators to automatically create the test code (stubs and drivers) required to construct a complete, executable test harness for any system interface. Once the test harness is constructed, VectorCAST/C++/Ada can be used to build and execute test cases, show code covered and pass/fail results, and report static measurements. Smart regression testing and continuous integration is accomplished with Change Based Testing features, running only those tests that are affected by a code change. VectorCAST/Cover is a stand-alone code coverage tool that provides test completeness information for source code files. Coverage data is collected by executing the project's test suite to report on the tested and untested areas of the code.

Polyspace products help developers perform static analysis, which enables them to detect and prove the absence of overflow, divide-by-zero, out-of-bounds array access, and other run-time errors in source code. Using advanced formal methods such as abstract interpretation, Polyspace products provide a complete solution for static code analysis — from enforcing coding rules, identifying bugs, and measuring code quality, to verifying that the handwritten or automatically generated code is free of critical run-time errors. These capabilities confirm the reliability of embedded software that must operate at the highest