收藏本站
收藏 | 论文排版

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

张庆  
【摘要】:面向对象技术的广泛应用, 使得有关面向对象测试的研究也越来越受到重视。面向对象软件系统的测试可划分为四级:方法级、类级、簇级和系统级测试。方法级和系统级的测试方法与传统过程式程序的测试方法类似,而类级和簇级的测试则面临新的问题。类是数据和数据操作的集合。对一个类来说对代码的完全覆盖并不能达到满足测试的要求。 UMI 是一种功能强大和复杂的建模语言,它提出了一些建模机制和一系列的可视化图形以帮助我们开发和管理系统。UML 对系统的描述简练而精确。因此,UML 在软件领域的应用日益应用。 因此,对一个类进行基于UML 的规约测试具有现实的意义。基于UML 的规约测试能够在系统分析时产生测试案例。这样使测试工作提前进入开发流程, 并能保证测试案例与规约的一致性。 本文首先分析和研究了UML 状态图的语法语义以及形式化描述、有限状态机和扩展有限状态机的形式化描述、测试案例的覆盖标准以及生成方法。然后重点研究基于UML 状态图的面向对象类级测试的方法。提出了将UML 状态图转换为扩展有限状态机(EFSM),并根据这种EFSM 来分析状态图中的控制流和数据流的方案,在进行数据流测试时还提出了一种改进的扩展有限状态机的数据流测试方法。最后实现一个自动测试工具对该方法进行检验。在此过程中,要重点解决的问题是归纳出一些简便可行的转换规则以保证状态图信息的保留。在测试用例生成过程中则会用到相应的关于控制流和数据流的一些分析技术和覆盖准则。 在代码实现阶段采用Visual C++6.0 作为系统的开发环境。在开发过程中借助Case 工具Rational ROSe 对系统进可视化建模。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 占学德;缪淮扣;;基于UML状态图测试的充分性准则[J];计算机科学;2005年05期
2 张雪萍;李连辉;;基于UML状态图的类状态测试[J];微电子学与计算机;2006年11期
3 章涛;顾庆;陈道蓄;;基于UML状态图的测试技术研究[J];计算机科学;2007年10期
4 王曦;程川;;UML状态图切片系统的设计与实现[J];计算机与数字工程;2012年07期
5 ;第二讲 功能状态图[J];电测与仪表;1980年08期
6 吴小滔,杨美华;利用事件-状态图进行面向对象的系统设计[J];数据采集与处理;2002年02期
7 徐兴华;刘嘉;;基于UML状态图的测试技术研究[J];计算机时代;2006年04期
8 徐博;樊晓光;田涛;;扩展UML状态图在软件测试中的应用[J];计算机工程;2007年24期
9 刘卫国;康维;;基于多场景的状态图自动生成方法[J];计算机系统应用;2009年12期
10 周清雷;张文宁;赵东明;李喜艳;;基于UML状态图的类测试技术[J];计算机工程;2010年02期
11 陆义芬,李韶华,肖国镇;进位反馈移位寄存器状态图分布的进一步研究[J];苏州科技学院学报;2003年04期
12 王凯,朱学勤,陈泳章;基于类状态图的类阀模型及在类测试中的应用[J];计算机工程与设计;2003年12期
13 杨献军,曾一,乔木;状态图中基于事件约束的测试路径覆盖策略[J];计算机工程;2004年24期
14 段盛;李仁发;;嵌入式建模中带有时间扩展的UML状态图的形式化方法[J];计算技术与自动化;2007年01期
15 刘晓建;李战怀;;基于扩展层次自动机的UML状态图完备性和一致性检验[J];微电子学与计算机;2008年01期
16 邓建波;张立臣;徐碧红;;UML状态图在并行环境的应用研究[J];计算机工程与设计;2011年03期
17 李鹏;彭祥伟;周喜;董军;代四广;;基于状态图的测试路径自动生成[J];计算机工程;2011年02期
18 支林仙;;基于UML状态图的面向方面软件建模[J];电脑知识与技术;2011年09期
19 张涛;黄少滨;黄宏涛;吕天阳;刘刚;;一种UML状态图模型检测方法[J];哈尔滨工程大学学报;2011年08期
20 陈振庆;;基于时序描述逻辑的UML状态图形式化验证[J];制造业自动化;2012年02期
中国重要会议论文全文数据库 前3条
1 林向阳;阮榕生;陈卫江;张锦胜;刘玉环;饶平凡;;不同配方面包制品的核磁共振状态图的研究[A];中国食品科学技术学会第五届年会暨第四届东西方食品业高层论坛论文摘要集[C];2007年
2 林羚;卢江;赵瑞莲;;基于UML状态图的MM路径形式化表示及生成[A];第四届中国测试学术会议论文集[C];2006年
3 陆公正;张广泉;;UML状态图中的数据流语义[A];2006年全国理论计算机科学学术年会论文集[C];2006年
中国博士学位论文全文数据库 前2条
1 褚华;面向对象软件动态模型抽象与转换技术研究[D];西安电子科技大学;2007年
2 赵也非;动态UML子图的形式语义研究[D];华东师范大学;2010年
中国硕士学位论文全文数据库 前10条
1 袁翠;基于UML状态图的测试生成研究[D];华中师范大学;2009年
2 段方;基于扩充的UML状态图的类测试方法研究[D];大连理工大学;2005年
3 刘舒婷;顺序图与状态图的一致性研究[D];吉林大学;2006年
4 黄吉亚;状态图到C++上的映射方法研究[D];昆明理工大学;2009年
5 张涛;层次化建模中状态图建模技术的研究与实现[D];西安电子科技大学;2011年
6 崔光霁;UML状态图的形式化研究[D];太原理工大学;2011年
7 朱蕾蕾;基于UML状态图的软件性能测试研究[D];长春理工大学;2012年
8 郭冬阳;基于模板技术的UML状态图代码框架生成[D];西安电子科技大学;2013年
9 赵鹏;基于UML状态图的面向对象类级测试方法的研究与实现[D];暨南大学;2003年
10 陆公正;基于UML状态图的工作流建模与验证[D];苏州大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978