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

Test case generation method based on MCDC

作　　者：唐嘉营 牟永敏[1] TANG Jia-ying;MU Yong-min(School of Computer,Beijing Information Science and Technology University,Beijing 100101,China)

机构地区：[1]北京信息科技大学计算机学院

出　　处：《计算机工程与设计》2019年第10期3049-3055,共7页Computer Engineering and Design

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

摘　　要：软件测试中关键的步骤就是设计和生成高效、准确的测试用例,通过自动生成测试用例可以有效解决这一问题。提出基于修正条件判定组合覆盖准则(MCDC)的测试用例生成方法。对程序源代码进行预处理,利用控制树模型生成路径集的控制树,基于控制树所设计的修正条件判定组合覆盖准则对控制树进行约减,分别提取控制树上的根结点到每个叶子结点的路径约束信息,根据路径约束信息生成测试用例。实验结果表明,所提方法在生成测试用例的个数及测试用例集对MCDC覆盖率方面都有一定提高。Designing and generating efficient and accurate test cases is a critical step in software testing,and it can be effectively solved by automatically generating test cases.A test case generation method based on the modified conditional decision combination coverage criteria(MCDC)was proposed.The source code of the program was preprocessed.A control set tree for a path set was generated using a control tree model.The control tree was reduced according to determination of combined coverage criteria based on modified conditions designed using the control tree,and the path constraint information was extracted from the root node to each leaf node on the control tree.Test cases were generated according to the path constraint information.Experimental results show that the proposed method has certain improvement on the number of test cases generated and the MCDC coverage rate.

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

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]