AdaCore has released the GNATcoverage 1.2 source and object code coverage analysis tool. The product's technology does not require instrumentation of the executable, and this new product release supports usage with an iSystem hardware probe generating Nexus trace data, as well as usage with Valgrind on Linux.
GNATcoverage 1.2 supports Ada 95, Ada 2005, and many new features in Ada 2012. It can also be used for the upcoming SPARK 2014 revision and includes Beta support for C.
Other enhancements include functions covering the 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.
Qualification material is available to support GNATcoverage usage 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 thus 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," said 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."