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
Dynamic unit testing for AdaTEST 95 video screenshot - Automated unit & integration testing for Ada - hand holding up a tool - search - scanning - analysis - complete

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
Unit testing example screenshot - 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
Integration testing screenshot - 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

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

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

DO-178B/C

Software Considerations in Airborne Systems and Equipment Certification 

DO-278A

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

ECCS-E-40

Space Engineering: Software 

MIL STD 498

US Military-Standard-498 Software Development and Documentation

Def Stan 00-55

UK Requirements for Safety Related Software in Defence Equipment

FEATURED CONTENT

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
Start
Trial
Learn
more
QA-Systems