• Support
  • Contact
  • Blog
  • Français
    • English
    • Deutsch
    • Italiano
    • Português
    • Español
    • 简体中文
  • Outils
    • Analyse Statique Intégrée
      • QA-MISRA
        Analyse détaillée de code C/C++ à l’échelle industrielle
      • Cantata Test Architect
        Comprenez, concevez et controlez l’architecture logicielle
      • Métriques de Qualité du Code Source
        Automatisation des métriques de qualité du code source C/C++
      • Get a demo
    • TEST LOGICIELS
      • Cantata
        Tests unitaires et d’intégration automatisés pour le C/C++
      • Cantata Team Reporting
        Module de pilotage centralisé des données de test
      • AdaTEST 95
        Tests unitaires et d’intégration automatisés pour l’Ada
      • Why Pay for Unit Test Tool?
  • Solutions
    • SECTEURS
      • Automotive
      • Energie
      • Systèmes Médicaux
      • Automatisation Industrielle
      • Ferroviaire
      • Aéronautique et Défense
      • Systèmes d’information critiques
      • E
      • E
      • Get a demo
    • NORMES DE SÛRETÉ
      • ISO 26262
      • IEC 60880
      • IEC 62304
      • IEC 61508
      • EN 50128
      • DO-178C
      • MISRA
      • AUTOSAR
      • CERT
      • Why bother to unit test?
  • Academie
    • Séminaires
    • Formations
    • Webinaires
    • Intervenants
    • Formulaire d’Inscription
  • Societe
    • A propos de nous
    • Equipe managériale
    • Partenaires
    • Bulletins et communiqués de presse
    • Evénements
    • Emplois
    • Get a demo
  • Ressources
  • Porsche
  • Français
    • Anglais
    • Allemand
    • Italien
    • Portugais – du Portugal
    • Espagnol
    • Chinois simplifié
  • Outils
    • Analyse Statique
      • QA-MISRA
      • Cantata Test Architect
      • Métriques de Qualité du Code Source
    • Test Logiciels
      • Cantata Team Reporting
      • Cantata
      • Adatest 95
  • Solutions
    • Secteurs
      • Automotive
      • Energie
      • Systèmes Médicaux
      • Automatisation Industrielle
      • Ferroviaire
      • Aéronautique et Défense
      • Systèmes d’information critiques
    • NORMES DE SÛRETÉ
      • ISO 26262
      • IEC 60880
      • IEC 62304
      • IEC 61508
      • EN 50128 / 50657
      • DO 178
      • Misra
      • Autosar
      • Cert
  • Academie
    • SEMINAIRES
    • Webinaires
    • Intervenants
    • Témoignages
  • Societe
    • A propos de nous
    • Equipe managériale
    • Partenaires
    • Bulletins et communiqués de presse
    • Evénements
    • Emplois
  • Ressources
  • Blog
QA Systems > Software testing tools for embedded software in C/C++ > 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

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 too.



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

“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.”

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
previous arrowprevious arrow
next arrownext arrow
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
GET A DEMO

QA Systems GmbH
Roggenstrasse 11
71334 Waiblingen | Germany

© 2021 QA SYSTEMS GMBH

Phone: +49 (0)711 138183 -0
Fax: +49 (0)711 138183 -10
[email protected]

  • Mentions légales
  • Politique de confidentialité
  • Contact
  • Resources

Newsletter

Get the latest technology news updates, product releases plus tips and tricks:

subscribe to newsletter
  • Suivre
  • Suivre

Newsletter

Get the latest technology news updates, product releases plus tips and tricks:

subscribe to newsletter
  • Suivre
  • Suivre

Phone: +49 (0)711 138183 -0
Fax: +49 (0)711 138183 -10
[email protected]

  • Mentions légales
  • Politique de confidentialité
  • Contact
  • Resources

QA Systems GmbH
Roggenstrasse 11
71334 Waiblingen Stuttgart | Germany

© 2020 QA SYSTEMS GMBH

Start
Trial
×

Login

Mot de passe oublié?

Or

 

Create an Account

Sign up for access to premium content
Register for full access to our extensive resources library.
  • Ce champ n’est utilisé qu’à des fins de validation et devrait rester inchangé.

×

Adatest 95

Academy Registration Form

  • Contact details attendee

  • 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:
  • Ce champ n’est utilisé qu’à des fins de validation et devrait rester inchangé.