节点文献

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

免费订阅

【作者】 黄孝伦王东

【Author】 Huang Xiaolun;Wang Dong;Chongqing Health Information Center;

【通讯作者】 王东;

【机构】 重庆市卫生信息中心

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

【关键词】 MC/DC测试用例耦合条件递归算法
【基金】 重庆市社会民生科技创新专项项目(cstc2015shmszx120034)
【所属期刊栏目】 计算机技术与应用 (2020年04期)
  • 【DOI】10.16157/j.issn.0258-7998.191029
  • 【分类号】TP311.53
  • 【下载频次】15
节点文献中: 

本文链接的文献网络图示:

浏览历史:
下载历史: