基于uml状态图的测试技术研究

《基于uml状态图的测试技术研究》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第l9卷．第5期计算机技术与发展Vo1．19No．52009年5月C0M[PUTERTEa1NoU：XYANDDEVEL)PM[ENTMay2009基于UML状态图的测试技术研究高莉2，李龙澍(1．安徽大学计算智能与信号处理教育部重点实验室，安徽合肥230039；2．安徽建筑工业学院电子与信息工程学院计算机系，安徽合肥230601)摘要：统一建模语言UML具有定义良好、易于表达、功能强大的特点，同时还提供了非常强大的图例模型。目前，UML统一建模语言已经广泛应用于软件开发之中，而基于UML状态图的

2、测试技术研究，目的就是为了能够有效地发现软件中存在的缺陷和故障，保证相应软件质量。讨论分析了基于UML状态图的测试用例生成技术，提出一种基于UML状态图的测试用例生成方法，生成较少但有效的测试用例，便于实现自动化测试，并介绍了基于状态图的测试覆盖标准，最后讨论了未来可以研究的方向。关键词：IJMl，状态图；软件测试；测试用例中图分类号：珊11文献标识码：A文章编号：1673—629X(2009)05一o068一O3ASurveyaboutUMLStatechartTestingGAOLi．一．LI

3、Long．shu(1．MinistryofEducationKeyLaboratoryofComputationalIntelligence&SignaiProcessing，AnhuiUniversity，Hefei230039，China；2．DepartmentofComputerScience，ElectronicandInformationEngineeringInstitute，AnhuiUniversityofArchitecture，Hefei230601，China)Abstra

4、ct：Theunifiedmodelinglanguage(UML)ismoredefinedandeasytodescribethesoftware．Meanwhileitaffordsalotofgraphmodels．Atpresent．UMLhasbeenwidelyusedinsoftwaredevelopment．1_hepurpo~ofthesurveyaboutUMLs~techarttestingistOguaranteeingandimprovingthequalofsoftw

5、are，AttemptstolayanewfoundationforI刀vn．statechartbasedtestgenerationbyintro—ducingIML咖techartrro：lelandputsforwardamethodtoobtaintestcaseSfromUMI，statechart．1_hemethodaboveisabsolutelybasedonUMLandcangeneratelessbutmoreeffectivetestt2ases，whichcanbeau

6、tomatedeasily．Alsointroducesthecoveragemetric．Atlast。talkaboutthefuturework．KeywOrdS：UMLsmt~harr；sofewaretesting；testO引言高软件质量，如形式化方法、软件测试技术等。其中软随着信息技术的飞速发展，计算机已广泛应用于件测试是保证软件质量的关键步骤。软件测试就是根国民经济和国防建设中的许多重要领域，如：航空、交据软件开发各阶段的规格说明和程序的内部结构，从通、银行和工业控制等等。这类应用

7、对软件提出很高而生成相应的测试用例，通过测试用例运行程序，以发的质量要求，因为即使很小的软件错误也可能导致整现程序错误的过程。通过软件测试，可以降低软件的个系统的崩溃，造成极大的经济损失。软件质量己成缺陷密度、提高软件的可靠性、评估软件的性能指标以为制约计算机应用的主要因素之一。鉴于软件质量问及增加用户对软件的信心uJ。题的重要性和迫切性，人们提出多种方法和技术来提统一建模语言UML(UnifiedModelingLanguage)是一种通用、易于表达、描述能力强大的可视化建模语言。它在统一B()

8、OCH、OMT、等方法的基本概收稿日期：2008一O9一O8念和表示符号的基础上，溶人了软件工程领域的新思基金项目：安徽省科技攻关计划重大项目(O8叭0201oo2)；安徽省高想、新方法和新技术，具有很宽的应用领域。UML提校拔尖人才基金项目(05025102)作者简介：高莉(1979一)，女，安徽巢湖人，硕士研究生，研究方向供了多种图元，如用例图、顺序图、活动图、状态图等为智能软件和IM，建模；李龙澍，教授，博士生导师，研究方向为智等。这些图元从不同的角度建模系统的静态结构和动能