在汽车软件中实现功能性安全
使用 Parasoft C++test 以符合 ISO 26262 软件标准
注:图文无关,本文档是比较早的参考资料,有删减,仅供学习参考,如需全文资料可留言索取,本文仅针对iso6262-2011版本。如果需要iso26262-2018版本的最新应用解读,可联系其公司的相关代表。
本公众号“汽车功能安全”,会不定期推送和分享相关ISO26262的工具应用白皮书或者相关解读文档,欢迎相关工具的单位及联系人联系小编提供最新资料(微信号:foauto),便于更多的读者了解工具的最新动态和应用,已发布的公开资料如有侵权或不便,请联系小编删除。
欢迎广大粉丝和读者留言,需要了解那些ISO26262相关的工具文档和解读资料,小编会尽快整理发布,供学习参考!
安全功能越来越多地在电气、电子或可编程电子系统中得到实现。这些系统一般都是非常复 杂的,这就使得在实际中完整地判断每个失效模式(failure mode)或测试所有可能的行为成为了不 可能完成的任务。虽然预测其安全方面的性能非常困难,但测试仍然是非常有必要的。关键的挑 战在于设计一种能够预防危险性失效或能在这些失效发生的时候对其进行控制的系统。
安全性将成为未来汽车开发中的一个关键因素。新功能——不仅仅在驾驶员辅助系统领域, 同样在车辆动态控制以及主动和被动安全系统中——越来越多地触及到了安全性工程的范畴。未 来的开发以及对这些功能的集成将会进一步提升对安全系统开发流程的需求,同时还需要提供所 有合理安全性目标已满足的证据。
随着复杂性增强、软件内容以及机电层面实现的趋势,系统化的失效以及随机硬件失效的风 险有显著增加的趋势。通过提供可行的需求以及流程,ISO/DIS 26262 包含了能够将这些风险降 低到可接受程度的指南。
本文档的宗旨在于详细阐述如何使用 Parasoft C++test 帮助汽车软件开发组织遵守 ISO/DIS 26262 标准。
本文将首先介绍 ISO/DIS 26262 的标准及其目标。然后将讨论 Parasoft C++test 是 为软件开发以及测试提供自动化最佳实践的集成解决方案。最后,将阐述使用 Parasoft C++test 所能全部或部分满足的 ISO/DIS 26262 标准细节。
![3d58d685886c89cc7f3227a6d8472256.png](https://i-blog.csdnimg.cn/blog_migrate/65a65f2d7390057b91e0c15f481b62a9.jpeg)
5 相应软件级别中产品开发的初始化
ISO/DIS 26262 标准的第 6 部分定义了关于软件开发以及验证的一般性信息。
5.4.5 该条标准定义了软件开发流程中的方法以及工具的合适应用。
5.4.6 该条标准描述了达成软件设计及实现正确性的需求。此处所描述的方法同时适用于建模以及编程语言。
8 软件单元设计以及实现
本节定义了如下一些流程:
• 指定软件单元。
• 实现软件单元。
• 设计以及实现的确认。
8.4.4 该条标准指定了软件单元设计与实现的设计原则
8.4.5 该条标准指定了检测软件单元设计以及实现的确认方法。
9 软件单元测试
本部分定义了软件单元测试的计划、定义以及执行的流程。
9.4.1 该条标准描述了关于单元测试执行的一般性信息。
9.4.2 该条标准描述了用于指定以及执行单元测试的方法。
9.4.3 该条标准定义了创建测试用例时应该使用的方法。
9.4.4 该条标准定义了评估测试用例的完整性的方法。
9.4.5 该条标准定义了测试环境的需求。
10 软件集成以及测试
本章节描述了软件组件集成以及验证相应生成的嵌入式软件的流程。
10.4.2 该条标准描述了关于执行软件集成测试的一般性信息。
10.4.5 该条标准定义了评估集成测试完整程度的方法。
10.4.7 该条标准定义了集成测试环境的需求。
Parasoft 的 C++test 能帮助汽车软件开发团队实现遵守 ISO/DIS 26262 标准并满足嵌入式程序的标准作业程序(SOP)。包括编码标准一致性分析、数据以及控制流分析、单元测试、应用程序监测、工作流程组件以及自动化同行代码审查过程在内的广泛的分析手段——与包含高级别细节的可配置的测试报告能显著地促进软件验证过程中所需进行的工作。
![3d58d685886c89cc7f3227a6d8472256.png](https://i-blog.csdnimg.cn/blog_migrate/65a65f2d7390057b91e0c15f481b62a9.jpeg)