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.

 

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
The Only Ada Testing Tool You Need

IPL's 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. The common factor in all of these areas is the imperative to produce software which reliably, ‘does what it should do’, in a cost-effective manner.

AdaTEST Results Viewer
Dynamic Testing Features

Dynamic testing actively demonstrates whether user code performs to its specification.

  • Uses your compiler's IDE to build and execute tests, minimising the product's learning curve.
  • Wizard driven Test Script generation including on-line help and step-by-step facilities for creating a complete test driver environment.
  • White Box and Black Box testing techniques are supported.
  • Intuitive Test Directives for quickly developing structured repeatable tests and generating clear unambiguous results.
  • Automated Checks for all standard Ada 95 data types, and generic Checks for instantiation with user-defined types.
  • Exception verification to check both the occurrence of expected exceptions and the non-occurrence of unexpected exceptions.
  • Stubbing to create programmable versions of external (‘separate’) sub-units, and perform call sequence validation.
  • Real-Time Performance Analysis checks execution times for specified blocks of code.
  • Cross-Platform Execution of tests without modification from native host machine to embedded target.
  • Automated Regression Testing for re-running tests in batch mode.
  • Test Support Package automatic global data checking. 
AdaTEST Dynamic Testing Features
Coverage Analysis

Coverage analysis provides objective measurement of how effective the dynamic tests have been in executing the code. Code coverage requirements can be defined in RuleSets:

  • Code Coverage Metrics
    • Entry points
    • Statements
    • Decisions (branches)
    • Conditions (Booleans)
    • MC/DC (DO-178B)
    • Exceptions
  • Data Value coverage of specified variable values - ‘always true’ or ‘true at least once’.
  • Check Path and Trace to ascertain detailed path execution through code.
  • Coverage Checks are integrated into dynamic tests resulting in Pass/Fail/Warnings.
  • Coverage Statistics can be produced both as text file and HTML highlighted views of source code.
Static Analysis

Static analysis generates over 100 metrics on Ada source code. Simple RuleSets can be used to enforce ‘code quality’ standards such as restrictions on the use of specific code constructs, and in defining limits on complexity metrics.

  • Basic Metrics include code lines, comments, number of Ada units, and counts of most code constructs defined by the Ada Language Reference Manual (LRM).
  • Complexity metrics include McCabe, Halstead, and many others.
  • Metrics Checks integrated into dynamic tests resulting in Pass/Fail/Warnings or run standalone.
  • Metrics Reports can be produced.
AdaTest Static Analysis
Registration

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

Technical Brief
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.
AdaTEST95 Technical Brief | PDF | 233 KB
Platform Availability
Here you can find the Platform Availability for Standard Platforms and Non-Standard Platforms.
AdaTEST95 Platform Availability | PDF | 91 KB
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.
Case Study 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