IEC 61508是针对电气、电子和可编程电子系统的功能安全标准，其中第3部分专门针对软件。从事工业自动化、过程控制、机器人技术及重型机械开发的团队，均依据IEC 61508或基于该标准制定的行业标准进行开发。本白皮书将第3部分中的验证与确认活动与附件A和B中的技术进行匹配，指明各项技术在各SIL等级中的适用情况，并阐述测试自动化在哪些环节可减少生成验证证据所需的工作量。
覆盖率条会随着每个SIL的增加而上升
第3部分在各个级别（从SIL 1的入门级别到SIL 4的MC/DC级别）的强烈推荐列表中添加了一种覆盖率类型。本文对每种类型进行说明，并通过一个示例条件来阐明语句覆盖率、分支覆盖率和MC/DC覆盖率各自的需求，同时展示如何使用从代码生成的真值表来确定MC/DC所需的测试对。
减少配置，增加测试
本文阐述测试自动化在单元测试中如何节省时间：包括设置每个测试、在硬件上运行测试，以及在代码变更时重新运行所有测试。
构建测试框架
该工具会为尚不存在的代码生成测试驱动程序和存根，因此您无需手动编写测试框架代码，即可单独测试每个单元。
在代码运行的地方运行
使用运行时支持包（Runtime Support Package），在主机、模拟器或目标板上执行测试。
跟踪并重新运行
Requirements Gateway将需求与测试用例关联起来，当代码发生变更时，整个回归测试套件会重新运行。
VectorCAST已通过TÜV SÜD根据IEC 61508标准进行的认证
第3部分探讨如何建立对工具的信任，无论是通过正式认证，还是通过实际使用积累的信心。经过认证的工具会附带用于证明合规性的文件：
- TÜV SÜD证书
- 工具运行需求
- 工具确认数据
- 基于IEC 61508标准的合规性分析
下载白皮书
获取完整的SIL分级评级
本文专为嵌入式开发人员、测试工程师和功能安全负责人撰写，涵盖第3部分中的全部11种软件验证技术，包括动态分析、黑盒测试、可追溯性及影响分析。
- 按SIL分级的软件验证、动态分析和黑盒测试
- 边界值分析、等价类和错误注入
- 由代码生成的MC/DC真值表
