Building a requirement fault taxonomy: Experiences from a NASA verification and validation research project

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn 2003-January, Issue , 2003, Pages 49-59

  Hayes, J H ^a  

^a UNIVERSITY OF KENTUCKY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; NASA; QUALITY CONTROL; SPACE STATIONS; TAXONOMIES;

FAULT-BASED ANALYSIS; INTERNATIONAL SPACE STATIONS; ITS APPLICATIONS; REQUIREMENT FAULTS; SOFTWARE PROJECT; SOFTWARE QUALITY; SOFTWARE SYSTEMS; VERIFICATION-AND-VALIDATION;

SOFTWARE RELIABILITY;

EID: 28044440799     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2003.1251030     Document Type: Conference Paper

References (21)

1. Boehm, B. Software Engineering Economics. Prentice-Hall, Inc., 1981.
2. Chen, Tsong and Lau, Man, "Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation," Lecture Notes in Computer Science, Volume 2043, Springer-Verlag, pp. 253-265.
3. Davis, A. Software Requirements: Analysis and Specification. Prentice-Hall, Inc., New York, 1990.
4. Hayes, J. Huffman, SAIC, D.N. American. Final Report for Fault-Based Analysis: Improving Independent Verification and Validation (IV & V) through Requirements Risk Reduction. SAIC-NASA-98028. 20 December 2002.
5. Helmer, G., Wong, J., Slagell, M., Honaar, V., Miller, L., and Lutz, R. "A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System," Symposium on Requirements Engineering for Information Security (SREIS'01), March 5-6, 2001, Indianapolis, Indiana, Postscript. Extended version invited for Special Issue of The Requirements Engineering Journal, to appear.
6. Kuhn, D.R. Fault classes and error detection capability of specification-based testing. ACM Transactions on Software Engineering and Methodology (TOSEM) Volume 8 , Issue 4 (October 1999).
7. IEEE Standard Glossary of Software Engineering Terminology. IEEE Std 610.12-1990, 1990.
8. Leveson, N., and Stolzy, J., Safety Analysis Using Petri Nets, IEEE Transactions on Software Engineering, SE-13(3), 1987.
9. Lutz, R. "Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems", Proc. RE'93: First1EEE International Symposium on Requirements Engineering, January 1993, 126-133.
10. Miller, L.A., Groundwater, E.H., Hayes J.E, Mirsky, S.M., "Guidelines for the Verification and Validation of Expert System Software and Conventional Software," NUREG/CR-6316, SAIC-95/1028, Volume 1.
11. MIL-STD-1629A, Notice 2, Military Standard, Procedures for Performing a Failure Modes Effects and Criticality Analysis, Department of Defense, Washington, D.C., November 28, 1984 (though subsequently cancelled in August 1998, this standard is still quite useful).
12. Mojdehbakhsh, Ramin, "Software Lifecycle and Analysis Techniques for Safety-Critical Computer-Controlled Systems," Dissertation, George Mason University, 1994.
13. Morell, Larry, "Theoretical Insights into Fault-based Testing," Proceedings of the Second Workshop on Software Testing, Verification, and Analysis 1998, 19-21 Ju;y 1998, pp. 45-62.
14. Munson, J.C., Nikora, A.P. Toward a quantifiable definition of software faults. 13th International Symposium on Software Reliability Engineering, 2002, p. 388-395.
15. NASA Software Safety Guidebook. MIL-STD-882C.
16. NASA Space Link, http://spacelink.nasa.gov/NASA.Projects/Human.Exploration.and.Development.of.Space/Human.Space.Flight/International.Space.Station/.
17. Offutt, J. and Hayes, J. Huffman. "A Semantic Model of Program Faults," published in The Proceedings of the International Symposium on Software Testing and Analysis, pages 195-200, ACM, San Diego, California, January 1996.
18. Rothermel, G., Harrold, M.J., Analyzing regression test selection techniques. IEEE Transactions on Software Engineering, 22(8), Aug. 1996.
19. von Mayrhauser, A., J. Wang, M.C. Ohlsson and C. Wohlin, Deriving a Fault Architecture from Defect History, Proceedings of the International Symposium on Software Reliability Engineering, ISSRE99, pp. 295-303, November 1999, Boca Raton, Florida, USA.
20. Wallace, D., and Fujii, R., Software Verification and Validation: An Overview, IEEE Software, Volume 6, No. 3, May 1989.
21. Chillarege, R., Bhandafi, I., Chaar, J., Halliday, M., Moebus, D., Ray, B., and Wong, M. "Orthogonal Defect Classification A Concept for In-Process Measurements,"1EEE TSE, vol. 18, no. 11 (Nov. 1992), pp. 943-956.