面向动态演化的复杂网构软件系统可靠性分析方法

 网构软件是Internet上各种软件实体以各种协同方式实现跨网络的互连、互通和协作的软件系统,动态演化是其基本特征,演化过程中会导致软件系统失效,面向动态演化的网构软件可靠性分析成为新的技术难题。首先分析构件接口交互之间的协议关系和网构软件动态演化错误传播可达性,提出通过错误传播可达图来界定构件动态演化错误的影响范围,并建立错误传播可达图生成过程模型;其次,为有效解决Markov状态空间“爆炸”的问题,利用错误传播可达图来生成Markov状态转移图,提出基于Markov的网构软件动态演化可靠性分析方法;最后通过案例分析来验证该方法的有效性。

A reliability analysis method of internetware oriented dynamic evolution

Internetware is the software system in which various components in open and independent forms implement cross-network interconnections, intercommunications and collaborations in various collaborative methods. Dynamic evolution is an important characteristic of internetware and would lead to system failure when it occurs. So reliability analysis of internetware oriented dynamic evolution is one of the hot research topics. Firstly, the protocol relations of interaction at the interfaces between components and dynamic evolution error propagation reachability of internetware are analyzed, and a generation model of error propagation reachability graph is established. Secondly, in order to solve the problem of state space "explosion", a Markov state transition graph is generated from the error propagation reachability graph, and a Markov-based reliability analysis method for internetware oriented dynamic evolution is proposed. Finally, a case study demonstrates the effectiveness of the proposed method.