一种基于uml状态图的类级测试技术的研究与实现

《一种基于uml状态图的类级测试技术的研究与实现》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、电子科技大学硕士学位论文一种基于UML状态图的类级测试技术的研究与实现姓名：张庆申请学位级别：硕士专业：计算机应用指导教师：雷航20050117电子科技大学硕士论文；一种基于UML状态图的类级测试技术的研究与实现摘要面向对象技术的广泛应用，使得有关面向对象测试的研究也越来越受到重视。面向对象软件系统的测试可划分为四级：方法级、类级、簇级和系统级测试。方法级和系统级的测试方法与传统过程式程序的测试方法类似，而类级和簇级的测试则面临新的问题。类是数据和数据操作的集合。对一个类来说对代码的完全覆盖并不能达到满足测试的要求。UML是一种功能强大和复杂

2、的建模语言，它提出了一些建模机制和一系列的可视化图形以帮助我们开发和管理系统。UML对系统的描述简练而精确。因此，UML在软件领域的应用日益应用。因此，对一个类进行基于UML的规约测试具有现实的意义。基于UML的规约测试能够在系统分析时产生测试案例。这样使测试工作提前进入开发流程，并能保证测试案例与规约的一致性。本文首先分析和研究了UML状态图的语法语义以及形式化描述、有限状态机和扩展有限状态机的形式化描述、测试案例的覆盖标准以及生成方法。然后重点研究基于UML状态图的面向对象类级测试的方法。提出了将UML状态图转换为扩展有限状态机(EFSM

3、)，并根据这种EFSM来分析状态图中的控制流和数据流的方案，在进行数据流测试时还提出了一种改进的扩展有限状态机的数据流测试方法。最后实现一个自动测试工具对该方法进行检验。在此过程中，要重点解决的问题是归纳出一些简便可行的转换规则以保证状态图信息的保留。在测试用例生成过程中则会用到相应的关于控制流和数据流的一些分析技术和覆盖准则。在代码实现阶段采用Visualc十+6．0作为系统的开发环境。在开发过程中借助Case工具RationalRose对系统进可视化建模。关键词：面向对象测试，UML状态图，扩展有限状态机，控制流，数据流电子科技大学硕士论

4、文：一种基于UML状态图的类级测试技术的研究与实现AbstraotWiththepopularapplicationofobject_orientedtechnologypeoplefocusonobject_orientedtestingmoreandmore．Objectorientedtestingcailbedividedintofourlevels：functionlevel，classlevel，clusterlevelandsystemlevel．Thefunctionandsystemleveltestingmethodsar

5、esimilartothetraditionals’buttheclassandclusterleveltestingencountertheIlewproblems．Theclassisthesetofdatumandoperationofdatum．Implementcode_coveringtestingisinsufficientforeneedsofaclasstesting．UMLisapowerfulandcomplicatedlanguageformodeling．Itprovidedamethodmechanismandas

6、etofvisualdiagramstohelpdevelopingandmanagingsystems．UMLdescribesthesysteminconciseandaccurateway，SOitispopularused．Astheresultofabove，peopleareconsideringintroducingUMLintesting．SotestingaclassbasedUMLformulashavetherealisticmeaning．AtestingmethodbasedUMLformulaCanproductt

7、hetestingcasesatthetimeofmakingspecification．ThisCanprovidetestcasesatthebeginningofdevelopment，andletthetestcasesareconsistentwiththeformula．Theresearchcontentinmypaperincluding：Thesynta)(，semantemeandformaldescriptionofUMLstatechart；Theformaldescriptionoffinitestatemachin

8、e(FSM)andextendedfinitestatesatemachine(EFSM)；ThemethodoftransformingUMLstatechart