• 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
qa-misra

Key Benefits & Features and Technical Specifications

START TRIAL
MORE
qa-misra

Key Benefits & Features and Technical Specifications

START TRIAL
MORE
QA Systems > Software testing tools for embedded software in C/C++ > QA-MISRA > QA-MISRA Overview

KEY BENEFITS

  • Reduces cost while improving time-to-market
  • Lowers the risk of program failure
  • Identifies coding problems early in the development cycle
  • Ensures quality code and coding standard compliance
  • Fully integrated environment for the MISRA standard
  • For all industries where safety-critical software is essential
  • Accelerates and refocuses the code review process and improves collaboration of development teams
  • Elevates the know-how of your developers and promotes best practices
  • Enhances reliability, portability, and maintainability
  • Increase code portability and re-usability
  • Immediate and repeatable tests in your development environment

KEY FEATURES

QA-MISRA is a static analyzer designed to check coding guidelines and compute code metrics for safety-critical C/C++ programs adhering to the C90, C99, C11, C18, and C++98, C++11, C++14, C++17 language norms.

  • Fast and easy to use
  • Enforcement of coding guidelines including MISRAC:2004, MISRA-C:2012, and customized rule sets
  • No false positives and no false negatives on syntactical rules
  • Seamless integration with Astrée to guarantee zero false negatives and minimal false positives on semantical rules
  • Computation of code metrics: HIS metrics and customized metrics
  • Enforcement of metric thresholds
  • Full tracability of reported code issues
  • Interactive result exploration
  • Robust classification of findings
  • Configurable report file generation
  • Tracking and visualization of project progress and analysis revisions
  • Client/server architecture featuring queue processing of analysis requests, and centralized user management and authentication
  • Stand-alone tool with open interfaces and open file formats
  • MATLAB integration and TargetLink coupling
  • Automatic tool qualification according to safety standards

TECHNICAL SPECIFICATIONS, PLATFORMS AND INTEGRATIONS

General Functions

  • Command Line Interface (CLI)
  • Interactive GUI
  • Online-Help & MISRA Knowledgebase
  • Overviews and detailed reports
  • Integrates into Eclipse-based IDE‘s

Code Analysis Functions:

  • Fast source code analysis
  • Alerts can be classified on the basis of comments
  • ISO/IEC 9899:1990 (C90)
  • ISO/IEC 9899:1999 (C99)
  • ISO/IEC 9899:2011 (C11)
  • ISO/IEC 9899:2018 (C18)
  • ISO/IEC 14882:2011 (C++11)
  • ISO/IEC 14882:2014 (C++14)
  • ISO/IEC 14882:2017 (C++17)

Supported Coding Standards:

  • MISRA C:2004
  • MISRA C:2012
  • MISRA C:2012 Amendment 1&2
  • MISRA AC AGC
  • HIS Metrics
  • ISO/IEC TS 17961:2013 (C Secure Coding Rules)
  • SEI CERT C Coding Standard
  • SEI CERT C++ Coding Standard
  • Common Weakness Enumeration (CWE)
  • MISRA C++:2008
  • Adaptive AUTOSAR C++14
  • Custom Coding Standards
  • Review of naming conventions
  • Expandable Rulesets

Safety-Critical Standards:

By using the ‘Qualification Support Kit‘, QA-MISRA can be automatically qualified for the following safety standards:

  • ISO 26262:2018 (Automotive)
  • EN 50128:2011/A2:2020 (Railways)
  • EN 50657:2017 (Railways Rolling Stock)
  • IEC 62304:2006 (Medical Devices)
  • IEC 61508:2010 (Industrial Automation)
  • DO-178B (Aerospace and Defence)
  • DO-178C / DO-330 (Aerospace and Defence)

System Requirements:

  • Windows:64-bit Windows 10 or higher
  • Linux: 64-bit CentOS/RHEL 7 or other compatible distribution
  • 4 GB RAM (16 GB recommended)
  • 4 GB Storage space

Continuous Integration Environments:

  • Jenkins
  • Other CI environments can be integrated via the command line interface 
BACK TO QA-MISRA

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.

×

QA-MISRA Overview

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.