资源描述:
《一种基于uml活动图生成测试用例的方法》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、南京邮电大学硕士研究生学位论文中文摘要摘要目前,软件测试越来越受到重视,而测试用例的设计与生成又是软件测试的重点和难点,其本质是如何依据一种以适当方式描述的软件规格说明来设计和生成有效的测试用例。近年来,随着面向对象技术的成熟和广泛应用,基于统一建模语言UML的软件测试方法成为研究的热点,并取得了不少重要的研究成果。本文旨在针对一般软件所共有的交互性特征,重点研究基于UML活动图模型的测试用例设计与生成方法。首先对UML以及基于模型的测试方法做了简单介绍,指出UML模型用于指导测试的优势所在;其次,分析了UML各种
2、模型及其可测试性和测试策略,进而指出活动图模型不仅是进行业务需求分析和系统设计的有力工具,同时也是系统测试的重要依据。基于上述分析,本文给出了基于UML活动图模型生成测试用例的总体策略,包括基于活动图模型控制流结构的转换和对活动图中循环和并发模块的处理。在活动图模型转换方面,本文针对活动图模型提出了活动辅助图的概念,并提出了由活动图模型转换为活动辅助图的转换规则;在处理循环活动时,提出基本顺序路径覆盖准则;在处理并发活动时,提出了t组合测试覆盖准则。同时,探讨了测试数据生成的方法,提出了基于输入参数交叉关系的测试数
3、据生成方法。最后,根据本文提出的基本并发路径生成算法开发了并发路径生成工具(简称PGT),并以电信业务中的移机业务受理过程为例,阐述了采用该方法生成抽象测试用例的详细过程。关键词:软件测试,UML模型,组合测试,测试场景,测试数据I南京邮电大学硕士研究生学位论文ABSTRACTABSTRACTCurrently,softwaretestingismoreandmoreimportantandtestcasedesignandgenerationareonekeyandchallengingprobleminsoft
4、waretestingtechnology,whoseessenceishowtodevelopeffectivetestcasesbasedonsoftwarespecifications.Recently,withthematurityandpopularityofOOtechnology,testingbasedonUMLhasbecomeanactivetopic.Aimedtotheinteractivecharaeteristiesofmostsoftwaresystems,thisresearchis
5、devotedtothestudyoftestcasedesignandgenerationmethodbasedonUMLactivitydiagram.Firstofall,thispapergivesasimpleintroductionofUMLandmodel-basedtestingtechnology,pointsoutadvantagesofapplyingUMLmodelstodirecttesting,andanalyzesallkindsofUMLmodels,theirtestability
6、andteststrategies,thenpointsoutthatUMLactivitydiagramisnotonlyapowerfulmodelinrequirementanalysisanddesign,butalsoanimportantbasisforsoftwaretesting.Basedontheaboveanalysis,thispaperfocusesonthemethodsoftestcasedesignandgenerationbasedonactivitydiagramandshows
7、thestrategyforgeneratingtestcases,includingthetransformationofactivitycontrolflowgraphmodelandtheprocessingofthecycleandconcurrentinactivitydiagram.Intermsofthetransformationofactivitycontrolflowgraph,thispaperhasproposedtheconceptofactivityassistantgraphandgi
8、venthetransformationrules.Abasicsequentialpathcoveragecriterionisproposedtosolvecycleinactivitydiagram.Indealingwithconcurrentactivities,t-waycombinatorialtestcoveragecriterionhasb