UML Statechart图的操作语义

被引：22

作者：

李留英

王戟

齐治昌

机构：

[1] 国防科学技术大学计算机学院

[2] 国防科学技术大学计算机学院湖南长沙

[3] 武汉大学软件工程国家重点实验室

[4] 湖北武汉

来源：

软件学报 | 2001年 / 12期

关键词：

UML(unifiedmodelinglanguage); 操作语义; 测试;

D O I：

10.13328/j.cnki.jos.2001.12.018

中图分类号：

TP312 [程序语言、算法语言];

学科分类号：

081202 ; 0835 ;

摘要：

面向对象标准建模语言 UML(unified modeling language)缺乏精确的动态语义 .根据 UML1.1语义文档 ,提出描述对象状态机的 UML Statechart图的形式化操作语义 .该语义覆盖了 UML Statechart图的绝大部分特征 ,为 UML Statechart图的代码产生、模拟和测试用例生成奠定了基础 .根据上述语义 ,基于 Rose98完成了UML Statechart图的测试用例生成和测试过程的模拟 .

引用

页码：1864 / 1873

页数：10