节点文献
基于UML状态图的MM路径形式化表示及生成
MM Path Formalization and Generation Based on UML Statechart Diagram
【Author】 Lin Ling, Lu Jiang, Zhao Ruilian (Department of Computer Science and Technology, Beijing University of Chemical Technology, Beijing, 100029) (Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, 100080) (School of Information Engineering, Chang’an University, Xi’an Shanxi, 710064)
【机构】 北京化工大学计算机科学与技术系; 长安大学信息工程学院;
【摘要】 MM路径是方法/消息路径的缩写,它体现了面向对象系统中方法之间的动态交互情况。本文首先结合面向对象系统的特点,讨论了MM路径在产生原因、作用域范围和组成结构三方面的分类情况,然后从UML状态图出发,考虑状态在消息的响应方法序列中的影响,给出了MM路径的形式化表示方法和MM路径生成的方法,解决了MM路径标识和生成的困难,为进一步研究基于MM路径的测试用例生成方法打下坚实基础。
【Abstract】 MM Path is short for Method/Message Path. It presents the dynamic interactions between methods in object-oriented systems. Firstly, this paper takes the characteristics of object-oriented system into consideration, and presents the classifications of MM Path respectively, according to the reasons of producing MM Path, the effect scope of MM Path and the composition of MM Path. Secondly, a formalized representation of MM Path is brought forward, which has considered the influence of state on responding method sequences of messages. Finally, a MM Path generation way based on UML statechart diagram has been put forward. In all, this paper has solved the difficulties in identifying and generating MM Path, which will be a solid foundation for further research on test cases generation techniques based on MM Path.
【Key words】 UML statechart diagram; MM Path; Method Sequence; Message Sequence; Object-Oriented Software Integration Testing;
- 【会议录名称】 第四届中国测试学术会议论文集
- 【会议名称】第四届中国测试学术会议
- 【会议时间】2006-08
- 【会议地点】中国河北秦皇岛北戴河
- 【分类号】TP311.52
- 【主办单位】中国计算机学会容错计算专业委员会