软件Markov链使用模型生成与化简技术

摘要：

为解决软件可靠性测试中 Markov链使用模型的状态空间爆炸问题，研究基于 UML 模型的使用模型生成与化简技术。基于 UML模型中的顺序图获取软件与外部环境之间的消息交互，通过分析激励与响应消息来获取状态生成软件Markov链使用模型，准确描述软件的使用情况。针对状态空间爆炸问题，提出冗余状态和等价状态的定义，设计使用模型化简算法，针对化简算法给出相关理论证明。实验结果表明了该方法的有效性。

关键词：统一建模语言、马尔科夫链、使用模型、软件可靠性测试、状态化简

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

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

页数：共6页

页码：2114-2119