Automated unit & integration testing for Ada

Automated unit & integration testing for Ada

AdaTEST 95 is a unit and integration testing tool, enabling developers to verify standard compliant or business critical code on host native and embedded target platforms.

All of the testing requirements for safety standards are met faster by automating:

Test framework generation

Test case generation

Test execution

Results diagnostics and report generation

UNIT TESTING

AdaTEST 95 puts you in control of Ada package verification with wizard driven test scripting in the Ada 95 language, building and executing your tests in your compiler IDE. AdaTEST 95 provides the following for unit testing:

INTEGRATION TESTING

AdaTEST 95 allows you to test the interfaces between Ada packages and on test groups of packages which are just not viable for isolation unit testing. AdaTEST 95 provides the following for integration testing:

Automated checking of results

Black and white box techniques combined

Selectable and programmable stubs

Call sequence validation

User observation tests

State transition tests

Multi-threaded test execution

Real-time performance analysis

Automated regression testing

Integrated code coverage and static metric checking

EXPLORE AdaTEST 95

Code coverage analysis

Code coverage analysis

Simple to use for the highest regulatory standards, and fully integrated into tests, the deep analysis easily pin-points gaps in code coverage.

"AdaTEST has been a great help to us. Its use has significantly increased the quality of the software products we are delivering, and it is wholly evident that the use of properly tested software units has led to greatly reduced integration testing times."

Mike Morton, Senior Software Engineer, Lockheed Martin

"AdaTEST 95 will continue to be used on this program. It has proved to be an effective and efficient tool for module testing.”

John Parrott, Software Testing Lead, GE Aviation

"AdaTEST 95 has been fantastic for us. It is easy to use, reliable, and gives us exactly what we want, both from our own point of view as developers, and also looking at the need to give our customers results data which they can understand and depend on.”

Dan Marshman, Astrium

Compliance with testing requirements of safety standards

AdaTEST toolset has been at the forefront of safety critical Ada code verification since its introduction in 1991. It has been successfully qualified in many high profile projects including air-traffic control, avionics, rail transport, space, defence and nuclear energy.

AdaTEST 95 has been successfully used to comply with the testing requirements of: