计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2005年
2期
359-361
,共3页
UML%顺序图%结构化操作语义
UML%順序圖%結構化操作語義
UML%순서도%결구화조작어의
UML顺序图侧重于展示对象之间的消息交互过程,但其动态语义缺乏形式化的描述,不利于对顺序图模型的准确理解和基于该模型的测试用例生成.为此,依据UML1.5规范,采用BNF定义顺序图的形式化语法,提出了活动点的概念;在此基础上,讨论并给出了单个对象执行消息动作的结构化操作语义以及顺序图模型的整体结构化操作语义,为模型检验和基于顺序图的测试用例生成提供了前提.
UML順序圖側重于展示對象之間的消息交互過程,但其動態語義缺乏形式化的描述,不利于對順序圖模型的準確理解和基于該模型的測試用例生成.為此,依據UML1.5規範,採用BNF定義順序圖的形式化語法,提齣瞭活動點的概唸;在此基礎上,討論併給齣瞭單箇對象執行消息動作的結構化操作語義以及順序圖模型的整體結構化操作語義,為模型檢驗和基于順序圖的測試用例生成提供瞭前提.
UML순서도측중우전시대상지간적소식교호과정,단기동태어의결핍형식화적묘술,불리우대순서도모형적준학리해화기우해모형적측시용례생성.위차,의거UML1.5규범,채용BNF정의순서도적형식화어법,제출료활동점적개념;재차기출상,토론병급출료단개대상집행소식동작적결구화조작어의이급순서도모형적정체결구화조작어의,위모형검험화기우순서도적측시용례생성제공료전제.
