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

Modeling and Analysis of Software by Using Generalized Stochastic Petri Net

作　　者：桑亚辉[1] 肖乐[2] 

机构地区：[1]黄河科技学院电子信息工程学院,郑州450006 [2]河南工业大学信息科学与工程学院,郑州450001

出　　处：《计算机测量与控制》2013年第5期1389-1391,1394,共4页Computer Measurement &Control

基　　金：河南省软科学研究计划项目(112400450368)

摘　　要：提出一种基于广义随机Petri网(Generalized Stochastic Petri Net,GSPN)的软件可靠性分析方法;在探讨了GSPN形式化定义及其模型要素的使用方法基础上,建立了一种软件基本单元GSPN模型,该模型具有描述粒度精确和易于理解的优点,但是当描述复杂软件系统时存在状态空间爆炸的问题;基于此,进一步采用模型抽象与精化技术,设计了一种软件基本单元GSPN紧凑模型,该模型可以有效描述复杂软件系统的可靠性动态行为;最后,以某工程项目软件子系统为例,说明了该紧凑模型的应用过程,验证了所提方法的有效性。A new method for analyzing reliability of software based on generalized stochastic petri net （GSPN） is proposed. On the basis of discussing the formalized definition and the using method of GSPN model element, GSPN model of software basic unit is built up, and it has many advantages include describing with precise particle size and easy to understand. But there exist the state space explosion problem when describing the complex software system. Aiming at that problem, the technology of model abstraction and refinement is used to design the GSPN compact model of software basic unit which can describe the reliability dynamic behavior of complex software system. Finally, the application process of compact model and the validation of proposed method are explained through a software subsystem of project.

关 键 词：软件 广义随机PETRI网 可靠性 基本单元 可用度 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]