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