基于形式化uml测试序列生成方法研究

《基于形式化uml测试序列生成方法研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、基于形式化LTML生成测试序列方法i"i''Illili!IIiiifTiiiiII．．．ii"i蔫鼍摘要测试序列的优劣直接影响到测试的质量，如何生成优秀的测试序列已是测试领域孛较为重要的研究方向。切溉语言是近年来面向对象系统开发应用较为广泛的工其之一，它具有易于表达、定义良好，功能强大、普遍使用的特点。利用LTML建立软件模型是爨前使用较为广泛的方法。在测试领域中，bTV[L的应用依然广泛。本文在这个背景下对基于形式化UML生成测试序歹

2、l的方法、过程做了比较完整的研究。本文首先简要介绍了软件测试的一些基本知识如：测试的定义、重要性、目的、过程及方法，重点

3、阐述了了面向对象软件测试技术及测试用例设计方法。接羞介绍了呲的基本概念，呲中状态图、协作图的基本语法规则，并给出了将协作图形式化描述为有向图，状态树形式化描述为树形结构的方法。利用上述方法，不仅用形式他的数据结构描述了协作图与状态图而且还为生成测试序列奠定了基础。然后分析了扩展有限状态枫的基本原理，并结合实例给如了将形式化的状态图转化为扩展有限状态机的方法。由于UIVIL状态图存在层次和并发性，传统的流分析技术不能直接应用，所以应用扩展有限状态机将状态图展乎，去除其层次及并发。之后利用最深度优先遍历算法遍历由扩展有限状态机转化的赋值测试树，生成测试序列。根据

4、最深度优点算法能够首先生成发现错误概率较大盼序列，并且侵生成的测试序列能够满足状态迁移覆蓣准则，降低了测试成本。最后给出了AtrV控制系统的实例，证明了基于多元状态树生成测试序列的实用性。关键词：UML状态图；测试序列；扩展的有限状态机；软件测试哈尔滨工程大学硕士学位论文IllAbstractThequalityoftestsequencedirectlyaffectthequalityoftest．Howtogeneratetheoptimaltestsequenceisallimportantresearchdirectionintestingfield

5、．Inrecentyears，UMLisatoolwhichiswideapplicationindevelopmentofobject-orientedsystem．UMLiseasytoexpress，well—defined，powerfulandwidespread．Currently,itisfrequentlyusedforUMLtobuildsoftwaremodel．Also，UMLiswideapplicationinthetestfield．Accordingtothisbackground，thispaperstudiesthemeth

6、odsandprocedureofgeneratingtestsequencesbasedonformalizedUML．Firstlythispaperintroducessomebasicknowledgeofthesoftwaretestingsuchas：thedefinition，theimportance，purpose，process，themethodoftest,especiallytoelaborateobject-orientedsoftwaretestingtechnologyandthedesignmethodoftestcase．

7、ThenitintroducesbasicconceptofUML，andthebasicrulesofgrammarchartandcollaborationdiagram．Also，itpresentsthemethodtoformalizeandtransformcollaborationdiagram(statechartdiagram)todirecteddigraph(trees觚cturerespectively)．Usingabovemethodsnotonlyformalizedescriptionofcollaborationc：hart

8、andstatechartbutalsolayafoundationforgeneratingtestsequence．ThenitanalysesthebasicprincipleofEFSM(ExtensionFiniteStateMachine)，andgivesthemethodtoformalizeandtransformstateeharttoEFSMbyexamples．WiththehierarchyandconcurrencyofUMLstatechart，traditionalflowanalysistechnologycannotdir

9、ectapply,SOweutilizeEFSMto