基于复合谓词的软件测试用例生成的方法研究.pdfVIP

基于复合谓词的软件测试用例生成的方法研究 李煜 河海大学计算机及信息工程学院，南京 （210098 ） E-mail：liyuhhu@126.com 摘 要：随着程序复杂性的不断提高，简单的一维谓词很难满足程序的需求，路径谓词的复 杂多样使得相应的搜索算法需要不断改进。本文给出一种针对复合谓词的分支函数扩展定 义，并给出对多个变量进行分组搜索的方法，在细节上提高了测试用例生成的效率。 关键词：软件测试，测试用例，复合谓词，分支函数，路径覆盖。 0 引言 随着软件产业的发展, 软件测试已经成为软件工程的重要组成部分。对软件测试技术的 研究与应用也成为人们日益关注的课题。白盒测试和黑盒测试是软件测试中的两大方法，无 论哪种方法都离不开测试用例的生成。然而，测试用例的生成一直是软件测试领域一个较为 [1] 复杂的问题，方法和手段尚未成熟 。 本文所讨论的测试用例生成方法是