• Technical Support
  • Contacte Nos
  • Português
    • English
    • Français
    • Deutsch
    • Italiano
    • Español
    • 简体中文
  • Ferramentas
    • ANÁLISE ESTÁTICA
      • QA-MISRA
        Análise em profundidade para código C/C++ à escala industrial
      • Cantata Test Architect
        Compreender, definir e controlar a arquitetura de software
      • Metrics do Código da Fonte
        Métricas de código-fonte automatizadas para C / C ++
      • Obtenha uma demonstração
         
    • TESTES DE SOFTWARE
      • Cantata
        Teste unitários e integração automatizados para código C/C++
      • Cantata Team Reporting
        Gestão dos testes em dashboard add-on
      • AdaTEST 95
        Testes unitários e de integração automatizados para código Ada
      • Porquê pagar por uma ferramenta de testes unitários?
  • Soluções
    • SECTORES
      • Automável
      • Energia
      • Equipamento Médico
      • Automação Industrial
      • Caminhos De Ferro
      • Aeroespaço e Defesa
      • Negócios Críticos
      • E
      • E
      • Obtenha uma demonstração
         
    • SOLUÇÕES
      • ISO 26262
      • IEC 60880
      • IEC 62304
      • IEC 61508
      • EN 50128 / 50657
      • DO-178C
      • MISRA
      • AUTOSAR
      • CERT
      • Porquê pagar por uma ferramenta de testes unitários?
  • Academia
    • Seminários
    • Treino
    • Webinars
    • O Orador
    • Formulário de Registo
  • Empresa
    • Sobre Nós
    • Parceiros
    • Noticias
    • Eventos
    • Carreiras
    • Obtenha uma demonstração
  • Recursos
  • Porsche
  • Português
    • Inglês
    • Francês
    • Alemão
    • Italiano
    • Espanhol
    • Chinês (Simplificado)
  • Ferramentas
    • ANÁLISE ESTÁTICA
      • QA-MISRA
      • Cantata Test Architect
      • METRICS DO CÓDIGO DA FONTE
    • TESTES DE SOFTWARE
      • Cantata
      • Cantata Team reporting
      • Adatest 95
  • Soluções
    • Sectores
      • Automável
      • Energia
      • Equipamento Médico
      • Automação Industrial
      • Caminhos De Ferro
      • Aeroespaço e Defesa
      • Negócios Críticos
    • SOLUÇÕES
      • ISO 26262
      • IEC 60880
      • IEC 62304
      • IEC 61508
      • EN 50128 / 50657
      • DO-178C
      • MISRA
      • AUTOSAR
      • CERT
  • Academia
    • SEMINARS
    • TRAININGS
    • Webinars
    • SPEAKERS
    • Testimunhos
  • Empresa
    • Sobre Nós
    • Equipa de Gestão
    • Parceiros
    • Noticias
    • Eventos
    • Carreiras
  • Recursos
  • Contacte Nos
  • 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 Stuttgart | Germany

© 2021 QA SYSTEMS GMBH

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

  • Avisos Legais
  • Política de Privacidade
  • Contacto
  • Recursos

Newsletter

Subscreva a nossa newsletter que será enviada por email com as últimas novidades e com truques e dicas sobre testes.

Subscreva a newsletter
  • Follow
  • Follow

Newsletter

Subscreva a nossa newsletter que será enviada por email com as últimas novidades e com truques e dicas sobre testes.

Subscreva a newsletter
  • Follow
  • Follow

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

  • Avisos Legais
  • Política de Privacidade
  • Contacto
  • Recursos

QA Systems GmbH
Roggenstrasse 11
71334 Waiblingen Stuttgart | Germany

© 2020 QA SYSTEMS GMBH

Start
Trial
×

Login

Forgot your password?

Or

 

Create an Account

Sign up for access to premium content
Register for full access to our extensive resources library.
  • Este campo é para efeitos de validação e deve ser mantido inalterado.

×

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:
  • Este campo é para efeitos de validação e deve ser mantido inalterado.

This site uses cookies to help improve your experience

Please follow this link to find out more about cookies.
Accept
Change Settings
Configurações da caixa de cookies
Configurações da caixa de cookies

Privacy settings

Decide which cookies you want to allow. You can change these settings at any time. However, this can result in some functions no longer being available. For information on deleting the cookies, please consult your browser’s help function. Learn more about the cookies we use.

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

  • Block all
  • Essential
  • Functionality
  • Analytics
  • Advertising

This website will:

  • Essential: Remember your cookie permission setting
  • Essential: Allow session cookies
  • Essential: Gather information you input into a contact forms, newsletter and other forms across all pages
  • Essential: Keep track of what you input in a shopping cart
  • Essential: Authenticate that you are logged into your user account
  • Essential: Remember language version you selected

This website won't:

  • Remember your login details
  • Functionality: Remember social media settings
  • Functionality: Remember selected region and country
  • Analytics: Keep track of your visited pages and interaction taken
  • Analytics: Keep track about your location and region based on your IP number
  • Analytics: Keep track of the time spent on each page
  • Analytics: Increase the data quality of the statistics functions
  • Advertising: Tailor information and advertising to your interests based on e.g. the content you have visited before. (Currently we do not use targeting or targeting cookies.
  • Advertising: Gather personally identifiable information such as name and location

This website will:

  • Essential: Remember your cookie permission setting
  • Essential: Allow session cookies
  • Essential: Gather information you input into a contact forms, newsletter and other forms across all pages
  • Essential: Keep track of what you input in a shopping cart
  • Essential: Authenticate that you are logged into your user account
  • Essential: Remember language version you selected
  • Functionality: Remember social media settings
  • Functionality: Remember selected region and country

This website won't:

  • Remember your login details
  • Analytics: Keep track of your visited pages and interaction taken
  • Analytics: Keep track about your location and region based on your IP number
  • Analytics: Keep track of the time spent on each page
  • Analytics: Increase the data quality of the statistics functions
  • Advertising: Tailor information and advertising to your interests based on e.g. the content you have visited before. (Currently we do not use targeting or targeting cookies.
  • Advertising: Gather personally identifiable information such as name and location

This website will:

  • Essential: Remember your cookie permission setting
  • Essential: Allow session cookies
  • Essential: Gather information you input into a contact forms, newsletter and other forms across all pages
  • Essential: Keep track of what you input in a shopping cart
  • Essential: Authenticate that you are logged into your user account
  • Essential: Remember language version you selected
  • Functionality: Remember social media settingsl Functionality: Remember selected region and country
  • Analytics: Keep track of your visited pages and interaction taken
  • Analytics: Keep track about your location and region based on your IP number
  • Analytics: Keep track of the time spent on each page
  • Analytics: Increase the data quality of the statistics functions

This website won't:

  • Remember your login details
  • Advertising: Use information for tailored advertising with third parties
  • Advertising: Allow you to connect to social sites
  • Advertising: Identify device you are using
  • Advertising: Gather personally identifiable information such as name and location

This website will:

  • Essential: Remember your cookie permission setting
  • Essential: Allow session cookies
  • Essential: Gather information you input into a contact forms, newsletter and other forms across all pages
  • Essential: Keep track of what you input in a shopping cart
  • Essential: Authenticate that you are logged into your user account
  • Essential: Remember language version you selected
  • Functionality: Remember social media settingsl Functionality: Remember selected region and country
  • Analytics: Keep track of your visited pages and interaction taken
  • Analytics: Keep track about your location and region based on your IP number
  • Analytics: Keep track of the time spent on each page
  • Analytics: Increase the data quality of the statistics functions
  • Advertising: Use information for tailored advertising with third parties
  • Advertising: Allow you to connect to social sitesl Advertising: Identify device you are using
  • Advertising: Gather personally identifiable information such as name and location

This website won't:

  • Remember your login details
Save & Close