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

• 作者: 桑亚辉 肖乐
• 来源期刊: 计算机测量与控制
• 关键词: 软件 广义随机Petri网 可靠性 基本单元 可用度
• 年，卷（期）: 2013,（5）
• 所属期刊栏目: 软件工程技术
• 页码范围: 1389-1391,1394
• 页数: 4页
• 分类号: TP311
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖乐	河南工业大学信息科学与工程学院	31	130	6.0	10.0
2	桑亚辉	黄河科技学院电子信息工程学院	8	23	3.0	4.0