一种软件可靠性评估模型及其Petri网描述  

A SOFTWARE RELIABILITY ASSESSMENT MODEL AND ITS PETRI NET DESCRIPTION

作　　者：赵成贵[1] 普兆斌[2] 

机构地区：[1]云南财经大学信息学院,云南昆明650221 [2]云南财经大学团委,云南昆明650221

出　　处：《计算机应用与软件》2012年第1期141-144,共4页Computer Applications and Software

基　　金：云南省自然科学基金面上项目(2010ZC095)

摘　　要：通过提出k-可靠模型,对现有软件可靠性评估方法所依据的模型进行重构,并根据Petri网及软件可靠性的相关理论,对构成软件系统的各个组件进行可靠性评估,从而实现对软件系统的可靠性评估,并介绍一种自底向上的可靠性计算过程。该方法能对软件系统的进行分解和综合计算,达到对整个软件系统可靠性评估的目的。By proposing the k-reliability model,the paper reconstructs the model which current software reliability assessment method depends on,and according to Petri net as well as software reliability related theory,carries out reliability assessments on every component that builds up the software system,hence not only realizes software system reliability assessment but also introduces a bottom-up reliability computational process.The method can carry out resolved and comprehensive computations on a software system in order to achieve the target for an entire software system reliability assessment.

关 键 词：软件可靠性 体系结构 PETRI网 

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