| 用于软件可靠性分析的分解方法 |
| |
| 引用本文： | 朱连章,李妍琛.用于软件可靠性分析的分解方法[J].计算机工程与设计,2007,28(24):5835-5837,5840. |
| |
| 作者姓名： | 朱连章 李妍琛 |
| |
| 作者单位： | 中国石油大学(华东)，中国石油大学(华东) 山东 东营 257061，山东 东营 257061 |
| |
| 基金项目： | 中国石油大学(华东)研究生创新基金 |
| |
| 摘 要： | 随机Petri网(SPN)是一种有力的系统建模和分析工具.但SPN在应用中经常碰到状态空间爆炸问题.分解压缩技术是解决随机网状态空间指数性增长的有效方法之一.介绍了一种获得SPN可靠性模型瞬时状态的分解方法.该方法在保证评价和预测可靠性精确度的基础上,不仅能有效地降低可靠性描述与分析的复杂度,还扩大了分解压缩技术的适用范围.
|
| 关 键 词： | 随机Petri网 可靠性 分解方法 马尔可夫链 瞬时分析 软件可靠性分析 分解方法 reliability analysis software method 范围 复杂度 描述 精确度 预测 评价 瞬时状态 可靠性模型 增长 指数性 状态空间爆炸问题 随机网 解压缩技术 中经 应用 |
| 文章编号： | 1000-7024（2007）24-5835-03 |
| 收稿时间： | 2007-01-23 |
| 修稿时间： | 2007年1月23日 |
Decomposition method for software reliability analysis |
| |
| ZHU Lian-zhang,LI Yan-chen.Decomposition method for software reliability analysis[J].Computer Engineering and Design,2007,28(24):5835-5837,5840. |
| |
| Authors: | ZHU Lian-zhang LI Yan-chen |
| |
| 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 of large SPN performance models of complex 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. |
| |
| Keywords: | SPN reliability decomposition method MC transient analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
