支持异常处理的软件系统可用性分析

Availability Analysis of Software System Supporting Exception Handle

摘要: 提出一种基于随机 Petri 网（Stochastic Petri Net，SPN）的支持异常处理的软件系统可用性建模与分析方法。在建立支持异常处理的元结构 SPN 模型和支持异常处理的典型结构 SPN 模型的基础上，给出了支持异常处理的软件系统可用度求解方法。最后，以某汽车厂零部件采购系统为例，在建立其 SPN 模型的基础上，分析了系统的可用度参数。可以为软件系统异常处理的分析与设计提供理论参考。

Abstract: This paper presents a new availability analysis method of software system supporting exception handle (SSSEH) based on stochastic petri net (SPN).Based on constructing the primary structure SPN model supporting exception handle and the typical structure SPN model supporting exception handle,it gives the availability solving method of SSSEH. Finally, the SPN model of one component purchasing system of automobile factory is constructed,and its availability analysis is given.The work of this paper can provide theoretical basis for analysis, design and evaluation of SSSEH.