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

王戟陈火旺颜炯

中国人民解放军国防科技大学;

摘要：

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

关键词：统一建模语言、统计测试、Markov链使用模型、软件可靠性

所属期刊栏目：16

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金90104007,60233020;国家高技术研究发展计划863计划;教育部霍英东教育基金71064;新世纪优秀人才支持计划

在线出版日期：2005-09-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：1386-1394