• Technical Support
  • Contacto
  • Blog
  • Español
    • English
    • Français
    • Deutsch
    • Italiano
    • Português
    • 简体中文
  • Herramientas
    • ANÁLISIS ESTÁTICO
      • QA-MISRA
        Análisis en profundidad para el código industrial en C/C++
      • Cantata Test Architect
        Comprender, definir y controlar la arquitectura del software
      • Métricas de Código Fuente
        Métricas de código fuente automatizadas para C / C ++
      • Obtener una demostración
         
    • TESTS DEL SOFTWARE
      • Cantata
        Pruebas de unidades e integración automatizadas de código C/C++
      • Cantata Team Reporting
        Complemento del panel de gestión de estado
      • AdaTEST 95
        Pruebas de unidades e integración automatizadas de código Ada
      • ¿Por qué pagar por una herramienta de prueba de unidades?
  • Soluciones
    • SECTORES
      • Automóvil
      • Energía
      • Dispositivos Médicos
      • Automatización Industrial
      • Ferrocarriles
      • Aeroespacial y Defensa
      • Crítico para el Negocio
      • E
      • E
      • Obtener una demostración
         
    • SOLUCIONES
      • ISO 26262
      • IEC 60880
      • IEC 62304
      • IEC 61508
      • EN 50128 / 50657
      • DO-178C
      • MISRA
      • AUTOSAR
      • CERT
      • ¿Por qué pagar por una herramienta de prueba de unidades?
  • Academia
    • Seminarios
    • Formaciones
    • Seminarios web
    • Orador
    • Formulario de Inscripción
  • Empresa
    • Sobre la Empresa
    • Equipo de Gestión
    • Socios
    • Noticias
    • Eventos
    • Bolsa de Trabajo
    • Obtener una Demostración
  • Recursos
  • Porsche
  • Español
    • Inglés
    • Francés
    • Alemán
    • Italiano
    • Portugués, Portugal
    • Chino simplificado
  • Herramientas
    • ANÁLISIS ESTÁTICO
      • QA-MISRA
      • Cantata Test Architect
      • MÉTRICAS DE CÓDIGO FUENTE
    • Software Testing
      • Cantata Team Reporting
      • Cantata
      • Adatest 95
  • Soluciones
    • Sectores
      • Automóvil
      • Energía
      • Dispositivos Médicos
      • Automatización Industrial
      • Ferrocarriles
      • Aeroespacial y Defensa
      • Crítico para el Negocio
    • Soluciones
      • ISO 26262
      • IEC 60880
      • IEC 62304
      • IEC 61508
      • EN 50128 / 50657
      • DO-178C
      • Misra
      • Autosar
      • CERT
  • Academia
    • Seminarios
    • Formaciones
    • Seminarios web
    • Orador
    • Testimonials
  • Empresa
    • Sobre la Empresa
    • Equipo de Gestión
    • Socios
    • Noticias
    • Eventos
    • Bolsa de Trabajo
  • Recursos
  • Blog
  • Contacto
Code Coverage
CODE COVERAGE
WITH ADATEST 95

Objective measurement of
how much code has been
executed by your tests

Code Coverage
CODE COVERAGE
WITH ADATEST 95

Objective measurement of
how much code has been
executed by your tests

QA Systems > Software testing tools for embedded software in C/C++ > Adatest 95 > Deep Code Coverage

AdaTEST 95 code coverage capabilities can be used integrated with AdaTEST 95 tests, or with any external test driver.

It provides an objective measurement of test execution completeness, to supplement requirements based and robustness tests.

AdaTEST 95 code coverage makes it easy to:

  • Set how required coverage is measured
  • Diagnose and check coverage results
  • View trends in coverage obtained
  • Generate reports and certification evidence

AdaTEST 95 code coverage video

What is code coverage?

 

Code Coverage is a dynamic analysis technique to measure which parts of the code have been executed by tests. The logic structure within the code can be identified by individual constructs (syntax elements). The measurement of these individual constructs is recorded using structural code coverage metrics.

Code coverage analysis is used to identify testing gaps where code is not exercised by requirements driven and robustness driven testing approaches.

Coverage analysis is required for compliance with all international software safety standards, with higher safety levels requiring achievement of more rigorous coverage metrics.

“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

What does AdaTEST 95 Code Coverage help me do?

MEASURE COVERAGE

Code coverage is measured using the following metrics, with standard specific Rule Sets for integrated checking of required code coverage levels.

  • Function Entry Points
  • Function Call-Returns
  • Basic Blocks
  • Statements
  • Decisions (branches)
  • Loops
  • Relational Operators
  • Boolean Operators
  • Conditions
  • MC/DC (Unique-cause and Masking variants)

DIAGNOSE COVERAGE RESULTS

 

AdaTEST 95 diagnostics present code coverage data in an HTML Results Viewer featuring:

  • Coloured code listing
  • Next/previous failure navigation
  • Detailed metric execution data

AdaTEST 95 code coverage checks integrated with tests, make enforcement of the required coverage easy and automatic for regression test runs. Coverage checks include:

  • Achievement of percentage of each structural coverage metric
  • Assertions that data values (of specified variable values) have been used as ‘always true’ or ‘true at least once’
  • The exact execution path through code.

VIEW COVERAGE TRENDS

 

The AdaTEST 95 HTML Results Overview presents a history of test results and coverage checks against pass criteria, to coverage results trends.

Each test / coverage result drills down into the hyperlinked detailed HTML Results View for the relevant test run.

GENERATE REPORTS

 

In addition to the powerful diagnostics of code coverage results in the HTML Results Viewer and Overview, AdaTEST 95 generates safety standards certification ready ASCII text reports of compliance with coverage requirements.

Reports and certification evidence embed the integrated checks on the achievement of the required coverage metric targets.

How does AdaTEST 95 Code Coverage Work

AdaTEST 95 uses instrumentation on a copy of the source code, and coverage data is recorded for both HTML graphical diagnosis and certification ready ASCII text file evidence.

Coverage analysis can be used integrated with AdaTEST 95 tests or used to measure execution from other tests, and data from multiple tests can be easily combined.

Analysis is made simpler by coverage Rule Sets, which automate all the code instrumentation, data reporting and required coverage checking, for all the main software safety standards.

BACK TO ADATEST 95

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]

  • Imprint
  • Privacy Policy
  • Contact
  • Resources

Newsletter

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

Suscribirse al Boletín
  • Seguir
  • Seguir

Newsletter

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

Suscribirse al Boletín
  • Seguir
  • Seguir

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

  • Imprint
  • Privacy Policy
  • Contact
  • Resources

QA Systems GmbH
Roggenstrasse 11
71334 Waiblingen Stuttgart | Germany

© 2021 QA SYSTEMS GMBH

Start
Trial
×

Login

¿Olvidó su contraseña?

Or

 

Create an Account

Sign up for access to premium content
Register for full access to our extensive resources library.
  • Este campo es un campo de validación y debe quedar sin cambios.

×

Deep Code Coverage

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 es un campo de validación y debe quedar sin cambios.