UML Statechart图的操作语义

李留英; 王戟; 齐治昌

首页> 中文期刊> 《软件学报》 >UML Statechart图的操作语义

UML Statechart图的操作语义

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《软件学报》 |2001年第12期|1864-1873|共10页
作者
李留英; 王戟; 齐治昌;
展开▼
作者单位

国防科学技术大学;

计算机学院;

计算机学院;

国防科学技术大学;

计算机学院;

国防科学技术大学;

计算机学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
UML(unified modeling language); 操作语义; 测试;

相似文献

中文文献
外文文献
专利

1. 形式化表示UML顺序图的结构操作语义 [J] . 陈寿文 . 云南民族大学学报（自然科学版） . 2013,第004期
2. UML活动图的操作语义 [J] . 王聪 ,王智学 . 计算机研究与发展 . 2007,第010期
3. 关于UML顺序图的结构化操作语义描述的研究 [J] . 杨洋 ,金暐 . 福建电脑 . 2007,第011期
4. UML顺序图的结构化操作语义研究 [J] . 黄陇 ,于洪敏 ,陈致明 . 计算机应用 . 2005,第002期
5. 基于LTS的Statecharts操作语义研究 [J] . 钱俊彦 ,赵岭忠 . 计算机工程 . 2006,第022期
6. 面向属性的UML Statecharts测试生成 [C] . 李书浩 ,王戟 ,齐治昌 . 2003中国计算机大会 . 2003
7. 基于UML Statechart图的软件测试用例自动生成技术研究 [A] . 张保国 . 2004

UML Statechart图的操作语义

摘要

著录项

相似文献

相关主题

期刊订阅