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

摘要

通过提出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.