This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Software Reliability-Status and Perspectives
July 1982 (vol. 8 no. 4)
pp. 354-371
C.V. Ramamoorthy, Department of Electrical Engineering and Computer Science and the Electronics Research Laboratory, University of California
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.
Index Terms:
validation phase, Correctness probability, error-counting models, error seeding, error size, evaluation of test cases, nonerror-counting models, software fault, software reliability models, testing and debugging phase, testing process
Citation:
C.V. Ramamoorthy, F.B. Bastani, "Software Reliability-Status and Perspectives," IEEE Transactions on Software Engineering, vol. 8, no. 4, pp. 354-371, July 1982, doi:10.1109/TSE.1982.235728
Usage of this product signifies your acceptance of the Terms of Use.