基于UML状态图的MM路径形式化表示及生成

【摘要】：MM路径是方法／消息路径的缩写,它体现了面向对象系统中方法之间的动态交互情况。本文首先结合面向对象系统的特点,讨论了MM路径在产生原因、作用域范围和组成结构三方面的分类情况,然后从UML状态图出发,考虑状态在消息的响应方法序列中的影响,给出了MM路径的形式化表示方法和MM路径生成的方法,解决了MM路径标识和生成的困难,为进一步研究基于MM路径的测试用例生成方法打下坚实基础。

下载App查看全文

下载全文更多同类文献个人查重>>智能排版>>

PDF全文下载

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前20条

1	蔡伟鸿;欧少闽;;基于UML状态图的协议文本转换技术[J];汕头大学学报(自然科学版);2005年04期
2	章涛;顾庆;陈道蓄;;基于UML状态图的测试技术研究[J];计算机科学;2007年10期
3	叶仁召,郑玉墙,李玉珍;基于UML规格说明测试用例生成工具[J];计算机工程;2001年03期
4	赖明志,尤晋元;从UML状态图到PVS规范的自动转换、验证[J];电子学报;2002年S1期
5	郭峰;姚淑珍;;基于Petri网的UML状态图的形式化模型[J];北京航空航天大学学报;2007年02期
6	高莉;李龙澍;;基于UML状态图的测试技术研究[J];计算机技术与发展;2009年05期
7	杨晶;顾春华;;基于UML状态图的测试用例自动生成方法[J];华东理工大学学报(自然科学版);2011年03期
8	张庆,雷航;一种基于UML状态图的面向对象类级测试模型[J];计算机工程;2005年21期
9	赵翀;高鹏;;基于线索的测试用例生成研究[J];计算机与数字工程;2008年10期
10	陈志德;曾凡平;;UML状态图和Petri网络在类测试用例生成的应用[J];小型微型计算机系统;2010年03期
11	陈振庆;刘长青;;UML状态图的逻辑语义及自动推理[J];贺州学院学报;2010年04期
12	徐艳;李力峰;;基于TFG的UML状态图测试方法[J];高职论丛;2010年04期
13	卢炎生;王曦;谢晓东;毛澄映;;基于依赖性分析的UML状态图切片技术[J];计算机工程;2006年15期
14	刘晓建;李战怀;;基于扩展层次自动机的UML状态图完备性和一致性检验[J];微电子学与计算机;2008年01期
15	兰景英;王永恒;;基于UML状态图的测试场景生成法[J];计算机时代;2008年05期
16	杨厚群;林雄;邢诒杏;;基于UML的数据采集测试用例生成研究[J];海南大学学报(自然科学版);2008年01期
17	张保卫,张毅坤,赵明,崔杜武;基于UML的面向对象软件测试系统[J];计算机工程;2005年06期
18	陆公正;张广泉;张冬华;张育;;基于UML状态图的工作流时序约束一致性研究[J];苏州大学学报(自然科学版);2005年04期
19	占学德;缪淮扣;;基于UML状态图测试的充分性准则[J];计算机科学;2005年05期
20	崔尚森;孙琳;;基于UML状态图和基本Petri网生成测试用例[J];交通与计算机;2006年04期

中国重要会议论文全文数据库

前1条

1	林羚;卢江;赵瑞莲;;基于UML状态图的MM路径形式化表示及生成[A];第四届中国测试学术会议论文集[C];2006年

中国硕士学位论文全文数据库

前10条

1	林羚;基于MM路径的面向对象集成测试方法研究[D];北京化工大学;2007年
2	段方;基于扩充的UML状态图的类测试方法研究[D];大连理工大学;2005年
3	陈必泉;基于UML状态图的嵌入式实时软件测试用例生成方法研究[D];暨南大学;2005年
4	季丽丽;基于UML状态图的测试用例自动生成研究[D];南京航空航天大学;2004年
5	黄志华;基于规格说明的测试用例生成方法及其在实时嵌入式软件测试中的应用[D];新疆大学;2005年
6	徐艳丽;基于Petri网的软件测试模型的构造及其建模工具的研究[D];西安理工大学;2006年
7	袁翠;基于UML状态图的测试生成研究[D];华中师范大学;2009年
8	赵鹏;基于UML状态图的面向对象类级测试方法的研究与实现[D];暨南大学;2003年
9	欧少闽;基于UML状态图OSPF路由协议一致性测试系统研究与实现[D];汕头大学;2006年
10	王曦;基于依赖性分析的UML状态图切片在回归测试中的应用[D];华中科技大学;2006年

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡在线购卡更多>>	免费送卡上门银行汇款购卡邮局汇款购卡	400-819-9993 010-62982499 010-62783978	常见问题在线咨询阅读器下载	充值中心知网卡新手指南