Vector Software, the world’s leading provider of innovative software solutions for robust embedded software quality, announced today an integration of the VectorCAST test automation platform with CodePeer 3.0 – AdaCore’s advanced static code analysis tool for Ada, including version 2012.
VectorCAST and CodePeer now provide Development and QA teams with the ability to focus test efforts in areas most susceptible to errors. An additional capability allows developers of legacy applications the ability to augment code covered during unit/integration and system test with code considered “clean” by CodePeer. Clean code can be imported into the VectorCAST/CBA (Covered by Analysis) facility to increase coverage levels. Code considered “not clean” would be designated for additional testing with VectorCAST.
AdaCore’s CodePeer 3.0 Advanced Static Analysis tool detects possible run-time errors including: IEEE 754 Floating Point semantics, buffer overflows, integer overflow or wraparound, division by zero, index/range checks, uninitialized variables, unused assignments, redundant and invariant constructs, infinite loops, race conditions, and suspicious implicit contracts in source code.
This latest integration benefits all customers working with Ada but has some additional certification advantages for those working protection and control systems for Avionics or Railway, where software quality and certification are mandated such as: RTCA D-178B/C, EUROCAE ED-12B/C, or CENELEC, EN 50128.
“Providing combined views of the static and dynamic analysis results offers novel capabilities in terms of efficient verification for high-assurance systems,” said Cyrille Comar, AdaCore President. “The VectorCAST environment allows our customers to get the best of CodePeer static analysis by helping them to concentrate on the parts of the application that are less well covered by dynamic tests.”
“With AdaCore’s CodePeer 3.0 advanced static analysis and the VectorCAST Test Automation Platform’s newly engineered features, such as Covered by Analysis, we are able to provide new and legacy Ada developed projects with tools to focus test efforts in areas that will provide the best return on investment,” said William McCaffrey, Chief Operating Officer at Vector Software.