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

摘要

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