ISO26262 Part6 之软件测试安全汇总详解

Alex_Zhao_JLU

已于 2024-08-07 11:30:35 修改

阅读量576

点赞数 8

分类专栏：功能安全文章标签：安全

于 2024-08-06 15:17:05 首次发布

本文链接：https://blog.csdn.net/Aleeex_Zhao/article/details/140955794

版权

功能安全专栏收录该内容

41 篇文章 3 订阅

订阅专栏

1. 标准要求

如V model中所示，软件阶段包括：

6-9 Software unit verification

6-10 Software integration and verification

6-11 Testing of the embedded software

在这里插入图片描述

2. 软件测试流程

在这里插入图片描述

3. 测试计划

在这里插入图片描述

4. 测试规范和测试用例

在这里插入图片描述

在这里插入图片描述
为了提高测试效率及合理性，可以对测试进行分组

5. 软件单元测试

在这里插入图片描述

5.1 代码静态测试/分析

静态分析是指不用执行程序的测试，对程序文件进行跟踪，即可以在运行程序之前的早期阶段检测分析。它主要采用代码走查、技术评审、代码审查等方式对软件单元或者软件产品进行测试。验证方法有走查、结对编程、检查、控制流分析、数据流分析、静态代码分析，主要集中在软件单元验证和软件集成验证活动中。其中静态代码分析最为主要，其主要目的是检查代码编写是否符合特定的编程规则。对于大部分车辆控制器代码而言，静态代码分析，即C代码静态分析(如果基于模型开发，则是自动生成的代码)，主要是保证代码满足MISRA C(Motor Industry Software Reliability Association, 汽车工业软件可靠性协会)相关的要求。
静态代码分析一般可以直接采用自动化检测软件，例如SIMULINK, Model Advisor; Vector, VectorCAST; Perforce, Helix QAC等，通过配置代码检测规则，然后导入源文件进行自动化分析，如果不满足相关要求，则需要对代码进行修改直至满足为止。最终输出静态代码分析报告给予功能安全软件设计验证提供依据。
在这里插入图片描述