Parasoft
C/C++test
C/C++ 代码静态分析与单元测试工具,支持 MISRA、DO-178 等编码标准合规检查。
工业软件嵌入式软件、汽车电子、航空航天
产品概述
C/C++test 是 Parasoft 推出的 C/C++ 代码质量与安全测试工具,提供静态分析、动态分析、单元测试和编码标准合规检查等完整功能。它支持 MISRA C/C++、DO-178、ISO 26262 等行业安全标准,被广泛应用于汽车电子、航空航天、医疗设备等安全关键领域的软件开发。
功能特点
静态分析
超过 1200+ 条规则检查代码缺陷和安全漏洞
单元测试
自动化测试用例生成和覆盖率分析
编码标准
MISRA、CERT、DO-178、ISO 26262 合规检查
数据流分析
未初始化变量、空指针等数据流缺陷检测
回归测试
自动化回归测试和变更影响分析
合规报告
自动生成合规性审计报告
核心优势
1
支持 1200+ 条静态分析规则
2
全面的行业安全标准合规支持
3
自动化测试用例生成
4
与 CI/CD 流水线集成
典型应用场景
汽车电子软件 ISO 26262 合规验证
航空航天软件 DO-178 认证支持
医疗设备嵌入式软件质量保障
技术规格
| 语言支持 | C、C++、Embedded C++ |
| 标准支持 | MISRA C/C++、DO-178、ISO 26262、CERT |
| 覆盖率 | 语句、分支、MC/DC、条件 |
| 集成 | Jenkins、Azure DevOps、Eclipse |
常见问题
C/C++test 支持哪些编码标准?
支持 MISRA C/C++、CERT C/C++、DO-178、ISO 26262 等多种行业编码标准和安全标准。
