基于MCDC的测试用例生成方法

摘要：

软件测试中关键的步骤就是设计和生成高效、准确的测试用例,通过自动生成测试用例可以有效解决这一问题.提出基于修正条件判定组合覆盖准则(MCDC)的测试用例生成方法.对程序源代码进行预处理,利用控制树模型生成路径集的控制树,基于控制树所设计的修正条件判定组合覆盖准则对控制树进行约减,分别提取控制树上的根结点到每个叶子结点的路径约束信息,根据路径约束信息生成测试用例.实验结果表明,所提方法在生成测试用例的个数及测试用例集对MCDC覆盖率方面都有一定提高.

关键词：控制树模型、控制树、MCDC覆盖准则、路径约束信息、测试用例

所属期刊栏目：40

分类号：TP311.52(计算技术、计算机技术)

资助基金：北京市自然科学基金项目Z160002;网络文化与数字传播北京市重点实验室开放课题基金项目ICDD2017XX

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

页数：共7页

页码：3049-3055