ISO26262 Part 6 之 软件单元验证Verification

1. 目的：

需要对软件单元设计和已实现的软件单元进行验证，以证明：

– 符合第8章有关单元设计和实现的要求；

– 源代码与设计规范的符合性；

– 符合软硬件接口规范

– 确信没有非预期功能和特性；

– 足够的资源支持其功能和特性；

– 实施由安全导向分析得出的安全措施；

2. 验证方法

3. 测试用例生成方法：

4. 验证指标

为了评估验证的完整性并提供证据证明已充分实现单元测试目标,应确定在软件单元层面的要求覆盖率；

对于软件单元测试的测试环境,应考虑目标环境从而使其适合于达到单元测试的目的。如果软件单元测试不是在目标环境下执行**,应分析源代码和目标代码的差异及测试环境和目标环境之间的差异**,以便在后续测试阶段的目标环境中,定义额外的测试。