基于UML状态图的测试用例自动生成方法研究

《基于UML状态图的测试用例自动生成方法研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、摘要摘要软件测试在软件开发过程中有着举足轻重的地位，它贯穿于软件定义与开发的整个周期及整个软件开发过程。而测试用例的生成设计又是软件测试过程中的重点与难点，它的设计主要来自于软件需求和软件设计，其中涉及到测试用例的充分性覆盖准则问题。本文主要研究基于规格说明的软件测试。基于规格说明的测试用例生成技术是一种新兴的测试用例生成技术，特别是基于模型的软件测试，有很多优于以前的测试技术的方面。本文主要研究了基于UML(UnifiedModelingLanguage)状态图的测试用例生成技术。首先，将状态图转换为具有形式化语义和分析方法

2、的Petri网，利用现有的Petri网工具对其进行正确性分析，修正模型。然后，利用图论相关算法以及交替变量法对UML状态图进行测试用例的生成，其中包括测试路径和测试数据的生成。并设计了相应的转换工具和测试用例生成工具，给出了详细的设计方案及实现过程。关键词：MBTUML状态图Petri网测试用例AbstractAbstractSoftwaretestingismoreandmoreimportantintheprocessofsoftwaredevelopments,whichpenetratesthewholelifecyc

3、leofsoftwaredefinitionanddevelopment.Andthekeypointinsoftwaretestingisthedesignoftestcases,whichmainlydependsonthesoftwarerequirementsanddesignsandshouldsatisfytheadequacycriteriaoftesting.Theresearchinthisthesisbelongstothecategoryofsoftwaretestingbasedonspecificat

4、iondescription.Testcasedesignbasedonspecificationisanewtechnique,especiallyModelbasedTesting,toacertainextendisbetterthanthetraditionaltestingtechniques.ThisthesismainlystudiesthetestcasegenerationtechniquesbasedonUMLStateDiagrams.Firstly,theUMLStateDiagramsaretrans

5、formedintoPetrinetswhichhaveformalsemanticsandmatureanalysistechnologyandarecheckedbysomePetrinettools.Then,somegraphtechniquesandthealternatingvariablemethodsareappliedtogeneratetestcases,includingtestpathsandtestdata.Atlast,thisthesisdesignsandrealizesatransformto

6、olandtestcasesgenerationtoolforUMLStateDiagrams.Keyword:MBTUMLStateDiagramsPetriNetTestCases目录目录第一章绪论.....................................................................................................................11.1研究背景........................................

7、.....................................................