UML Statechart图的操作语义

• 作者: 李留英 王戟 齐治昌
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: UML(unified modeling language) 操作语义 测试
• 年，卷（期）: 2001,（12）
• 页码范围: 1864-1873
• 页数: 10页
• 分类号: TP311
• 字数: 8177字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王戟	国防科学技术大学计算机学院	44	1257	17.0	35.0
2	齐治昌	国防科学技术大学计算机学院	38	881	15.0	29.0