摘要
为了实现基于UML顺序图的自动化测试,研究了顺序图中消息的形式化描述方法。形式化地定义了消息的发送和接收,并对二者的一致性关系进行了分析。提出了活动点的概念,讨论了其所具有的性质。建立了活动点集合上的二元关系描述方法,形式化地讨论了单个对象活动点集合与顺序图中全部活动点集合中该二元关系的具体表现。定义了消息集合上的二元关系,分析了其所具有的性质。最后,对顺序图中的时间约束特性和消息约束特性进行了形式化的分析。
To implement automated testing based on UML sequence diagram,formal description method of message in sequence diagram is researched.Sending and receiving of message is formally defined,and the consistency between them is analysed.The concept of ActionPoint is proposed,properties of its are discussed.Description method of binary relation in ActionPoint set is setup,detailed representations of this binary relation in signle object ActionPoint set and the whole ActionPoint set are formally discussed.Binay relation in message set is defined,and the properties of its are analysed.Finally,time constraint characteristic and message constraint characteristic in sequence diagram are formally analysed.
出处
《计算机工程与设计》
CSCD
北大核心
2010年第15期3427-3431,共5页
Computer Engineering and Design
基金
国家863高技术研究发展计划重点基金项目(2004AA119030)