• Technical Support
  • Contact
  • Blog
  • Italiano
    • English
    • Français
    • Deutsch
    • Português
    • Español
    • 简体中文
  • Strumenti
    • ANALISI STATICA
      • QA-MISRA
        Analisi approfondita per codice C/C++ su scala industriale
      • Cantata Test Architect
        Comprendere, Definire e Controllare l’Architettura del Software
      • Metriche del Codice Sorgente
        Metriche automatizzate del codice sorgente per C/C++
      • Get a demo
    • TEST del SOFTWARE
      • Cantata
        Test automatizzati di unità e di integrazione per codice C/C++
      • Cantata Team Reporting
        Elemento aggiuntivo per cruscotto di gestione dello stato dei test
      • AdaTEST 95
        Test automatizzati di unità e di integrazione per codice Ada
         
      • Why Pay for Unit Test Tool?
  • Soluzioni
    • SETTORI
      • Automobilistico
      • Energia
      • Dispositivi medicali
      • Automazione industriale
      • Ferroviario
      • Aerospaziale e difesa
      • Critico per l’azienda
      • E
      • E
      • Get a demo
    • NORME DI SICUREZZA
      • ISO 26262
      • IEC 60880
      • IEC 62304
      • IEC 61508
      • EN 50128 / 50657
      • DO-178C
      • MISRA
      • AUTOSAR
      • CERT
      • Why bother to unit test?
  • Accademia
    • Seminari
    • Formazione
    • Webinar
    • Speaker
    • Modulo di registrazione
  • SOCIETÀ
    • Chi siamo
    • Management
    • Partner
    • Newsletter e comunicati stampa
    • Eventi
    • Carriere
    • Get a demo
  • Resources
  • Porsche
  • Italiano
    • Inglese
    • Francese
    • Tedesco
    • Portoghese, Portogallo
    • Spagnolo
    • Cinese semplificato
  • Strumenti
    • Analisi Statica
      • QA-MISRA
      • Cantata Test Architect
      • METRICHE DEL CODICE SORGENTE
    • Software Testing
      • Cantata Team Reporting
      • Cantata
      • Adatest 95
  • Soluzioni
    • Settori
      • Automobilistico
      • Energia
      • Dispositivi medicali
      • Automazione industriale
      • Ferroviario
      • Aerospaziale e difesa
      • Critico per l’azienda
    • NORME DI SICUREZZA
      • ISO 26262
      • IEC 60880
      • IEC 62304
      • IEC 61508
      • EN 50128 / 50657
      • DO-178C
      • MISRA
      • AUTOSAR
      • CERT
  • Accademia
    • Seminari
    • Formazione
    • Webinar
    • SPEAKER
    • Testimonial
  • Societa
    • Chi Siamo
    • Management
    • Partner
    • Eventi
    • Carriere
  • RESOURCES
  • Contact
  • 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
E-Mail: [email protected]

  • Note legali
  • Politica in materia di riservatezza
  • Contact
  • Resources

Newsletter

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

subscribe to newsletter
  • Segui
  • Segui

Newsletter

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

subscribe to newsletter
  • Segui
  • Segui

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

  • Note legali
  • Politica in materia di riservatezza
  • Contact
  • Resources

QA Systems GmbH
Roggenstrasse 11
71334 Waiblingen Stuttgart | Germany

© 2020 QA SYSTEMS GMBH

Start
Trial
×

Login

Hai dimenticato la password?

Or

 

Create an Account

Sign up for access to premium content
Register for full access to our extensive resources library.
  • Questo campo serve per la convalida e dovrebbe essere lasciato inalterato.

×

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:
  • Questo campo serve per la convalida e dovrebbe essere lasciato inalterato.