基于GSPN的软件可靠性建模及分析

摘要

提出一种基于广义随机Petri网(Generalized Stochastic Petri Net,GSPN)的软件可靠性分析方法；在探讨了GSPN形式化定义及其模型要素的使用方法基础上,建立了一种软件基本单元GSPN模型,该模型具有描述粒度精确和易于理解的优点,但是当描述复杂软件系统时存在状态空间爆炸的问题；基于此,进一步采用模型抽象与精化技术,设计了一种软件基本单元GSPN紧凑模型,该模型可以有效描述复杂软件系统的可靠性动态行为；最后,以某工程项目软件子系统为例,说明了该紧凑模型的应用过程,验证了所提方法的有效性.