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

作者：宋敏; 鞠阳; 韦正现^*

来源：科技导报（北京）, 2019, 37(13): 98-103.

• 网构软件
• 动态演化
• 系统可靠性
• 错误传播

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

• 单位
  中国船舶工业系统工程研究院; 北京外国语大学