E-Book Overview
1991 - 107 p This report presents the results of the first phase of the ongoing EG&G Idaho, Inc. , Software Reliability Research Program. The program is studying the existing software reliability mc:lels and proposes a state-of-the-art software reliability model that is relevant to the nuclear reactor control environment. This report consists of three parts: (1) summaries of the literature review of existing software reliability and fault tolerant software reliability models and their related issues, (2) proposed technique for saitware reliability enhancement, and (3) general discussion and future research. The development of this proposed state-of-the-art software reliability model will be performed in the second phase.
E-Book Content
EGG--2663 Distribution Category: UC-705
Software Reliability Models for Critical Applications Hoang Pham
Michelle Pham
EGG--
2 66 3
DE92
004797
Published December 1991
Idaho National Engineering Laboratory EG&G Idaho, Inc. Idaho Falls, Idaho 83415
Prepared for the U.S. Department of Energy
_'_ __'_'_"
Under DOE Field Office, Idaho Contract No. DE-AC07-761D01570
ER j_
_t
i _,i_ " _: __.i: _
ABSTRACT
This report presents the results of the first phase of the ongoing EG&G Idaho, Inc., Software Reliability Research Program.
The program is studying the existing software
reliability mc:lels and proposes a state-of-the-art
software reliability model that is relevant to
the nuclear reactor control environment.
This report consists of three parts: (1) summaries of the literature review of existing software reliability and fault tolerant software reliability models and their related issues, (2) proposed technique for saitware reliability enhancement,
and (3) general discussion and future
research.
The development
of this proposed state-of-the-art
performed in the second phase.
iii
software reliability model will be
CONTENTS
ABSTRACT
......................................................
ACKNOWLEDGMENTS
1. INTRODUCTION
2. LITERATURE
iii
.............................................
ix
................................................
REVIEW
2.1 Characteristics
1
...........................................
3
of Software Reliability Models
......................
3
2.1.1
General Description of Software and Software Reliability ..........
4
2.1.2
Software Life Cycle ....................................
4
2.1.3
The Bug-counting
5
2.1.4
Software Reliability versus Hardware Reliability
2.1.5
Time Index ..........................................
6
2.1.6
Error Analysis ........................................
8
2.2 Classification
...............................
of Software Reliability Models
2.2.1
Deterministic
2.2.2
Probabilistic
2.3 Characteristics
Concept
Models Models
................
.......................
6
12
...................................
12
...................................
12
of Specific Software Reliability Models
................
18
2.3.1
Halstead's
Software Science Model .........................
18
2.3.2
McCabe's
Software Complexity Model
19
2.3.3<