UML顺序图中消息的形式化描述与相关特性分析 |
| |
引用本文: | 黄陇,杨宇航,李虎.UML顺序图中消息的形式化描述与相关特性分析[J].计算机工程与设计,2010,31(15). |
| |
作者姓名: | 黄陇 杨宇航 李虎 |
| |
作者单位: | 1. 总参陆航研究所,北京,101121 2. 北京航空航天大学,计算机学院,北京,100083 |
| |
基金项目: | 国家863高技术研究发展计划重点基金 |
| |
摘 要: | 为了实现基于UML顺序图的自动化测试,研究了顺序图中消息的形式化描述方法.形式化地定义了消息的发送和接收,并对二者的一致性关系进行了分析.提出了活动点的概念,讨论了其所具有的性质.建立了活动点集合上的二元关系描述方法,形式化地讨论了单个对象活动点集合与顺序图中全部活动点集合中该二元关系的具体表现.定义了消息集合上的二元关系,分析了其所具有的性质.最后,对顺序图中的时间约束特性和消息约束特性进行了形式化的分析.
|
关 键 词: | 统一建模语言 顺序图 消息 形式化分析 活动点 |
本文献已被 万方数据 等数据库收录! |
|