AdaCore Releases New GNATcoverage Tool
AdaCore Releases First Non-Intrusive Coverage Tool to Fully Support All Levels of Safety Certification
New GNATcoverage tool provides advanced program coverage analysis on both object code and source code
PARIS and NEW YORK, February 1, 2011 - AdaCore, a leading supplier of Ada development tools and support services, today announced the release of GNATcoverage, a tool that analyzes and reports program coverage. Originally developed as part of the Couverture research project, GNATcoverage performs coverage analysis on both object code -- instruction and branch coverage – and Ada and C language source code – statement, decision and Modified Condition/Decision Coverage (MC/DC). Unlike most current technologies, the tool works without requiring instrumentation of the executable. Instead, it runs directly on an instrumented version of GNATemulator, a lightweight and efficient emulator tool provided by AdaCore. GNATcoverage helps software developers assess the breadth of a testing campaign and provides precise answers to the needs of safety-certification processes, such as the DO-178 avionics standard.
“Until recently, the relationship between source coverage and object coverage had never been studied in detail. The research part of the ‘Couverture’ project proved mathematically the exact perimeter in which complex source coverage metrics, such as MC/DC, could be deduced from object coverage information,” said Cyrille Comar, Managing Director of AdaCore. “It allowed us to build the first coverage tool, working on un-instrumented code and providing results sufficiently accurate for meeting the needs of the highest level of avionics certification. We are very proud of this achievement!”
Combines Agile concepts with ease-of-use
By automating testing and coverage analysis of embedded application code, GNATcoverage allows developers to use continuous integration techniques made popular by the Agile community. Many instances of the tool can be launched simultaneously, making it possible to parallelize coverage analysis. GNATcoverage can also be installed on individual developers’ desktops, allowing them to verify locally and easily the adequacy of their testing strategy.
Analyzes the final code that will run on the embedded target
GNATcoverage provides code coverage information directly on the embedded target application code. There is no instrumentation of the object code - the instrumentation is done directly at emulation level.
Aids in establishing certification requirements (DO-178B level A, EN 50128, IEC 61508, ECCS-E40B)
GNATcoverage provides source coverage information for all levels of safety certification (Statement Coverage, Decision Coverage and Modified Condition/Decision Coverage). Qualification material is available for DO-178 B up to level A. GNATcoverage can also provide object-level coverage metrics in term of binary instructions and which branches have been exercised.
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore's flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive worldwide customer base; see http://www.adacore.com/home/company/customers/ for further information.
Ada and GNAT Pro continue to see growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railway systems and medical devices, and in security-sensitive domains such as financial services.