QA Systems > Tools > Adatest 95

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

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

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

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

Why Invest in AdaTEST 95

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

Learn More

Static code metrics

Over 100 metrics on Ada source code providing:

> Objective code review

> Test effort estimation

> Checks integrated in tests

Learn More

“Cantata allows us to test against requirements in a structured way and gives us the confidence that we have not missed anything. Writing code and getting it to execute is one thing, but that is not the main job. The real job is to prove everything.”

Johnny Johansson, Global Validation & Verification Tools Manager, SAAB

“I feel this is a better tool than any other testing tools for DO-178B/C V & V activities.”

Prabhakar Patil, Deputy General Manager, AK Aerotek Software Centre Pvt Ltd

“The systematic use of Cantata has enabled us to have the shortest unit test phase possible with great efficiency in terms of cost.”

Philippe Lomazzi, Head of Software Development Meggitt

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

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

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

ABB

Thales

SAAB

Rolls-Royce

BAE-SYSTEMS

IBM

Astrium

Ultra-Electronics

ABB - copy

Thales - copy

SAAB - copy

Rolls-Royce - copy

BAE-SYSTEMS - copy

IBM - copy

START TRIAL

Adatest 95

Academy Registration Form

Contact details attendee
Name*
First Name Family Name
Company*
Department*
Email*
Tel*
Address*
Endereço Endereço linha 2 Cidade Estado / Província / Região Código postal País
My Invoice Address is Different from Above
- Yes
Address
Endereço Endereço linha 2 Cidade Estado / Província / Região Código postal País
Hotel reservation:
QA Systems arranges a block booking of rooms for seminar participants at the respective hotels, usually with special rates. The participants are responsible for their own reservation, payment, etc. If you wish to receive the hotel information, please tick:
- Yes
- No
Your Message
Terms and Conditions*
Yes, I have read and accept the terms and conditions for seminars.
*
- I agree that my data will be collected and used in accordance with our privacy policy regarding this request and our other services.

Automated unit & integration testing for Ada

UNIT TESTING

INTEGRATION TESTING

EXPLORE AdaTEST 95

“Cantata allows us to test against requirements in a structured way and gives us the confidence that we have not missed anything. Writing code and getting it to execute is one thing, but that is not the main job. The real job is to prove everything.”

“I feel this is a better tool than any other testing tools for DO-178B/C V & V activities.”

“The systematic use of Cantata has enabled us to have the shortest unit test phase possible with great efficiency in terms of cost.”

Compliance with testing requirements of safety standards

IEC 61508

EN 50128

IEC 60880

DO-178B/C

DO-278A

ECCS-E-40

MIL STD 498

Def Stan 00-55

FEATURED CONTENT

Why buy from QA Systems

Newsletter

Newsletter

Login

Oder

Konto erstellen

Sign up for access to premium content

Adatest 95

Academy Registration Form

Contact details attendee

Automated unit & integration testing for Ada

UNIT TESTING

INTEGRATION TESTING

EXPLORE AdaTEST 95

“Cantata allows us to test against requirements in a structured way and gives us the confidence that we have not missed anything. Writing code and getting it to execute is one thing, but that is not the main job. The real job is to prove every­thing.”

“I feel this is a better tool than any other testing tools for DO-178B/C V & V activities.”

“The systematic use of Cantata has enabled us to have the shortest unit test phase possible with great efficiency in terms of cost.”

Compliance with testing requirements of safety standards

IEC 61508

EN 50128

IEC 60880

DO-178B/C

DO-278A

ECCS-E-40

MIL STD 498

Def Stan 00-55

FEATURED CONTENT

Why buy from QA Systems

Login

Oder

Konto erstellen

Login

Or

Create an Account

Sign up for access to premium content

Adatest 95

Academy Registration Form

Contact details attendee

This site uses cookies to help improve your experience

Privacy settings

With the slider, you can enable or disable different types of cookies:

This website will:

This website won't:

This website will:

This website won't:

This website will:

This website won't:

This website will:

This website won't:

“Cantata allows us to test against requirements in a structured way and gives us the confidence that we have not missed anything. Writing code and getting it to execute is one thing, but that is not the main job. The real job is to prove everything.”