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

Automatic Generation of Basis Path Set Based on Model Algebra

作　　者：赵会群[1] 卢飞[1] 

机构地区：[1]北方工业大学计算机学院,北京100144

出　　处：《计算机科学》2017年第4期114-117,共4页Computer Science

基　　金：北方工业大学优势学科项目资助

摘　　要：路径测试是一种根据路径设计测试用例的白盒测试技术,而基本路径测试是其中运用最广泛的一种路径测试方法。基本路径测试是在被测程序的控制流图的基础上导出基本的可执行的路径集合,因此程序控制流图是基本路径集自动生成的关键。考虑到依赖程序控制流图生成基本路径集的低效性,提出基于模型代数的基本路径集的自动生成方法。该方法通过分析被测程序,自动生成程序的模型代数表达式,并在模型代数表达式的基础上生成基本路径集。最后通过经典案例证明了该方法的有效性。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.

关 键 词：路径测试 白盒测试 基本路径集 模型代数 

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