Adatest 95 Logo - unit and integration testing for C/C++ - add-on product for Cantata

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
AdaTEST 95 dynamic unit testing for Ada video cover - Automated unit & integration testing for Ada - hand holding up a tool



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 Test Script Wizard Screenshot - Unit Testing Example - Unit and Integration Testing for Ada
AdaTEST 95 Integration testing screenshot - testing of the interfaces between Ada packages and on test groups of packages



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 tool

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

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:



Montage of safety standards for AdaTEST - IEC 61508, EN 50128, IEC 60880, DO-178B/C
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


Screenshot of AdaTESt Code Coverage Video Screenshot


Code coverage with AdaTEST 95

Short demo of AdaTEST 95 code coverage

Testing techniques for AdaTEST 95 - techniques which can be utilised to improve the likelihood of achieving testing success with Ada 95 - Screenshot whitepaper

Testing techniques for Ada 95

Techniques for successful testing of Ada 95 Hierarchical libraries, Protected Objects and Controlled Types

Screenshot of AdaTEST Static Analysis Video Screenshot


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 20 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