对于需要进行软件认证或鉴定的用户,LDRA 工具套件提供了一系列的功能和工具来满足这些需求。这个工具套件的可追溯性、静态和动态分析、单元测试和系统测试等功能,都是为了确保软件的质量和安全性,以及满足各种认证标准的要求。
总的来说,LDRA 工具套件是一个非常强大和灵活的工具,适用于各种软件开发项目,无论是大型的商业软件还是小型的个人项目。它的全面性和可扩展性使得它成为了许多软件开发团队的理想选择。
Testbed/TBvision: 静态分析,编码规则检查,质量度量,设计评审,动态覆盖分析。
TBrun:单元测试、集成测试、极限测试。
TBmanager:需求到测试得全面追踪和测试管理。
TQSP:FAA DO-178B/C工具鉴定包。