Software Reliability Models For Critical Applications

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<