The server is under maintenance between 08:00 to 12:00 (GMT+08:00), and please visit later.
We apologize for any inconvenience caused
Login  | Sign Up  |  Oriprobe Inc. Feed
China/Asia On Demand
Journal Articles
Laws/Policies/Regulations
Companies/Products
Bookmark and Share
ji yu gspn de ruan jian ke kao xing jian mo ji fen xi
Author(s): 
Pages: 1389-1391+1394
Year: Issue:  5
Journal: Computer Measurement & Control

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