满足功能安全要求的代码测试方案：Parasoft C++test

安全功能越来越多地在电气、电子或可编程电子系统中得到实现。这些系统一般都是非常复杂的，这就使得在实际中完整地判断每个失效模式(failure mode)或测试所有可能的行为成为了不可能完成的任务。虽然预测其安全方面的性能非常困难，但测试仍然是非常有必要的。关键的挑战在于设计一种能够预防危险性失效或能在这些失效发生的时候对其进行控制的系统。安全性将成为未来汽车开发中的一个关键因素。新功能——不仅仅在驾驶员辅助系统领域，同样在车辆动态控制以及主动和被动安全系统中——越来越多地触及到了安全性工程的范畴。未来的开发以及对这些功能的集成将会进一步提升对安全系统开发流程的需求，同时还需要提供所有合理安全性目标已满足的证据。

随着复杂性增强、软件内容以及机电层面实现的趋势，系统化的失效以及随机硬件失效的风险有显著增加的趋势。通过提供可行的需求以及流程，ISO/DIS 26262 包含了能够将这些风险降低到可接受程度的指南。

Parasoft 公司 C++test 帮助汽车软件开发组织遵守ISO/DIS 26262 标准，是为软件开发以及测试提供自动化最佳实践的集成解决方案

01丨Parasoft

 Parasoft C++test

Parasoft C++test 是经广泛证明的最佳实践集成解决方案，它能有效提 高开发团队工作效率和软件质量。C++test 能促进：

• 静态分析—— 静态代码分析，数据流静态分析以及度量指标分析

• 同行代码审查流程自动化——准备、提示以及追踪

• 单元测试——单元测试创建、执行、优化以及维护

• 运行时错误检测——内存访问错误、泄漏、崩溃以及其它

这为开发团队提供了一种实际的方式来预防、发现以及纠正相关的错误，从而确保其C 以及C++代码如预期般工作。为了促进快速修复，每个检测到的问题都基于可配置的严重级别分配进行排序，并自动分发到相应代码的开发者处，同时分配到他或她的IDE 环境中，并配以该问题代码处的直接链接以及如何修正该问题的描述。