Test tool integrated with static analysis software

VectorCAST/C++/Ada parses 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 any number of 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.

“Error-free code is essential for developing safety-critical applications”,said William McCaffrey, Chief Operating Officer, Vector Software. “The integration of the leading test environment, VectorCAST, and the premier static analysis solution, Polyspace, provides a best-of-breed toolset for engineering high quality software.”

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 levels of quality and safety.

“Development of critical embedded software requires detailed code verification processes that span static analysis and software test. Performing static analysis early in the development process can help identify critical issues in the source code”, said Paul Barnard, Marketing Director, MathWorks. “By using Polyspace with VectorCAST, our customers are not only able to find and fix bugs early, they improve the testing process by confirming that the code is indeed testable and that it is robust.”