摘要
为解决软件可靠性测试中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.
出处
《计算机工程与设计》
北大核心
2015年第8期2114-2119,共6页
Computer Engineering and Design
