探索基于uml的软件测试自动化研究

探索基于uml的软件测试自动化研究

ID:35188575

大小:2.34 MB

页数:89页

时间:2019-03-21

探索基于uml的软件测试自动化研究_第1页
探索基于uml的软件测试自动化研究_第2页
探索基于uml的软件测试自动化研究_第3页
探索基于uml的软件测试自动化研究_第4页
探索基于uml的软件测试自动化研究_第5页
资源描述:

《探索基于uml的软件测试自动化研究》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库

1、华北水利水电学院硕士学位论文基于UML的软件测试自动化研究姓名:布辉申请学位级别:硕士专业:计算机应用技术指导教师:庄晋林20070501华北水利水电学院硕士学位论文基于UML的软件测试自动化研究摘要本文对基于UML状态图的测试用例自动生成方法进行了比较完整、系统的研究,它是一种针对面向对象软件的类或类簇级测试。下面从几个方面来介绍本文的主要研究内容:分析了在软件设计过程中进行软件测试的重要性和实现测试过程自动化的必要性,论述了研究基于UML的软件测试自动化的意义和价值。分析了面向对象软件测试技术的特点,讨论了面向对象软件测

2、试的几种方法,其中包括基于方法序列规范的测试、基于状态的测试、基于类流图的测试和基于UML的测试;介绍了常见的面向对象软件测试的层次划分方法,通常把面向对象软件测试划分为四个层次:方法测试、类测试、类簇测试、系统测试;分析研究了IJⅦ,(unifiedmodelinglanguage)状态图的操作语义:根据UML的语义文档,给出描述对象状态机的UML状态图的形式化操作语义,为UML状态图的测试用例生成奠定基础。研究了将UML状态图转换为EFSM(ExtendedFiniteStateMachine)的方法:由于UML状态图中

3、的状态层次和并发结构,使得传统的流分析测试技术不能直接得到应用,这里可以先消除其中的层次和并发,将其转换为EFSM,并根据这种EFSM来分析状态图中的控制流和数据流,然后通过对EFSM进行遍历得到相应的测试序列。对基于有限状态机的测试方法进行了对比分析,重点讨论了UIO方法的华北水利水电学院硕士学位论文测试覆盖准则和状态不可达问题,并对其提出了改进方法,使产生的测试用例由原来能达到的状态覆盖扩展为状态一转换覆盖,并对状态不可达问题提出了解决方法。实现了一个实验性自动测试工具对该方法进行检验,该工具首先分析RationalRo

4、se的MDL文件,从中提取出具体系统的状态图信息,根据此信息建立图的邻接表:通过对图进行深度襁广度优先遍历,生成相应的测试序列,该测试序列能够达到状态一转换覆盖。在代码实现阶段采用VisualC++6.0作为系统的开发环境。测试工具所分析的状态图借助Case工具RationalRose2003进行可视化建模。关键词:软件测试,UML状态图,扩展有限状态机,测试用例生成,自动化测试华北水利水电学院磺士学位论文SOFTⅥ後艘TESTAUTOⅣ队TIONRESEARCHBASEDONI瓜Ⅱ,AbstractThisthesisre

5、searchedautomaticgenerationofsoftwaretestcasebasedonUMLstatechart,it’sbelongtoclasslevelorclusterleveltest.Themainworkareasfollowes:Analyzedhascarried0nthetestinthesoftwaredesignprocesstheimportanceandtherealizationtestprocessautomationnecessity。Elaboratedtheresear

6、chbasedontheUMLsoR'waretestautomationsignificanceandthevalue。.Analyzedthecharacteristicofobject-orientedsoftwaretests。Discussedseveralmethodswhichtheobject-orientedsoftwaretests。Objectorientedsoftwaretestincludingbasedonmethodsequencestandardtest、basedonstate'test、

7、basedOilclassflowgraphtestandbasedonUMLtest。Introducedthecolnmonobject-orientedsol,raretestsleveldivisionmethod,Itcanbedividedimofourlevels:functionlevel,classlevel,clusterlevelandsystemlevel。ThethesisanalyzedthedescriptionofUMLstatechartformalizedoperationsemantic

8、s-AccordingtotheUⅣ匝semanticdocuments,givetheUMLstatechartformalizedoperationsemanticswhichisthedescriptionobjectstatemachine.ThisworkWaStheUMLsta

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。