The infeasibility of experimental quantification of life-critical software reliability

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

The infeasibility of experimental quantification of life-critical software reliability

Full text

Pdf (1.09 MB)

Source

ACM SIGSOFT Software Engineering Notes archive
Volume 16 , Issue 5 (December 1991) table of contents

Pages: 66 - 76

Year of Publication: 1991

ISSN:0163-5948

Also published in ...

Authors

Ricky W. Butler	NASA Langley Research Center, Mail Stop 130, Hampton, VA
George B. Finelli	NASA Langley Research Center, Mail Stop 130, Hampton, VA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 27, Citation Count: 11

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/123041.123054 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	A A Abdel-Ghaly , P Y Chan , B Littlewood, Evaluation of competing software reliability predictions, IEEE Transactions on Software Engineering, v.12 n.9, p.950-967, Sept. 1986
	2	AVIZIENIS, A. The n-version approach to faulttolerant software. IEEE Transactions on Sojlware Engineering (Dec. 1985), 1491-1501.
	3	Ed Joyce, Software bugs: a matter of life and liability, Datamation, v.33 n.10, p.88-92, May 15, 1987
	4	KEILLER, P. A., AND MILLER, D. R. On the use and the performance of software reliability growth models. Reliability Engineeraing and System Safety (1991), 95-117.
	5	J. C. Knight , N. G. Leveson, An experimental evaluation of the assumption of independence in multiversion programming, IEEE Transactions on Software Engineering, v.12 n.1, p.96-109, Jan. 1986
	6	John C. Knight , Nancy G. Leveson, A reply to the criticisms of the Knight & Leveson experiment, ACM SIGSOFT Software Engineering Notes, v.15 n.1, p.24-35, Jan 1990 [doi>10.1145/382294.382710]
	7	Nancy G. Leveson, Software safety: why, what, and how, ACM Computing Surveys (CSUR), v.18 n.2, p.125-163, June 1986 [doi>10.1145/7474.7528]
	8	LITTLEWOOD, B. Stochastic reliability-growth: A model for fault-removal in computer programs and hardware designs. IEEE Transactions on Reliability (1981), 313-320.
	9	LITTLEWOOD, B. Predicting software reliability.Philosophical Transactions of the Royal Society (London) (1989), 513-526.
	10	LITTLEWOOD, B., AND KEILLER, P. A. Adaptive software reliability modeling. In 14th International Symposium on Fault-Tolerant Computing (1984), IEEE Computer Society Press, pp. 108-113.
	11	MANN, N. R., SCHAFER, R. E., AND SINGPUR- WIALLA, N. D. Methods for Statistical Analysis of Reliability and Life Data. John Wiley & Sons, New York, 1974.
	12	MILLER, D. Making statistical inferences about software reliability y. NASA Contractor Report 4197, Nov. 1988.
	13	NAGEL, P. M., AND SKRIVAN, J. A. Software reliability: Repetitive run experimentation and modeling. NASA Contractor Report 165836, Feb. 1982.
	14	PETERSON, I. A digital matter of life and death. Science News (Mar. 1988).
	15	R. K. Scott , J. W. Gault , D. F. McAllister, Fault-tolerant software reliability modeling, IEEE Transactions on Software Engineering, v.13 n.5, p.582-592, May 1987 [doi>10.1109/TSE.1987.233463]
	16	Timothy J. Shimeall , Nancy G. Leveson, An Empirical Comparison of Software Fault Tolerance and Fault Elimination, IEEE Transactions on Software Engineering, v.17 n.2, p.173-182, February 1991 [doi>10.1109/32.67598]

CITED BY 11

	Ross J. Anderson, Why cryptosystems fail, Communications of the ACM, v.37 n.11, p.32-40, Nov. 1994
	Thomas Wood , Keith Miller , Robert E. Noonan, Local exhaustive testing: a software reliability tool, Proceedings of the 30th annual Southeast regional conference, April 08-10, 1992, Raleigh, North Carolina
	Andy Podgurski , Charles Yang, Partition testing, stratified sampling, and cluster analysis, ACM SIGSOFT Software Engineering Notes, v.18 n.5, p.169-181, Dec. 1993
	Dick Hamlet, Predicting dependability by testing, ACM SIGSOFT Software Engineering Notes, v.21 n.3, p.84-91, May 1996
	Dick Hamlet, Foundations of software testing: dependability theory, ACM SIGSOFT Software Engineering Notes, v.19 n.5, p.128-139, Dec. 1994
	P.-J. Courtois , D. L. Parnas, Documentation for safety critical software, Proceedings of the 15th international conference on Software Engineering, p.315-323, May 17-21, 1993, Baltimore, Maryland, United States
	Jeffrey Voas, Developing a Usage-Based Software Certification Process, Computer, v.33 n.8, p.32-37, August 2000
	Jeffrey M. Voas , Keith W. Miller, Software Testability: The New Verification, IEEE Software, v.12 n.3, p.17-28, May 1995
	P. E. Ammann , S. S. Brilliant , J. C. Knight, The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing, IEEE Transactions on Software Engineering, v.20 n.2, p.142-148, February 1994
	Dick Hamlet , Jeff Voas, Faults on its sleeve: amplifying software reliability testing, ACM SIGSOFT Software Engineering Notes, v.18 n.3, p.89-98, July 1993
	Adalberto Nobiato Crespo , Mario Jino , Alberto Pasquini , José Carlos Maldonado, A binomial software reliability model based on coverage of structural testing criteria, Empirical Software Engineering, v.13 n.2, p.185-209, April 2008