功能安全 | 利用代码检查完善测试覆盖率

文章预览

在功能安全中测试覆盖率是比较重要的概念，也是在验证过程中通常需要花费时间较多的步骤，如果能借助于静态检查工具的死逻辑查找和声明、测试用例自动补全等功能往往能取得事半功倍的效果。功能安全标准中常见的几种覆盖率类型有： - 语句覆盖 ：程序中的每条语句是否都被执行到。  - 判定覆盖（决策覆盖）： 各分支路径是否都被执行到。  - 条件覆盖： 进入分支前的判断条件中的各子条件的可能输出是否都满足到。  - 修正条件判定覆盖（MC/DC）： 每个能独立影响到决策输出的条件是否都被满足到。MC/DC 其实是条件组合覆盖的子集，条件组合覆盖要求覆盖判定中所有条件取值的所有可能组合，所需测试用例和条件数成指数关系，在实际应用中难以操作。MC/DC 具有条件组合覆盖的优势，同时大幅减少用例数。比如对于判定条件 X||(Y & ), ………………………………