修改条件判断覆盖
维基百科,自由的 encyclopedia
修改条件/判断覆盖(Modified condition/decision coverage)简称MC/DC,在软件测试中有关代码覆盖率的准则。
依照修改条件/判断覆盖的准则,测试过程中需要满足以下所有条件[1]。
- 每一个判断的所有可能结果都出现过
- 每一个判断中所有条件的所有可能结果都出现过
- 每一个进入点及结束点都执行过
- 判断中每一个条件都可以独立影响判断的结果
各条件的独立影响可以用每一次只改变一个条件来证明。
飞航软件开发指南DO-178B(英语:DO-178B)及DO-178C(英语:DO-178C)中指定会影响飞机起飞及降落安全性的软件(A等级软件),需满足修改条件/判断覆盖的代码覆盖测试。在功能安全标准IEC 61508 part 3 的附录B中,有关SIL 4的说明[2],以及汽车安全标准ISO 26262第6章的ASIL D[3],都高度建议使用MC/DC。