Using testability measures for dependability assessment

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Using testability measures for dependability assessment

Full text

Pdf (942 KB)

Source

International Conference on Software Engineering archive
Proceedings of the 17th international conference on Software engineering table of contents

Seattle, Washington, United States

Pages: 61 - 70

Year of Publication: 1995

ISBN:0-89791-708-1

Authors

Antonia Bertolino	Instituto di Elaborazione della Informazione del CNR, via S. Maria, 46, 56126 Pisa, Italy
Lorenzo Strigini	Centre for Software Reliability, City University, London, England and Instituto di Elaborazione della Informazione del CNR, via S. Maria, 46, 56126 Pisa, Italy

Sponsors

IEEE-CS\TCSE : TC on Software Engineering
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 19, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	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/225014.225020 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.

	BS94	A. Bertolino, L. Strigini, "On the use of testability measures in dependability assessment", SHIP Project Technical Report T034, August 1994.
	Dem87	Richard A. DeMillo , W. Michael McCracken , R. J. Martin , John F. Passafiume, Software testing and evaluation, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1987
	FW93	P. G. Frankl , E. J. Weyuker, A Formal Analysis of the Fault-Detecting Ability of Testing Methods, IEEE Transactions on Software Engineering, v.19 n.3, p.202-213, March 1993 [doi>10.1109/32.221133]
	Ham87	Richard G. Hamlet, Probable correctness theory, Information Processing Letters, v.25 n.1, p.17-25, 20 April 1987 [doi>10.1016/0020-0190(87)90088-3]
	Ham92	Dick Hamlet, Are We Testing for True Reliability?, IEEE Software, v.9 n.4, p.21-27, July 1992 [doi>10.1109/52.143097]
	HH93	W E, Howden and Y. Huang, "Analysis of Testing Methods Using Failure Rate and Testability Models", Tech. Report CSE, Univ. of California at San Diego, 1993.
	How93	W. E. Howden, "Scientific Foundations for Practical Software Testing and Analysis", Proc. of the Sixth Int. Software Quality Week, S. Francisco, CA, May 25-28, 1993, par 1-3.
	HT90	Dick Hamlet , Ross Taylor, Partition Testing Does Not Inspire Confidence (Program Testing), IEEE Transactions on Software Engineering, v.16 n.12, p.1402-1411, December 1990 [doi>10.1109/32.62448]
	HV93	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
	Lap92	J.C. C. Laprie , A. Avizienis , H. Kopetz, Dependability: Basic Concepts and Terminology, Springer-Verlag New York, Inc., Secaucus, NJ, 1992
	LS93	Bev Littlewood , Lorenzo Strigini, Validation of ultrahigh dependability for software-based systems, Communications of the ACM, v.36 n.11, p.69-80, Nov. 1993 [doi>10.1145/163359.163373]
	Mil92	Keith W. Miller , Larry J. Morell , Robert E. Noonan , Stephen K. Park , David M. Nicol , Branson W. Murrill , Jeffrey M. Voas, Estimating the Probability of Failure When Testing Reveals No Failures, IEEE Transactions on Software Engineering, v.18 n.1, p.33-43, January 1992 [doi>10.1109/32.120314]
	Mus93	John D. Musa, Operational Profiles in Software-Reliability Engineering, IEEE Software, v.10 n.2, p.14-32, March 1993 [doi>10.1109/52.199724]
	PSK90	David L. Parnas , A. John van Schouwen , Shu Po Kwan, Evaluation of safety-critical software, Communications of the ACM, v.33 n.6, p.636-648, June 1990 [doi>10.1145/78973.78974]
	VM92	J. Voas and K. Miller, "Improving the Software Development Process Using Testability Research", Proc. of the Third Int. Symposium on Soft. Reliability Engineering, Oct. 7-10, 1992, pp. 114-121.
	VMM91	Jeffrey Voas , Larry Morrel , Keith Miller, Predicting Where Faults Can Hide from Testing, IEEE Software, v.8 n.2, p.41-48, March 1991 [doi>10.1109/52.73748]
	Voa92	Jeffrey M. Voas, PIE: A Dynamic Failure-Based Technique, IEEE Transactions on Software Engineering, v.18 n.8, p.717-727, August 1992 [doi>10.1109/32.153381]
	WWH91	Elaine J. Weyuker , Stewart N. Weiss , Dick Hamlet, Comparison of program testing strategies, Proceedings of the symposium on Testing, analysis, and verification, p.1-10, October 08-10, 1991, Victoria, British Columbia, Canada [doi>10.1145/120807.120808]