10.3969/j.issn.1673-629X.2005.10.037
对修正条件/判定覆盖方法测试集个数的分析
修正条件/判定覆盖(MC/DC)是软件测试方法之一.文中通过介绍MC/DC这种测试方法推导出一个关于任意一个布尔表达式其测试集个数的问题的结论.首先从介绍这种测试方法的定义及如何寻找其测试集的方法开始出发;其次推导出关于测试集个数的结论,并加以理论证明;最后以一些实例来说明此结论.
MC/DC、个数、元素、测试集
15
TP311.5(计算技术、计算机技术)
2005-11-10(万方平台首次上网日期,不代表论文的发表时间)
共3页
110-112