基于模型代数的基本路径集的自动生成

摘要

Path testing is a white-box test method for designing test case.Basis path testing is one of the most widely used path test methods.The basic path test is the collection of the basic executable paths based on the control flow graph of the program,so the control flow graph is the key of automatic generation of the basic path set.In this paper,an automatic generation of basic path set method was proposed based on model algebra.The basic path set will be generated based on the model algebra expression which is automatically generated by analyzing the program.In the end,the classical cases show the efficiency of the method.%路径测试是一种根据路径设计测试用例的白盒测试技术,而基本路径测试是其中运用最广泛的一种路径测试方法.基本路径测试是在被测程序的控制流图的基础上导出基本的可执行的路径集合,因此程序控制流图是基本路径集自动生成的关键.考虑到依赖程序控制流图生成基本路径集的低效性,提出基于模型代数的基本路径集的自动生成方法.该方法通过分析被测程序,自动生成程序的模型代数表达式,并在模型代数表达式的基础上生成基本路径集.最后通过经典案例证明了该方法的有效性.