利用广义随机Petri网分析软件系统可靠性

摘要

提出一种基于广义随机Petri网(generalized stochastic petri net,GSPN)的软件系统可靠性建模与分析方法；在给出GSPN的形式化定义的基础上,建立了软件系统基本单元的GSPN可靠性分析模型和典型逻辑结构的GSPN可靠性分析模型,有效地模拟了软件系统的动态行为特性；最后以某工程项目软件系统为例,得到了系统可用度指标的变化曲线,验证了所提方法的有效性.