Tecnologia

Herramientas de diseño y desarrollo de software de análisis de código estático

8275636105.png
8275636105.png

WIRRAL, Reino Unido – LDRA en Wirral, Reino Unido, presenta la última guía MISRA C:2023 sobre las capacidades de generación de informes y análisis de código estático de la empresa del kit de herramientas LDRA.
Las nuevas capacidades de diseño y desarrollo de herramientas LDRA ayudan a los desarrolladores integrados a identificar y mitigar código dañino en sistemas cada vez más complejos y desafiantes con procesadores y subprocesos múltiples para pruebas en aplicaciones aeroespaciales, de defensa, industriales, energéticas, médicas y automotrices.
Introducido En 1998, MISRA C es el estándar para el desarrollo de software en el lenguaje de programación C, donde la seguridad y la calidad del código son esenciales. El Grupo de Trabajo MISRA C ha publicado la Revisión 4 para MISRA C:2012 (AMD4).

Esto especifica las reglas y pautas para tipos atómicos y de subprocesos múltiples, además de aclarar los principios que utilizan las herramientas. tienen implementadas para adaptarse a la forma en que los desarrolladores usan el lenguaje C hoy en día.

Las pautas de MISRA C recomiendan el uso de una herramienta de análisis estático para validar el código según sus reglas y principios. El kit de herramientas LDRA, que admite todas las versiones de la guía MISRA, utiliza análisis estático para identificar áreas de código no compatible para facilitar la documentación y las revisiones.
Herramientas de desarrollo de software También incluye informes y presentaciones gráficas para mejorar la comprensión de la fuente código de acuerdo con las pautas de MISRA. También facilita el análisis de cobertura estructural para garantizar que los desarrolladores puedan medir y mantener la cantidad de código probado, según lo recomendado por la guía MISRA.
Para obtener más información, comuníquese con LDRA en línea en www.ldra.com.

TRA Digital

GRATIS
VER