10.16208/j.issn1000-7024.2015.08.021
软件Markov链使用模型生成与化简技术
为解决软件可靠性测试中 Markov链使用模型的状态空间爆炸问题,研究基于 UML 模型的使用模型生成与化简技术。基于 UML模型中的顺序图获取软件与外部环境之间的消息交互,通过分析激励与响应消息来获取状态生成软件Markov链使用模型,准确描述软件的使用情况。针对状态空间爆炸问题,提出冗余状态和等价状态的定义,设计使用模型化简算法,针对化简算法给出相关理论证明。实验结果表明了该方法的有效性。
统一建模语言、马尔科夫链、使用模型、软件可靠性测试、状态化简
TP311.5(计算技术、计算机技术)
2015-09-06(万方平台首次上网日期,不代表论文的发表时间)
共6页
2114-2119