面向路径的软件测试数据生成方法的研究-计算机系统结构专业毕业论文.docxVIP

万方数据 万方数据 独 创 性 声 明 本人声明所呈交的学位论文是本人在导师指导下进行的研究工 作及取得的研究成果。据我所知，除了文中特别加以标注和致谢的地 方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含 为获得电子科技大学或其它教育机构的学位或证书而使用过的材料。 与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明 确的说明并表示谢意。 签名： 日期： 年 月 日 关于论文使用授权的说明 本学位论文作者完全了解电子科技大学有关保留、使用学位论文 的规定，有权保留并向国家有关部门或机构送交论文的复印件和磁 盘，允许论文被查阅和借阅。本人授权电子科技大学可以将学位论文 的全部或部分内容编入有关数据库进行检索，可以采用影印、缩印或 扫描等复制手段保存、汇编学位论文。 （保密的学位论文在解密后应遵守此规定） 签名： 导师签名： 日期： 年 月 日 摘 要 摘 要 随着计算机科学技术的飞速发展，软件的功能越来越强大，人们对软件质量 和可靠性的要求也越来越高。软件测试是软件开发过程中的不可缺少的部分，为 软件质量和可靠性提供保障。随着软件复杂度的上升，软件测试的难度越来越大， 需要消耗大量的人力、物力和时间。测试数据生成是软件测试的一个关键环节， 自动化的测试数据生成方法可以有效的提高测试效率、降低软件开发成本。 本文首先介绍了软件测试的基本概念和测试技术的分类，分别介绍了几种常 用的基于规约的测试方法和基于程序的测试方法。对现有的各种面向路径的测试 生成方法进行总结和分析，并详细描述了基于各种智能算法的测试数据生成方法 的原理和流程，分析其优缺点。 重点深入研究粒子群优化算法，分析粒子群算法的复杂度和收敛性。并在吸 引排斥粒子群算法的基础上，引入新的种群多样性度量指标和排斥操作，提出了 改进的吸引排斥粒子群算法(MARPSO)，并通过基准测试函数验证其收敛性能。 结合爬山算法高效的局部收敛能力和 MARPSO 算法的全局最优搜索能力， 提出了引入爬山算法的 MARPSO 算法(HC-MARPSO)，并将其应用于测试数据生 成中。构造了该测试数据生成方法的模型框架，并以三角形判别程序为例进行仿 真实验，与基本粒子群算法和遗传算法做比较。结果表明基于 HC-MARPSO 算法 的测试数据生成方法有较高的效率。 关键词：面向路径的测试，测试数据生成，粒子群优化算法，吸引排斥粒子群算 法，爬山算法 I ABSTRACT ABSTRACT Software function is more and more powerful, the requirements of software quality and reliability are also increasing. Software testing is an integral part of the whole software development, it can assure the quality and reliability of software. With software complexity increasing, software testing become more and more difficult, it will consume a large-scale manpower, material and time. Test data generation is a key part of software testing, automated test data generation method can effectively improve the testing efficiency, reduce software development costs. The basic concepts of software testing and the category of testing technology and then introduces several commonly used testing methods based on structural testing and functional test is introduced. And summarize some path-oriented test data generation methods currently existing and analyze the advantage and disadvantage of those methods. Detailed describe the principle and proce