免费论文：基于符号执行的自动测试用例生成系统的研究与实现

随着软件规模的逐渐增大，软件测试在保证软件质量和可靠性方面发挥着越来越重要的作用。然而，软件测试是一个复杂的过程，在软件开发过程中几乎占据了开发成本的一半。因此，提高软件测试的自动化水平对于保证软件开发质量、降低开发成本显得尤为重要。软件测试的难点在于测试用例的生成。如何使生成测试用例的过程自动化，是提高软件测试工具和软件测试过程自动化的关键。本文主要研究和设计测试用例自动生成技术。本文首先介绍了软件测试的基本概念以及国内外在自动测试用例生成领域的研究现状。在分析现有测试用例自动生成实现方法和关键技术的基础上，提出了一种基于符号执行和约束求解的测试用例自动生成方法。该方法设计了一个扩展的ECFG作为程序的中间表示，增强了符号执行对语法结构的处理能力。同时，提出了一种多层次的路径约束求解框架，可以有效地解决路径约束，并且可以保证生成的测试用例的完整性和正确性。然后，给出了测试用例自动生成系统的框架设计，并详细描述了系统各部分的设计方案和系统的一些设计细节。最后列出了实验结果和结果分析。实验结果表明，本文提出的测试用例自动生成方法可以有效地生成具有一定路径覆盖率的测试用例。

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://www.87cpy.com/265114.html