0
LDRA Testbed proporciona los principales motores de análisis estático y dinámico para el host y el software integrado.LDRA Testbed proporciona los medios para exigir el cumplimiento de los estándares de codificación como MISRA, JSF ++ AV, CERT C, CWE y proporciona visibilidad de fallas de software que normalmente pueden pasar por el proceso estándar de construcción y prueba para convertirse en problemas latentes.Además, la retroalimentación de la efectividad de la prueba se proporciona a través de instalaciones de informes de análisis de cobertura estructural que respaldan los requisitos del estándar DO-178B hasta el nivel A incluido ...
ldra-testbed
Sitio web:
http://www.ldra.com/Caracteristicas
Categorias
Alternativas a LDRA Testbed para GCC C Preprocessor (cpp) con licencia comercial
15
PVS-Studio
PVS-Studio es un analizador estático que detecta errores en el código fuente de aplicaciones C, C ++ y C #.