Slide 1

Cumplimiento automatizado
de las normas de codificación

Análisis estático del código para acelerar el cumplimiento de las normas y el control de calidad

Al realizar análisis estáticos con QA-MISRA, puede identificar fácilmente estructuras de riesgo y problemas potenciales relacionados con la seguridad, el mantenimiento y la portabilidad en una fase temprana. Este enfoque proactivo le permite detectar y eliminar errores de software durante el proceso de desarrollo, lo que se traduce en un importante ahorro de costes. Con más de 900 comprobaciones, QA-MISRA es una potente herramienta de análisis estático de MISRA para identificar posibles errores de software en el código fuente.

  • Análisis rápido de código C/C++ QA-MISRA analiza paquetes de software con gran rapidez, independientemente del tamaño de la base de código. QA-MISRA no sólo se centra en el cumplimiento de las normas de codificación de MISRA, sino también en la comprensión de la calidad del código. Esto hace que el analizador sea muy rápido de ejecutar.
  • Cumplimiento preciso de las normas QA-MISRA comprueba la conformidad del código con MISRA con cero falsos negativos y cero falsos positivos en las reglas de codificación sintáctica.
  • Mejore la calidad del código fuente HIS y otras métricas de calidad del código con comprobaciones de umbral. Los gráficos de llamadas y los diagramas de clases C++ visualizan la calidad del código.

NORMAS DE CODIFICACIÓN COMPATIBLES CON QA-MISRA

EXPLORE QA-MISRA

Pase el ratón por encima de las opciones para obtener más información.

Cumplimiento de las normas de codificación

Compruebe si su código fuente C/C++ cumple las directrices y normas de codificación reconocidas internacionalmente.

Más información

Métricas y visualizaciones

QA-MISRA proporciona información sobre la calidad a través de métricas y visualizaciones para comprender mejor el código.

Más información

¿Por qué invertir en QA-MISRA?

Los líderes del sector utilizan QA-MISRA para acelerar los tiempos de análisis y el cumplimiento de las normas, y aumentar la confianza reduciendo los errores en las reglas de codificación sintáctica y mejorando la calidad del código fuente.

Más información

CÓMO ENCAJA QA-MISRA EN SU PROCESO DE VERIFICACIÓN

Las herramientas de análisis estático de QA Systems y las herramientas de comprobación de software admiten la verificación en el flujo lineal de desarrollo de software que se indica a continuación. Recomendamos aplicar un enfoque secuencial a estas etapas de verificación con herramientas diseñadas y orientadas a cada propósito.

Proceso de flujo QA-MISRA
  • CUMPLIR     > Utilice QA-MISRA para obtener rápidamente el cumplimiento de los estándares de codificación en el escritorio del desarrollador en primer lugar.
  • PROBAR      > Utilice Cantata para la ejecución dinámica automatizada del software conforme a la norma.
  • ANALIZAR   > Utilice Astrée para probar la ausencia de errores en tiempo de ejecución en toda la aplicación.
    NB: Astrée utiliza la misma configuración que QA-MISRA, por lo que el esfuerzo para aplicarlo más tarde a un proyecto QA-MISRA posterior es bajo.

Opción de paquete para licencia compartida de QA-MISRA y Cantata Los clientes pueden beneficiarse de una solución de paquete para QA-MISRA y Cantata. Esto significa que los clientes pueden acceder a un conjunto de licencias concurrentes compartidas, y las herramientas se pueden integrar en el IDE basado en Eclipse. La compra de QA-MISRA en paquete con Cantata, o la conversión de una licencia existente de Cantata en un paquete, ofrece atractivos precios combinados. Si desea más información, póngase en contacto con nosotros.

CUMPLIMIENTO DE LAS NORMAS DE SEGURIDAD DEL SOFTWARE

Para obtener la certificación del software de un dispositivo, es fundamental cumplir las normas internacionales de seguridad del software. Estas normas exigen pruebas del cumplimiento de las normas de codificación y, en la mayoría de los casos, las herramientas de verificación utilizadas deben estar certificadas/cualificadas o probadas mediante su uso. SGS-TÜV SAAR GmbH ha certificado de forma independiente QA-MISRA para los principales estándares de seguridad de software. Por lo tanto, se proporciona gratuitamente un kit de certificación de herramientas QA-MISRA, que contiene todo lo necesario para ayudarle a conseguir la certificación del software de su dispositivo.

La cualificación automática de herramientas de QA-MISRA también está disponible con un kit de apoyo a la cualificación de herramientas (QSK)

QA MISRA 22.04 Certificado SGS TUV

NORMAS CERTIFICADAS / CUALIFICABLES

Las normas internacionales de seguridad del software exigen pruebas del cumplimiento de las normas de codificación para obtener la certificación del software del dispositivo. Para más información sobre cada norma, consulte los enlaces siguientes:

ISO 26262

Vehículos de carretera – Seguridad funcional

IEC 60880

Centrales nucleares – Aspectos de software para sistemas basados en ordenador (Categoría de seguridad A)

IEC 62304

Software para dispositivos médicos: procesos del ciclo de vida del software

IEC 61508

Seguridad funcional de sistemas eléctricos/electrónicos/electrónicos programables relacionados con la seguridad

EN 50128/50657

Aplicaciones ferroviarias – Sistemas de comunicación, señalización y procesamiento & Software a bordo del material rodante

DO-178C

Consideraciones de software en la certificación de sistemas y equipos aerotransportados

OTRAS NORMAS

Automotive – SPICE

ISO/IEC 15504 Tecnología de la información – Evaluación de procesos

DO-278A

Directrices para la garantía de integridad del software de los sistemas de comunicación, navegación, vigilancia y gestión del tráfico aéreo (CNS/ATM).

ECCS-E-40

Ingeniería espacial: Software

Def Stan 00-55

Requisitos del Reino Unido para el software relacionado con la seguridad en equipos de defensa

MIL STD 498

US Military-Standard-498 Desarrollo de software y documentación.

NASA 8719.13C

Norma técnica de la NASA: Norma de seguridad del software

Por qué comprar a QA Systems

  • Un proveedor de pruebas fiable desde hace 25 años
  • Cientos de clientes en todos los sectores críticos para la seguridad y la empresa
  • Escuchamos a nuestros clientes para orientar las mejoras de nuestros productos
  • Especialistas en seguridad funcional automatizada de alta fiabilidad
  • Equipos experimentados de asistencia técnica directa
  • Formación sobre herramientas y asesoramiento in situ