LDRA Testbed为主机和嵌入式软件提供了核心的静态和动态分析引擎。LDRA Testbed提供了一种手段来强制遵守诸如MISRA，JSF ++ AV，CERT C，CWE之类的编码标准，并提供通常可能会通过标准构建和测试过程而成为潜在问题的软件缺陷的可见性。此外，通过结构覆盖率分析报告工具提供测试有效性反馈，这些工具支持DO-178B标准的要求，包括A级。
ldra-testbed
特征
分类目录
具有任何许可的所有平台的LDRA Testbed替代品
20
Cppcheck
Cppcheck是用于C / C ++代码的静态分析工具。与C / C ++编译器和许多其他分析工具不同，它不检测代码中的语法错误。
15
PVS-Studio
PVS-Studio是一种静态分析器，可检测C，C ++和C＃应用程序的源代码中的错误。
