收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于状态图与Z的测试用例生成研究

乔木  
【摘要】:软件测试是当今计算机科学与工程中起着至关重要作用的领域之一。近年来,面向对象技术的广泛应用和CASE工具的发展,已经大大减轻了软件设计和编码的困难,而使得软件测试变得越来越重要。随着软件测试理论和技术的不断发展,它已成为软件工程领域内保证软件质量的必不可少的关键过程。 本文主要针对基于状态图和Z的测试用例生成方法进行了研究。文中首先详细介绍了四种基于有限状态机的测试用例生成方法,对于扩展有限状态机的测试,本文提出了一种将扩展有限状态机转换为等价的测试场景的方法,转换后的测试场景与原扩展有限状态机是测试等价的,并且消除了原扩展有限状态机中由于前置条件的存在而导致的不确定性。对于转换后的扩展有限状态机,可以应用基于有限状态机的四种测试方法。对于大型系统的测试中存在的组合状态空间爆炸问题和测试序列同步问题,本文提出的多测试驱动模型MTM在不生成积自动机的情况下生成测试序列,有效地缓解了组合状态空间爆炸问题。同时文中提出的同步算法和同步有向图的生成方法,解决了测试序列的同步问题。 基于完全形式化语言的测试也是近年来研究的重点,不少学者提出了基于Z等形式化语言的测试方法。本文探讨了基于Z的测试用例自动生成方法,讨论了Z与状态图结合测试的好处和可行性,并提出了从状态图到Z的模式的自动转化的方法,为状态图与Z结合测试的自动实现打下了基础。 最后,在本文研究的方法的基础上,给出了一个基于文中方法的测试工具的模型,并提出了一些测试工作改进方法的设想。同时给出了基于Z的形式的测试准则的描述,这更有助于支持形式化的测试方法和对该方法的度量与评估。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 刘忠,邓苏,沙基昌,张维明;基于状态图的对象行为建模[J];计算机工程与设计;2001年02期
2 陈莉,刘弘;协同设计中基于状态图的工作流表示模型[J];计算机应用研究;2004年06期
3 朱士信,吴波;产生k元de Bruijn序列的一个递归算法[J];合肥工业大学学报(自然科学版);2005年09期
4 王文虎;曾进辉;陶曾杰;;基于整体性认识的中规模集成计数器教学新思路[J];电气电子教学学报;2006年05期
5 刘亚军;康建初;吕卫锋;;采用动态描述逻辑实现UML状态图特性检测[J];计算机科学;2007年10期
6 张晓蒙;戎玫;张广泉;;基于rCOS的UML状态图语义研究[J];计算机工程;2009年02期
7 幸莉珊;石彦芳;石建国;;深入剖析交互图与状态图对类图的完善作用[J];内蒙古农业大学学报(自然科学版);2009年03期
8 崔冬华;崔光霁;;UML状态图的形式化描述[J];电脑开发与应用;2011年05期
9 赵云琪;马玉玲;;利用正则表示式描述和设计时序机[J];南京理工大学学报(自然科学版);1990年01期
10 韦海旋;潘明;张峰峰;;状态图在嵌入式软件中的可靠应用[J];单片机与嵌入式系统应用;2006年09期
11 徐小双;王锋;童保红;;CSCL系统的组织和运行研究[J];电化教育研究;2007年05期
12 廖晓文;廖京盛;;时间触发控制系统模型的构建与执行[J];组合机床与自动化加工技术;2008年07期
13 吴静莉;韩松峰;刁海南;;基于UML集成测试用例的算法研究[J];计算机工程与设计;2008年17期
14 郭亮;缪淮扣;王皙;陈圣波;;UML模型到FSM模型的转换[J];计算机科学;2009年07期
15 李龙澍;胡正梁;;基于Petri网的UML形式化建模应用分析[J];计算机技术与发展;2010年04期
16 王佳婧;侯秀萍;;基于层次自动机和模型检测的UML状态图检测方法[J];硅谷;2010年23期
17 A.M.Patel ,成天;磁记录中的零-调制编码[J];计算机工程与应用;1980年07期
18 杨应弼;;关于非线性移位寄存器的一点讨论[J];南京邮电大学学报(自然科学版);1990年03期
19 张少猷;UML和Rose[J];软件世界;1999年09期
20 钱猛,刘忠,邓苏,陈卫东;CDT On-Line系统的状态建模[J];计算机工程;2003年18期
中国重要会议论文全文数据库 前10条
1 刘常青;陈启元;胡慧萍;张平民;;氧化铜碱性浸出率研究[A];2010年全国冶金物理化学学术会议专辑(下册)[C];2010年
2 李秀华;桑楠;雷航;吴晓华;;EFSM模型的实时测试序列生成方法[A];第四届中国测试学术会议论文集[C];2006年
3 陆公正;张广泉;;UML状态图中的数据流语义[A];2006年全国理论计算机科学学术年会论文集[C];2006年
4 区汝就;;有限自动机在数字逻辑电路设计中的应用[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
5 张作泰;李文超;王习东;赛音巴特尔;张梅;;热力学参数状态图在新型陶瓷材料中的应用实例[A];2004年全国冶金物理化学学术会议专辑[C];2004年
6 王海鹰;张绍志;陈光明;;猕猴桃果肉冷冻过程中的玻璃化转变及其状态图分析[A];制冷空调新技术进展——第四届全国制冷空调新技术研讨会论文集[C];2006年
7 何涛;刘文杰;张学斌;;基于UML的面向对象的软件测试方法[A];广西计算机学会2005年学术年会论文集[C];2005年
8 李杨;李学庆;马朋;苏新新;赵鹏;;一种面向图案设计的用户界面管理系统:MAA-UIMS[A];第三届和谐人机环境联合学术会议(HHME2007)论文集[C];2007年
9 黄正宝;张广泉;;一种基于时序逻辑的UML 2.0形式化语义[A];2006年全国理论计算机科学学术年会论文集[C];2006年
10 马红皎;胡永辉;;电子地图导航中卫星状态图和鹰眼图的实现方法[A];2005年全国时间频率学术交流会文集[C];2005年
中国博士学位论文全文数据库 前10条
1 赵也非;动态UML子图的形式语义研究[D];华东师范大学;2010年
2 邓琦皓;分布式主动协同入侵检测系统研究与实践[D];中国人民解放军信息工程大学;2005年
3 张涛;复杂信息系统模型的形式化验证方法研究[D];哈尔滨工程大学;2012年
4 钱兰;协议一致性测试的错误诊断研究[D];中国科学技术大学;2006年
5 张锦胜;核磁共振及其成像技术在食品科学中的应用研究[D];南昌大学;2007年
6 缪力;依赖性分析及其在软件测试中的应用[D];湖南大学;2006年
7 王洪媛;UML行为模型之间模型转换的研究[D];吉林大学;2007年
8 江金龙;UML和Petri网建模方法及其在C~4ISR系统中的应用[D];南京理工大学;2007年
9 朱雪阳;软件体系结构形式描述研究[D];中国科学院研究生院(软件研究所);2005年
10 林向阳;核磁共振及成像技术在面包制品加工与储藏过程中的研究[D];南昌大学;2006年
中国硕士学位论文全文数据库 前10条
1 乔木;基于状态图与Z的测试用例生成研究[D];重庆大学;2004年
2 张可;利用scenario获取对象状态图的算法研究与隐含scenario的获取[D];吉林大学;2005年
3 王旭峰;进位反馈移位寄存器序列的密码学性质[D];国防科学技术大学;2003年
4 黄雁群;适用于深空通信的一种纠错编码[D];中国科学院空间科学与应用研究中心;2000年
5 邓剑波;公路车道收费软件的设计和开发[D];电子科技大学;2005年
6 梁若莹;逆向工程中恢复UML行为模型的研究[D];西安电子科技大学;2008年
7 申小军;面向对象软件自动化单元测试技术研究[D];西安电子科技大学;2004年
8 高明柯;N元进位反馈移位寄存器密码学性质[D];湖南科技大学;2009年
9 朱才玺;车载导航的通讯录系统设计与实现[D];上海交通大学;2011年
10 程萃;面向对象测试方法在空管系统中的应用研究[D];四川大学;2004年
中国重要报纸全文数据库 前10条
1 北京大学计算机科学技术系 邵维忠 麻志毅 蒋严冰;定义UML核心[N];计算机世界;2001年
2 南京 李志刚;熊猫21MO8G彩电TV状态无图无声检修[N];电子报;2008年
3 廖建国;日本高炉炼铁工艺基础研究概况[N];世界金属导报;2008年
4 赵阳;朗讯:着力自动交换光网标准化[N];中国电子报;2002年
5 本刊记者 谢群 刘艳飞;“高山平湖”是我追求的境界[N];中国水利报;2007年
6 龚道敏;你的脸儿圆又圆[N];中国电脑教育报;2004年
7 卢旭成;并购风潮下BI们的幸福生活[N];中国计算机报;2007年
8 吴冬;网易泡泡皮肤DIY[N];中国电脑教育报;2002年
9 萧风;QQ 2004Ⅱ再现精彩[N];电脑报;2004年
10 北京大学计算机科学技术系 蒋严冰 邵维忠;UML 2001:标准化的《奥德赛》史诗[N];计算机世界;2001年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978