AdaTEST 95 - the solution for testing Ada software

AdaTEST 95 has been designed around the requirements of the Ada language to produce a tool which allows developers to efficiently perform unit and integration testing. The product offers high productivity and a unique set of testing, coverage analysis and static analysis features.

Free Evaluation

AdaTEST toolset has been at the forefront of Ada code verification since its introduction in 1991. Its use has featured in many high profile projects ranging from air-traffic control, avionics, rail transport, space, defence, nuclear energy, and even financial and digital broadcast systems

Technical Overview

 

Major Features of AdaTEST95

  • Unit and Integration testing: on both host and target platforms
  • Integrated Coverage Analysis: statement, decision, MC/DC, entry point and call-return metrics
  • Full support for: Ada 95, Ada 83 and several Ada subsets
  • GUI: Graphical wizard-driven test preparation
  • Object Oriented: OO-aware testing
  • Stubbing: to simulate and control external interfaces
  • Static Analysis: code complexity and size metrics
AdaTEST Results Viewer
Registration

For the following downloads you need to register. Please enter your contact information in the form.

Standards Papers
This paper describes how AdaTEST 95 and Cantata can be used to assist with the development of software to the Galileo Software Standard (GSWS).
Testing Tools GSWS | PDF | 93 KB
This paper describes how QA Systems Testing Products can be used to assist with the verification and validation of software according to the FDA Software Validation Guidelines.
Testing Tools FDA Software Validation Guidelines | PDF | 68 KB
This paper describes how AdaTEST 95 and Cantata can be used to assist with the development of software to the standard RTCA/DO-178B.
Testing Tools RTCA DO-178B | PDF | 73 KB
This paper describes how QA Systems Testing Products can be used to assist with the verification and validation of software according to the ECSS E-40 Standard on Space Software Engineering.
Testing Tools ECSS E-40 | PDF | 53 KB
This paper describes how QA Systems Testing Products can be used within a software development adhering to the MISRA Development Guidelines for Vehicle Based Software.
Testing Tools MISRA Dev Guidelines | PDF | 61 KB
This paper describes how QA Systems Testing Products can be used within a software development using an ISO 9001 / BS5750 / TickIT compliant Quality Management System.
Testing Tools ISO9001/BS5750/Tick IT | PDF | 30 KB
This paper describes how QA Systems Testing Products can be used within the CMM framework, and details how they can be used to assist an organisation to transition between CMM levels.
Testing Tools SEI Capability Maturity Model | PDF | 59 KB
This paper describes how QA Systems Testing Products can be used within a software development to MIL-STD-498.
Testing Tools MIL-STD-498 | PDF | 73 KB
This paper shows how QA Systems Testing Products can be used to assist with the development of software to Defence Standard 00-55.
Testing Tools MoD Defence Standard 00-55 | PDF | 53 KB
This paper describes how QA Systems Testing Products can be used to assist with the development of software to EN50128, Software for Railway Control and Protection Systems.
Testing Tools EN50128 | PDF | 92 KB
This paper describes how QA Systems Testing Products can be used to assist with the development of software to IEC880, Software for Computers in the Safety Systems of Nuclear Power Stations.
Testing Tools IEC880 | PDF | 63 KB
This paper describes how QA Systems Testing Products can be used within a software development to DOD-STD-2167A.
Testing Tools DOD-STD 2167A | PDF | 62 KB
Registration

For the following downloads you need to register. Please enter your contact information in the form.

Aerospace and Avionics
This company used AdaTEST 95 to help validate a new Ravenscar-compliant Ada run-time for use on European Space Agency on-board systems.
Case Study Ada Core Technologies | PDF | 37 KB
Use of AdaTEST 95 by Astrium UK on two projects: RadarSat-2 and Beagle 2.
Case Study Astrium01 | PDF | 86 KB
Experiences of BAe Space Systems with AdaTEST on a key satellite, Polar Platform.
Case Study Astrium02 | PDF | 88 KB
Evaluation and deployment of AdaTEST for the New En-Route Centre system for the UK Civil Aviation Authority.
Case Study BAe Systems01 | PDF | 80 KB
Evaluation of AdaTEST on Video Image Tracking System in aircraft, and its successful deployment on a number of other projects.
Case Study BAe Systems02 | PDF | 134 KB
Testing with AdaTEST by the LMAS company in Marietta for the F-22 fighter aircraft.
Case Study Lockheed Martin-F22 | PDF | 81 KB
Use of AdaTEST 95 on the Gripen Stores Management System - a DO-178B Level A project.
Case Study Saab Aerosystems | PDF | 90 KB
Use of AdaTEST 95 by Smiths Aerospace on two Boeing 777, DO-78B Level B projects.
Case Study Smiths Aerospace | PDF | 105 KB
Selection and use of AdaTEST for an Infra-Red Search and Track system on the European Fighter Aircraft.
Case Study Thales Optronics | PDF | 68 KB
Use of AdaTEST on the de Havilland Dash 8 Q 400's Propeller Electronic Controller and several varied other projects since.
Case Study Ultra Electronics | PDF | 83 KB
Miscellaneous
Use of AdaTEST and Cantata on several high-integrity projects: a Def Stan 00-55 pilot project, a Digital Electronic Engine Controller, and a Nuclear Monitoring system.
Optimized Systems and Solutions | PDF | 95 KB
Registration

For the following downloads you need to register. Please enter your contact information in the form.

Sector Briefs
AdaTEST 95 solutions for the Space industry, focusing on the use of the tool to meet ECSS E-40 / GSWS standards
Ada TEST95 Space Sector Brief | PDF | 327 KB
QA Systems Testing Products solutions for the civil avionics industry, focusing on using the tools to meet DO-178B / ED-12B
Civil Avionics Sector Brief | PDF | 246 KB
QA Systems Testing Products solutions for the military avionics industry, focusing on using the tools to meet DO-178B / ED-12B / Mil-Std-498 / Def-Stan 00-55
Military Avionics Sector Brief | PDF | 235 KB
QA Systems Testing Products solutions for the defence sector, focusing on using the tools to meet Mil-Std-498 / Def-Stan 00-55
Defence Sector Brief | PDF | 234 KB
QA Systems Testing Products solutions for the railways sector, focusing on using the tools to meet CENELEC PR-EN50128
Railway Sector Brief | PDF | 200 KB

Contact us for further information, to request a product evaluation or to arrange a web-based demonstration.

Free Evaluation