基于UML状态图的MM路径形式化表示及生成
MM路径是方法/消息路径的缩写,它体现了面向对象系统中方法之间的动态交互情况.本文首先结合面向对象系统的特点,讨论了MM路径在产生原因、作用域范围和组成结构三方面的分类情况,然后从UML状态图出发,考虑状态在消息的响应方法序列中的影响,给出了MM路径的形式化表示方法和MM路径生成的方法,解决了MM路径标识和生成的困难,为进一步研究基于MM路径的测试用例生成方法打下坚实基础.
UML状态图 MM路径 方法序列 消息序列 面向对象系统 软件集成测试
林羚 卢江 赵瑞莲
北京化工大学,计算机科学与技术系,北京,100029;中国科学院,软件研究所,计算机科学重点实验室,北京,100080 长安大学,信息工程学院,陕西,西安,710064 北京化工大学,计算机科学与技术系,北京,100029
国内会议
北戴河
中文
460-466
2006-08-07(万方平台首次上网日期,不代表论文的发表时间)