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