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


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


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


 AdaTEST 95 deep Code Coverage - deep sea diver
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.

Learn More

Cost against efficiency, speed and quality coordinate system - why invest in AdaTEST 95 - how AdaTEST 95 will improve a company with lower costs - high efficiency - high speed - high quality - low costs
Why Invest in AdaTEST 95
Why Invest in AdaTEST 95

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

Learn More

 AdaTESt 95 Static Code Metrics - tool
Static code metrics
Static code metrics

Over 100 metrics on Ada source code providing:

> Objective code review

> Test effort estimation

> Checks integrated in tests

Learn More

“With the requirement of the highest safety standard and level in our automotive project, Cantata met and achieved the requirement and significantly contributed to our project success and customer satisfaction.”

Pham Hong Son, Manager for Consulting Services, Hitachi Vantara

“Wrapping and custom code insertion capabilities in Cantata were a major benefit in achieving full code coverage of the harder to reach areas of defensive programming.”

Nir Erez, Director of LiDAR Software, Innoviz Technologies

“Cantata has proved successful and increased unit testing efficiency. Cantata from QA Systems offers an ideal solution for the creation and execution of unit and integration tests, including coverage analysis.”

Bosch Engineering GmbH

“Cantata was chosen to do this because it gave all the functionality needed to test to the IEC 61508 SIL 1 standard!”

The Highways Agency

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:

IEC 61508

Functional Safety of Electrical/ Electronic/ Programmable Electronic Safety-related Systems

EN 50128

Railway applications – Communication, signalling and processing systems

IEC 60880

Nuclear Power


Software Considerations in Airborne Systems and Equipment Certification


Guidelines for Communication, Navigation, Surveillance and Air Traffic Management (CNS/ATM) Systems Software Integrity Assurance


Space Engineering: Software


US Military-Standard-498 Software Development and Documentation

Def Stan 00-55

UK Requirements for Safety Related Software in Defence Equipment


Code coverage with AdaTEST 95
Short demo of AdaTEST 95 code coverage

Testing techniques for Ada 95
Testing techniques for Ada 95

Static analysis with AdaTEST 95
This video explains how AdaTEST 95 provides over 100 metrics for statically analysing code using rulesets.

Why buy from QA Systems

  • A reliable testing vendor for 25 years
  • Hundreds of customers across all safety and business critical sectors
  • We listen to our customers to guide product enhancements
  • Specialists in high reliability Static and Dynamic testing
  • Experienced direct technical support teams
  • Tool training and on-site consultancy
Slide 1
Slide 1 - copy
Slide 1 - copy - copy
previous arrowprevious arrow
next arrownext arrow