SOURCE: Vector Software

Vector Software

July 14, 2015 07:00 ET

Vector Software Announces Integration With AdaCore's CodePeer 3.0 Static Analysis Tool

Latest VectorCAST Integration Provides Ada Developers With Powerful Tools for Automated Code Review and Validation

PROVIDENCE, RI--(Marketwired - Jul 14, 2015) -  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.

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 automation platform. The VectorCAST environment enables software development organizations 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: www.vectorcast.com. Follow Vector Software on Facebook, Google+, LinkedIn, Twitter, and YouTube.

About AdaCore

Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Four flagship products highlight the company's offerings:

  • The GNAT Pro development environment for Ada, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability,
  • The CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errors both during development and retrospectively on existing software,
  • The SPARK Pro verification environment, a toolset based on formal methods and oriented towards high-assurance systems, and
  • The QGen model-based development tool, a qualifiable and customizable code generator and verifier for Simulink® and Stateflow® models, intended for safety-critical control systems.

Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as space systems, commercial avionics, military systems, air traffic management/control, rail systems, medical devices, and financial services. AdaCore has an extensive and growing world-wide customer base; see www.adacore.com/customers/ for further information.

AdaCore products are open source and come with expert on-line support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris. www.adacore.com

Contact Information