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

Generation and simplification of software Markov chain usage model

作　　者：冯俊池 于磊[1,2] 刘洋[1,2] 

机构地区：[1]信息工程大学,河南郑州450001 [2]数学工程与先进计算国家重点实验室,河南郑州450001

出　　处：《计算机工程与设计》2015年第8期2114-2119,共6页Computer Engineering and Design

摘　　要：为解决软件可靠性测试中Markov链使用模型的状态空间爆炸问题,研究基于UML模型的使用模型生成与化简技术。基于UML模型中的顺序图获取软件与外部环境之间的消息交互,通过分析激励与响应消息来获取状态生成软件Markov链使用模型,准确描述软件的使用情况。针对状态空间爆炸问题,提出冗余状态和等价状态的定义,设计使用模型化简算法,针对化简算法给出相关理论证明。实验结果表明了该方法的有效性。To solve the state space explosion problem of Markov chain usage model in the software reliability testing, the tech- nology to generate and simplify usage model based on UML model was studied. Based on the sequence diagram of UML model, the messages between software and environment were derived. Based on the stimulus and response messages, the states of usage model were derived. The usage model described the usage of software accurately. After analyzing the state space explosion prob- lem, the concepts of equivalent states and redundant states were defined. An algorithm to simplify the state space was proposed. Related theoretical proof was given. Finally, the effectiveness of the proposed method was verified by experiments.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]