文献类型：期刊文章

作　　者：李留英[1] 王戟[1,2] 齐治昌[1]

机构地区：[1]国防科学技术大学计算机学院 [2]2武汉大学软件工程国家重点实验室,湖北武汉430072

出　　处：《软件学报》

基　　金：国家自然科学基金资助项目 (6 99730 5 1) ;国家 86 3高科技发展计划资助项目 (86 3- 30 6 - ZT0 6 - 0 4- 1) ;武汉大学软件工程国家重点实验室基金资助项目 ;霍英东青年教师基金资助项目 (710 6 4)~~

年　　份：2001

卷　　号：12

期　　号：12

起止页码：1864-1873

语　　种：中文

收录情况：AJ、BDHX、BDHX2000、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

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

关 键 词：操作语义 UML语言 Statechart图  软件测试 软件开发

分 类 号：TP311.52] TP312UM[计算机类]