用于软件可靠性分析的分解方法.pdfVIP

第28卷 第24期 计算机工程与设计 2007年12月 VO1．28 No．24 Computer Engineering and Design Dec．2007 用于软件可靠性分析的分解方法 朱连章， 李妍琛 (中国石油大学 (华东)，山东东营257061) 摘 要：随机Petri网(SPN)是一种有力的系统建模和分析工具。但SPN在应用中经常碰到状态空间爆炸问题。分解压缩技术 是解决随机网状态空间指数性增长的有效方法之一。介绍了一种获得SPN可靠性模型瞬时状态的分解方法。该方法在保证 评价和预测可靠性精确度的基础上，不仅能有效地降低可靠性描述与分析的复杂度，还扩大了分解压缩技术的适用范围。 关键词：随机Petri网；可靠性；分解方法；马尔可夫链；瞬时分析 中图法分类号：TP302．7 文献标识码：A 文章编号：1000．7024(2007)24．5835．03 Decomposition method for software reliability analysis ZHU Lian—zhang． LI Yan—chen (China University of Petroleum(East China)，Dongying 25706 1，China) Abstract：The stochastic Petri net(SPN)is one kind of forceful implements which build and analyze the system models．But，the major drawback of SPN models is the state space explosion with increasing model complexity．The decomposition technique is one of the effective methods that resolve the exponent increase of state space．One kind of the decomposition method to obtain an approximate transient state solution oflarge SPN performance models ofcomplex systems is introduced．It is shown that the suggested method ensure the precision of appraising and forecasting reliability,reduce the complicated degree of describing and analyzing the software reliability effectively,and expand the applicability of decomposition techniques． Key words：SPN；reliability；decomposition method；MC；transient analysis 0 引 言 分解压缩技术的适用范围。 1 应用分解方法须考虑的问题 随机Petri网(stochasticpetrinet，SPN)已成为研究离散事件 动态系统的一种有力的系统建模和分析工具，特别是在性能 用于解决SPN状态空间爆炸问题的分解方法在实际应用 评价领域取得了显著的成功 。它以研究系统模型的组织结 中要考虑一些问题。在性能分析中，应注意性能参数准确性 构和系统的动态变化过程为目标，不仅有助于定性地理解被 与计算复杂性的折中。性能参数解