Title :
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
fDate :
7/1/1982 12:00:00 AM
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;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1982.235728
