基于形式化方法的软件测试技术研究--基于UML模型蚁群算.pdf

名：格欢丽名：左生迭盈期：型：三：笪关于论文使用授权的说明独创性声明本人声明所呈交的学位论文是夯人在导师指导下进行的研究工方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含入有关数据库进行检索。可以采用影印、缩印或扫描等复制手段保存、作及取得的研究成果．尽我所知，除了文中特别加以标注和致谢的地+本人为获得江南大学或其它教育机构的学位或证书而使月过的材料．．与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意．签本学位论文作者完全了解江南大学有关保留、使月学位论文的规定：江南大学有权保留并向国家有关部门或机构送交论文的复印件和磁盘，允许论文被查阅争借阅，可以将学位论文的全部或部分内容编汇编学位论文，并耳拳人电子文档的内容和纸质论文的内容相一致．保密的学位论文在解密后也遵守此规定．导师签名：期：为n。j、|S日

摘要目前，软件开发的技术和规模都达到了一定高度，随之而来的软件质量问题也成为研究的重点。因为软件测试是提高软件质量的关键，其地位在软件开发过程中越来越重要。合理并且有效地选择测试用例进行测试是软件测试的关键，因此如何自动生成合理有效地测试用例成为研究软件测试的一个重要分支。并且，如何优化软件测试用例集成为了另一个研究方向。在此前提下，本文应用蚁群算法和UML模型研究软件测试用例生成和软件测试用例集优化。本文首先介绍了有关软件测试技术的基本理论。根据本文的研究内容，主要介绍了软件测试的概念、分类、规则以及一些测试用例生成方法和测试用例集优化方法。接下来，本文对蚁群算法和UML模型的基本理论做了介绍。简单的介绍了UML模型的发展过程和各种模型图，在本文中主要应用的UML状态模型。同时，对蚁群算法的基本理论和模型做了简要的介绍。其次，本文介绍了应用蚁群算法和UML模型生成测试用例的基本原理、过程以及算法的描述以及应用蚁群算法和UML模型优化测试用例集的．原理、过程以及算法的流程，并且通过仿真模拟对本文提出的方法做了验证。仿真实验结果显示，将蚁群算法和UML状态图模型生成的测试用例具有明显的优势。不仅生成的测试用例数量合理，而且可以满足测试需求。同样利用蚁群算法和UML状态模型优化的测试用例集可以达到完全优化测试用例集的目的。关键词：软件测试、UML模型、蚁群算法、测试用例生成、测试用例集优化
machinerequirement．AnddiagramModel，Antoptimizingsimulation．TheOptimization，GenerationAbstractandP印ercansoftwareBecausekeyefficiently．Therefore，howefficientUMLintegratesTesting，UMLCurrently,thetechnologythescaleofdevelopinghavereachedcertainsuccessful，andqualitybecomefocusresearching．testingbeenmoreimportant．Theisthatwechoosecasesreasonablyautomaticallywhichbecomesimportanttesting．Andotherresearchinghowoptimizesthiscontext，weutilizeACOmodelresearchgeneratingsuiteinFirstly,thispaperintroducesbasictheoriesaboutAccordingstudying，thisconcepts，classes，rulessomemethodssuite．AC0m缸，model．Itdescribesdevelopmentkindsmodels．Inpaper,itmakesmodel．Atsametime，itoffersintroductionACO．Thethirdly,itintostatemodel．Andittheories，processesdescribingalgorithmfromverifiesproposedmethodbyresultsimulationexperimentdisplaysgenerationiSsuperiortradition．Thisnumberliale，butusingStatefinishesaimcompletesllite．Keywords：SoftwareColonyCases，Optimizingquestionhastesting，thegeneratesreasonablepartInpaper．testing．Secondly,thisIpaper．Apar