123
LDRA Testbed

LDRA Testbed

利物浦数据研究协会(LDRA)是为公共和私营部门提供软件分析,测试和需求可追溯性工具的提供商,并且是静态和动态软件分析的先驱。
LDRA Testbed为主机和嵌入式软件提供了核心的静态和动态分析引擎。LDRA Testbed提供了一种手段来强制遵守诸如MISRA,JSF ++ AV,CERT C,CWE之类的编码标准,并提供通常可能会通过标准构建和测试过程而成为潜在问题的软件缺陷的可见性。此外,通过结构覆盖率分析报告工具提供测试有效性反馈,这些工具支持DO-178B标准的要求,包括A级。

分类目录

具有免费许可证的clang版LDRA Testbed的替代品