基于图的MC/DC最小测试用例集快速生成算法

摘要：

依针对MC/DC最小测试用例集生成效率的问题,依据MC/DC准则,以条件判定组合的复杂逻辑关系为研究对象,采用将原始布尔表达式转化为语法树,再将语法树转化为图,分析图中节点对判定结果的影响的方法,研究了基于图快速生成最小测试用例集的算法.最后结合实例对该算法进行了验证,并与其他算法进行了比较,结果表明该算法在手动和自动生成最小测试用例集时具有实用性和优越性.

关键词：MC/DC、测试用例、语法树、图

在线出版日期：2012-12-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：145-148