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
ASCII Text
x 
 
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.
 
 
BibTex
x
 
@article{ 10.1109/TSE.1982.235728,
author = {C.V. Ramamoorthy and F.B. Bastani},
title = {Software Reliability-Status and Perspectives},
journal ={IEEE Transactions on Software Engineering},
volume = {8},
number = {4},
issn = {0098-5589},
year = {1982},
pages = {354-371},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1982.235728},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Software Engineering
TI - Software Reliability-Status and Perspectives
IS - 4
SN - 0098-5589
SP354
EP371
EPD - 354-371
A1 - C.V. Ramamoorthy,
A1 - F.B. Bastani,
PY - 1982
KW - validation phase
KW - Correctness probability
KW - error-counting models
KW - error seeding
KW - error size
KW - evaluation of test cases
KW - nonerror-counting models
KW - software fault
KW - software reliability models
KW - testing and debugging phase
KW - testing process
VL - 8
JA - IEEE Transactions on Software Engineering
ER -
 
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.