Adatest 95

QA Systems > Software testing tools for embedded software in C/C++ > Adatest 95

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:

Automated checks for all standard Ada 95 data types records and arrays
Generic checks for instantiation with user defined types.
Black and white box tests
Intuitive test directives and test scripts in Ada
Test support package automatic global data checking
Exception verification
Stubbing simulation of ‘separate’ subunits
Call sequence validation
State transition testing
Real-time performance analysis
Automated regression testing
Integrated code coverage and static metric checking

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

AdaTEST 95 deep Code Coverage - deep sea diver

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.

Learn More

Why Invest in AdaTEST 95

Industry leaders use AdaTEST 95 to lower testing costs with a proven reliable too.

Learn More

Static code metrics

Over 100 metrics on Ada source code providing:

> Objective code review

> Test effort estimation

> Checks integrated in tests

Learn More

“Cantata allows us to test against requirements in a structured way and gives us the confidence that we have not missed anything. Writing code and getting it to execute is one thing, but that is not the main job. The real job is to prove everything.”

Johnny Johansson, Global Validation & Verification Tools Manager, SAAB

“I feel this is a better tool than any other testing tools for DO-178B/C V & V activities.”

Prabhakar Patil, Deputy General Manager, AK Aerotek Software Centre Pvt Ltd

“The systematic use of Cantata has enabled us to have the shortest unit test phase possible with great efficiency in terms of cost.”

Philippe Lomazzi, Head of Software Development Meggitt

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: