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.
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.
Compruebe si su código fuente C/C++ cumple las directrices y normas de codificación reconocidas internacionalmente.
QA-MISRA proporciona información sobre la calidad a través de métricas y visualizaciones para comprender mejor el código.
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.
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.
- 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)
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:
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
