LDRA 静态分析工具
产品简介：LDRA是全球领先的静态分析工具供应商，2025年被TASKING收购后成为其工具链的重要组成部分。LDRA工具套件提供代码质量分析、覆盖率测试和需求追溯能力，是安全关键领域软件认证的必备工具。
📋 产品系列
| 产品 | 类型 | 说明 |
|---|---|---|
| LDRA tool suite® | 综合工具套件 | 代码质量、覆盖率、追溯 |
| LDRA Productivity Package for Aerospace and Defense | 航空航天包 | DO-178C认证支持 |
| LDRA Productivity Package for Automotive | 汽车包 | ISO 26262认证支持 |
| LDRA Productivity Package for Industrial Controls | 工业控制包 | IEC 61508认证支持 |
🎯 核心能力
- 代码静态分析与质量检测
- 结构化覆盖率分析（MC/DC等）
- 需求追溯与管理
- 支持DO-178C、ISO 26262、IEC 61508等安全标准
- 支持多种编程语言（C、C++、Ada等）
🏭 应用场景
- 航空电子DO-178C认证
- 汽车电子ISO 26262认证
- 工业控制IEC 61508认证
- 铁路信号系统EN 50128认证
🔗 相关下载
（产品资料待上传）
咨询产品详情：support@softor.com.cn