Software Reliability—Status and Perspectives

Author

Ramamoorthy, C.V. ; Bastani, Farokh B.

Author_Institution

Department of Electrical Engineering and Computer Science and the Electronics Research Laboratory, University of California

Issue

4

fYear

1982

fDate

7/1/1982 12:00:00 AM

Firstpage

354

Lastpage

371

Abstract

It is essential to assess the reliability of digital computer systems used for critical real-time control applications (e.g., nuclear power plant safety control systems). This involves the assessment of the design correctness of the combined hardware/software system as well as the reliability of the hardware. In this paper we survey methods of determining the design correctness of systems as applied to computer programs.

Keywords

Correctness probability; error seeding; error size; error-counting models; evaluation of test cases; nonerror-counting models; software fault; software reliability models; testing and debugging phase; testing process; validation phase; Application software; Computer errors; Control systems; Debugging; Error correction; Hardware; Power system modeling; Power system reliability; Software reliability; Software testing; Correctness probability; error seeding; error size; error-counting models; evaluation of test cases; nonerror-counting models; software fault; software reliability models; testing and debugging phase; testing process; validation phase;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/TSE.1982.235728

Filename

1702958