基于可行路径的测试用例自动生成方法研究

发布时间：2024-01-28 15:34

　　软件测试是软件开发中必不可少的过程,它也是确保软件质量的有效方法。目前,软件测试倾向于采用自动化过程。软件自动化测试可以降低开发成本并且提高测试效率,然而测试用例自动生成是软件自动化测试的重要组成部分。测试用例的生成现存多种方法,但是目前应用最广、效率最高的是基于元启发式算法的方法。测试用例生成的效率与待测程序的路径密切相关。本文主要基于待测程序的可行路径进行测试用例生成的研究,首先基于现有的关键路径表示法提出了改进,接下来对花朵授粉算法提出了两点优化,然后将它们结合成一种测试用例生成模型。本文的主要工作如下:首先研究了关键点路径表示法并且分析它的可行性与限制性,针对方法的限制性提出了一种可行路径表示法。该方法符合本文的研究目的,并且使用简化的插桩手段对待测程序进行插桩。可行路径表示法是一种静态方法,在对待测程序进行实验前,通过使用该方法对待测程序进行路径分析得到程序的具体路径信息,使用逆向符号执行技术对可行路径集进行可行性再度量,最终得到程序的可行路径集。然后研究了花朵授粉算法,由于花朵授粉算法在自适应性、优化精度、收敛速度和陷入局部极值等方面都存在许多不足。为了解决花朵授粉算法的诸...

【文章页数】：72 页

【学位级别】：硕士

图2.2授粉与传粉方式示意图

图3.4当型循环结构图、直到型循环结构图

图3.5示例关键点图

图3.6三个数排序程序的控制流图

本文编号：3887690