首页> 中文会议>第四届中国测试学术会议 >基于UML状态图的MM路径形式化表示及生成

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《第四届中国测试学术会议》|2006年|460-466|共7页
会议地点北戴河
作者
林羚; 中国科学院; 卢江; 赵瑞莲;
展开▼
作者单位

中国计算机学会;

东北大学;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP311.52;
关键词
UML状态图; MM路径; 方法序列; 消息序列; 面向对象系统; 软件集成测试;

相似文献

中文文献
外文文献
专利

1. 基于UML状态图的列控中心软件测试路径生成方法 [J] . 王秀玄 . 铁路计算机应用 . 2016,第008期
2. 基于时序描述逻辑的UML状态图形式化验证 [J] . 陈振庆 . 制造业自动化 . 2012,第002期
3. 基于动态描述逻辑的UML状态图形式化方法 [J] . 陈振庆 ,罗兰花 . 计算机工程 . 2011,第013期
4. 基于形式化规格说明的UML状态图提取 [J] . 曾一 ,周欣 ,周吉 . 计算机应用研究 . 2011,第005期
5. 基于DL-Safe规则的UML状态图形式化和一致性验证 [J] . 何红悦 ,宋自林 ,周波 . 郑州大学学报（理学版） . 2009,第001期
6. 基于调用图的类间MM路径自动生成及生成效率研究 [C] . 何伟 ,赵瑞莲 . 第六届中国测试学术会议 . 2010
7. 基于Petri网的UML状态图的形式化验证 [A] . 王冕 . 2013

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

摘要

著录项

相似文献

相关主题

期刊订阅