0
O LDRA Testbed fornece os principais mecanismos de análise estática e dinâmica para o software host e incorporado.O LDRA Testbed fornece os meios para reforçar a conformidade com os padrões de codificação como MISRA, JSF ++ AV, CERT C, CWE e fornece visibilidade de falhas de software que normalmente podem passar pelo processo padrão de criação e teste para se tornarem problemas latentes.Além disso, o feedback da eficácia do teste é fornecido por meio de instalações de relatórios de análise de cobertura estrutural que suportam os requisitos da norma DO-178B até e incluindo o Nível A ....
ldra-testbed
Local na rede Internet:
http://www.ldra.com/Recursos
Categorias
Alternativas ao LDRA Testbed para MinGW
15
PVS-Studio
O PVS-Studio é um analisador estático que detecta erros no código fonte de aplicativos C, C ++ e C #.