基于UML的软件Markov链使用模型构造研究

• 作者: 王戟 陈火旺 颜炯
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 统一建模语言 统计测试 Markov链使用模型 软件可靠性
• 年，卷（期）: 2005,（8）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 1386-1394
• 页数: 9页
• 分类号: TP311
• 字数: 6540字
• 语种: 中文

摘要

软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unified modeling language,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软件UML模型构造软件使用模型就成为面向对象软件统计测试的关键.为此,定义了加入统计测试约束的UML用例图、序列图以及用例执行顺序关系,为基于UML的软件统计测试提供了一个形式化描述基础.在此基础上,给出一个从软件UML模型构造软件Markov链使用模型的算法,并给出了自动化支持工具UMGen的类图结构,基于一个卫星控制系统,说明了所提出方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈火旺	国防科学技术大学计算机学院	53	2116	23.0	45.0
2	王戟	国防科学技术大学计算机学院	44	1257	17.0	35.0
3	颜炯	国防科学技术大学计算机学院	2	91	2.0	2.0