基于代数的软件路径的自动生成  

Automatic Generation of Software Path Based on Algebraic

作　　者：李肇明 LI Zhao-ming(College of Information Engineering, Anhui International Business Vocational College, Hefei 230000, China)

机构地区：[1]安徽国际商务职业学院信息工程学院,安徽合肥230000

出　　处：《信阳农林学院学报》2021年第2期119-123,共5页Journal of Xinyang Agriculture and Forestry University

基　　金：安徽国际商务职业学院校级教学研究项目(2020XM13);安徽省教育厅自然科学研究一般项目(2018XJZK02);安徽省教育厅自然科学研究一般项目(2019XJZK01)。

摘　　要：路径测试是一种依据路径生成测试用例的白盒测试技术,其目的是验证软件中每条路径是否能完成预期的功能。在路径测试中,路径生成是其中一个重要的步骤。但由于软件系统中循环结构出现次数不断增多,使得路径数量不断激增,目前已有的软件路径生成方法代价大且困难。为解决这一问题,提出了一种基于代数的软件路径自动生成方法。首先,对软件的源代码进行分析,构建控制流图。然后,通过代数方法将控制流图转化为路径表达式,并对路径表达式中的循环进行展开从而生成软件路径。为了说明该方法的有效性,通过经典案例进行验证。结果表明,该方法能有效生成软件路径。Path testing is a white-box testing technology that designs test cases based on paths.Its purpose is to verify whether each path in the software can complete the expected function.In path testing,path generation is one of the important steps.However,as the number of loop structures in software continues to increase,software path generation becomes more and more difficult.To solve this problem,this paper proposes an automatic generation of software path based on algebra.First,we analyze the source code of the software and construct a control flow graph.Then,the control flow graph is transformed into a path expression through algebraic representation,and the loop in the path expression is unrolled to generate a software path.In order to illustrate the effectiveness of this method,this paper verifies through classic cases.The results show that this method can effectively generate software paths.

关 键 词：控制流图 代数表示 路径测试 软件路径 

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