Truemag

  • Subscribe
    • New Subscription
    • Account Updates
    • Customer Service
  • News & Events
    • News
    • Events
  • Advertise
    • Media Kit
    • Reprints
    • Contacts
  • Editorial
    • Podcasts
    • Current Articles
    • Digital Editions
    • eNewsletter
    • Editor’s Desk
    • Edit Calendar
    • Contacts
  • Buyers Guide
    • Search
    • Sponsor Index
    • Vendor Update
  • Annual Software Ranking
    • Ranking Form
    • Annual Software Ranking
    • 2018 Software Ranking File Package

Vector Software Announces Integration with AdaCore’s CodePeer 3.0 Static Analysis Tool

07.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.

vectorcast.com

Jul 14, 2005Cassie Balentine
Minitab’s Custom Development Service Integrates Minitab Statistical Software into Any WorkflowAaron’s Partners with Azuga
Product Centrics
TrueNAS Open Source Storage Platform brings Full Windows ACL Support to Linux

Fully featured Windows file system ACLs are well supported in TrueNAS 12.0 (CORE and Enterprise), but not generally supported by Linux. Thanks to some innovation, and sweat from the iXsystems engineering team, TrueNAS SCALE 21.08...

Driving Successful Digital Transformation Initiatives in 2022

Well, the end of the year is the perfect time to reflect on all the past year's activities and plan for the coming year. As we plan for 2022, one thing...

Recovery Platforms

Established in 2013, Imanis Data, previously Talena...

Data Driven Efficiency

Founded in 2003, Tableau is a public software company...

Updated Hitachi CRM

Building Product Manufacturers (BPM) require...

Quick Links
Untitled Document
SW500 SW500 SW500 SW500 SW500
2022 © Rockport Custom Publishing, LLC