Analysis tool updated to include hardware probe functionality

5th February 2014

AdaCore

Staff Reporter

0 0

Supporting all levels of safety certification, GNATcoverage 1.2 is the leatest version of AdaCore's source and object code coverage analysis tool. The release includes supports usage with an iSystem hardware probe generating Nexus trace data, as well as usage with Valgrind on Linux.

GNATcoverage’s technology does not require instrumentation of the executable and supports Ada 95, Ada 2005 and many new features in Ada 2012. The release can be used for the upcoming SPARK 2014 revision and includes Beta support for C. Further enhancements include generation of coverage information for generics on a per-instance basis, and improved HTML output (sortable columns, project awareness). The tool is now integrated with the GNAT Pro development environment.

GNATcoverage usage can be supported through qualification material as a verification tool (DO-178B) or a tool at TQL-5 (DO-178C). It can be used as part of the verification process for systems that need to be certified up to Level A, and can therefore supply analysis up to Modified Condition/Decision Coverage (MCDC). GNATcoverage can also be used for railway applications that need to comply with EN-50128:2011 (T2).

“This new release of GNATcoverage considerably expands the product’s capabilities,” commented Cyrille Comar, AdaCore Managing Director. “Furthermore, now that it has been established that object branch coverage is not sufficient for claiming MCDC, we can assert that GNATcoverage is the only coverage technology that does complete MCDC without application-level instrumentation.”