GNATcoverage is a specialized tool that analyzes and reports program coverage. It 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), without requiring instrumentation of the executable.
AdaCore provides open source tools and expertise for the development of mission-critical, safety-critical, and security-critical software. AdaCore’s flagship products are the GNAT Pro and SPARK Pro development environments and the CodePeer automatic code reviewer and validator. The GNAT Pro development environment includes all tools (code coverage and profiling, code standard checker, documentation generator, source code metrics, etc.) necessary for building robust and reliable applications. It provides support for a number of commercial RTOSes and bare board configurations. Customers around the world, including major actors in the embedded world, trust GNAT Pro and AdaCore. See www.adacore.com for further information.