Some conservative stopping rules for the operational testing of safety-critical software

IEEE Transactions on Software Engineering

Volumn 23, Issue 11, 1997, Pages 673-683

  Littlewood, Bev ^a   Wright, David ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

Operational testing; Safety critical software; Software reliability; Statistical testing; Testing stopping rule

Indexed keywords

FAILURE ANALYSIS; OPERATIONS RESEARCH; RELIABILITY; STATISTICAL TESTS;

OPERATIONAL TESTING; SAFETY CRITICAL SOFTWARE; STOPPING RULES;

SOFTWARE ENGINEERING;

EID: 0031276197     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.637384     Document Type: Article

References (6)

1. M. Abramowitz and I.A. Stegun, Handbook of Mathematical Functions. New York: Dover, 1970.
2. E.N. Adams, "Optimizing Preventive Maintenance of Software Products," IBM J. Research and Development, vol. 28, no. 1, pp. 2-14, 1984.
3. N.L. Johnson and S. Kotz, Distributions in Statistics: Discrete Distributions. New York: John Wiley & Sons, 1969.
4. B. Littlewood and L. Strigini, "Assessment of Ultra-High Dependability for Software-Based Systems," Comm. ACM, vol. 36, no. 11, pp. 69-80, 1993.
5. W.M. Miller, L.J. Morell, R.E. Noonan, S.K. Park, D.M. Nicol, B. W. Murrill, and J.M. Voas, "Estimating the Probability of Failure when Testing Reveals No Failures," IEEE Trans. Software Engineering, vol. 18, no. 1, 1992.
6. D.L. Parnas, G.J.K. Asmis, and J. Madey, "Assessment of Safety-Critical Software in Nuclear Power Plants," Nuclear Safety, vol. 32, no. 2, pp. 189-198, 1991.