采用矩阵递归的最小测试用例集生成算法

摘要：

符合MC/DC准则的最小测试用例集算法具有重要的实用价值.首先将布尔表达式转换为语法二叉树,然后采用矩阵组合逻辑运算方法逐层递归,从而获得完备的MC/DC最小测试用例集.经验证,矩阵组合逻辑运算方法是合理的、正确的.该方法对于非平凡布尔表达式可快速获取完备的MC/DC最小测试用例集,同时也可以处理带耦合条件的复杂布尔表达式.

关键词：MC/DC、测试用例、耦合条件、递归、算法

所属期刊栏目：46

分类号：TN06;TP301.6(一般性问题)

资助基金：重庆市社会民生科技创新专项项目cstc2015shmszx120034

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

页数：共4页

页码：71-74