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

摘要：

路径测试是一种依据路径生成测试用例的白盒测试技术,其目的 是验证软件中每条路径是否能完成预期的功能.在路径测试中,路径生成是其中一个重要的步骤.但由于软件系统中循环结构出现次数不断增多,使得路径数量不断激增,目前已有的软件路径生成方法代价大且困难.为解决这一问题,提出了一种基于代数的软件路径自动生成方法.首先,对软件的源代码进行分析,构建控制流图.然后,通过代数方法将控制流图转化为路径表达式,并对路径表达式中的循环进行展开从而生成软件路径.为了说明该方法的有效性,通过经典案例进行验证.结果 表明,该方法能有效生成软件路径.

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

所属期刊栏目：31

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

资助基金：宿州学院校级教学研究项目;安徽省教育厅自然科学研究一般项目;安徽省教育厅自然科学研究一般项目

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

页数：共5页

页码：119-123