Vector Software and MathWorks Combine Dynamic Testing and Static Verification

Share Article

VectorCAST and Polyspace Integration Provides Powerful Tools for Improved Software Quality

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.

Vector Software, the world’s leading provider of innovative software solutions for robust embedded software quality, announced today an integration of the Vector Software VectorCAST™ and 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.

In order to fully leverage the powerful synergies offered by the two tools, Vector Software and MathWorks have developed an integration that enables users to easily 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 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.”

About Vector Software, Inc.

Vector Software is the world’s leading provider of software testing solutions for safety and business critical embedded applications. Companies worldwide in the automotive, aerospace, medical devices, industrial controls, rail, and other business critical sectors rely on Vector Software’s VectorCAST™ test solution. The VectorCAST environment enables software development teams to easily automate complex testing tasks to improve software quality, using Test-Driven Development, Continuous Integration, and Change-Based Testing processes to engineer reliable software for accelerated time-to-market release cycles. Vector Software is headquartered in East Greenwich, Rhode Island USA with offices worldwide, and a world-class team of support and technology partners. To learn more, visit: http://www.vectorcast.com. Follow Vector Software on Facebook, Google+, LinkedIn, Twitter, and YouTube.

Polyspace is a registered trademark of The MathWorks, Inc. See mathworks.com/trademarks for a list of additional trademarks. Other product or brand names may be trademarks or registered trademarks of their respective holders.

Share article on socal media or email:

View article via:

Pdf Print

Contact Author

James Rawstron
Vector Software, Inc.
+1 401.398.7185 Ext: 122
Email >
Visit website