MC/DC最小测试用例集递归分块矩阵生成算法  

Generating Algorithm of Recursive Blocks Matrix for Minimum Test Case Set on MC/DC

作　　者：葛汉强[1] 

机构地区：[1]重庆信息技术职业学院软件学院,重庆404000

出　　处：《计算机系统应用》2011年第7期195-198,共4页Computer Systems & Applications

摘　　要：测试用例个数可以影响软件测试的成本与效率,因此最小测试用例集的生成算法具有重要的实用价值。对布尔表达式语法树采用递归分块矩阵处理,得到了MC/DC最小测试用例集生成算法。并证明了该算法的正确性,给出其成立的前提条件。The quantity of the test suite affects the cost and efficiency of software testing,so it is important to generate an algorithm of minimum test case set.According to studying syntactic tree of Boolean expressions on recursive blocks matrix,an algorithm for minimum test case set on MC/DC is proposed.Its correctness is proved in theory and its premise is considered.

关 键 词：MC/DC 最小测试用例集 递归分块矩阵 生成算法 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]