计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2010年
15期
3427-3431
,共5页
统一建模语言%顺序图%消息%形式化分析%活动点
統一建模語言%順序圖%消息%形式化分析%活動點
통일건모어언%순서도%소식%형식화분석%활동점
为了实现基于UML顺序图的自动化测试,研究了顺序图中消息的形式化描述方法.形式化地定义了消息的发送和接收,并对二者的一致性关系进行了分析.提出了活动点的概念,讨论了其所具有的性质.建立了活动点集合上的二元关系描述方法,形式化地讨论了单个对象活动点集合与顺序图中全部活动点集合中该二元关系的具体表现.定义了消息集合上的二元关系,分析了其所具有的性质.最后,对顺序图中的时间约束特性和消息约束特性进行了形式化的分析.
為瞭實現基于UML順序圖的自動化測試,研究瞭順序圖中消息的形式化描述方法.形式化地定義瞭消息的髮送和接收,併對二者的一緻性關繫進行瞭分析.提齣瞭活動點的概唸,討論瞭其所具有的性質.建立瞭活動點集閤上的二元關繫描述方法,形式化地討論瞭單箇對象活動點集閤與順序圖中全部活動點集閤中該二元關繫的具體錶現.定義瞭消息集閤上的二元關繫,分析瞭其所具有的性質.最後,對順序圖中的時間約束特性和消息約束特性進行瞭形式化的分析.
위료실현기우UML순서도적자동화측시,연구료순서도중소식적형식화묘술방법.형식화지정의료소식적발송화접수,병대이자적일치성관계진행료분석.제출료활동점적개념,토론료기소구유적성질.건립료활동점집합상적이원관계묘술방법,형식화지토론료단개대상활동점집합여순서도중전부활동점집합중해이원관계적구체표현.정의료소식집합상적이원관계,분석료기소구유적성질.최후,대순서도중적시간약속특성화소식약속특성진행료형식화적분석.
