VectorCAST/Cover allows you to gauge the effectiveness of your test efforts by identifying which areas of an application were exercised during a test run. VectorCAST/Cover provides a convenient way to analyze the completeness of your system tests, ensuring that applications are not released with untested code. VectorCAST/Cover allows you to analyze any portion of your application, or the entire application at once.

Supports Code Coverage on host, simulator, or embedded target
Supports Ada83/95, C, C++
Compiler and RTOS independent

VectorCAST/Ada is an integrated software test solution that significantly reduces the time, effort, and cost associated with testing Ada software components necessary for validating safety- and mission-critical embedded systems.

If you develop real-time software, you need to know that your code meets its performance requirements. RapiTime combines on-target execution time profiling with static analysis to support you in ensuring your real-time application lives up to its requirements. RapiTime allows you to: monitor code coverage, determine worst-case execution times, quickly identify slow code that has a disproportionate effect on the running time of your application. RapiTime supports C and Ada on all 8, 16 and 32-bit microcontrollers and DSPs.

CodePeer is an Ada source code analyzer that detects run-time and logic errors. It assesses potential bugs before program execution, serving as an automated peer reviewer, helping to find errors efficiently and early in the development life-cycle. It can also be used to perform impact analysis when introducing changes to the existing code, as well as helping vulnerability analysis. Using control-flow, data-flow, and other advanced static analysis techniques, CodePeer detects errors that would otherwise only be found through labor-intensive debugging.

AUnit is a set of Ada packages based on the xUnit family of unit test frameworks. It's intended as a developer's tool to facilitate confident writing and evolution of Ada software. It is purposely lightweight, as one of its main goals is to make it easy to develop and run unit tests, rather than to generate artifacts for process management. The framework supports easy composition of sets of unit tests to provide flexibility in determining what tests to run for a given purpose.

Ahven is a simple unit test library (or a framework) for Ada 95 programming language. It is loosely modelled after JUnit and some ideas are taken from AUnit.

GNAT Pro is a robust and flexible Ada development environment. It includes professional grade tools, unmatched product support and expert Ada advice designed to allow development teams to take full advantage of the benefits Ada offers, and ensure a smooth, cost-effective development process.