A case history of international space station requirement faults

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2006, Pages 17-26

  Hayes, Jane Huffman ^a   Inies Raphael, C M ^a   Holbrook, Elizabeth Ashlee ^a   Pruett, David M ^b  

^a UNIVERSITY OF KENTUCKY   (United States)

^b Geocontrol Systems Incorporated

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS; KNOWLEDGE ACQUISITION; LARGE SCALE SYSTEMS; PROBLEM SOLVING; SOFTWARE RELIABILITY; VERIFICATION;

CODE ANALYSIS; REQUIREMENTS TRACING;

SPACE STATIONS;

EID: 40949083092     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)

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. Chillarege, R., Bhandafi, I., Chaar, J., Halliday, M., Moebus, D., Ray, B., and Wong, M. "Orthogonal Defect Classification A Concept for In-Process Measurements," IEEE TSE, vol. 18, no. 11 (Nov. 1992), pp. 943-956.
4. Davis, A. Software Requirements: Analysis and Specification. Prentice-Hall, Inc., New York, 1990.
5. Hamlet, D. and Voas, J. "Faults on its Sleeve: Amplifying Software Reliability Testing," Proceedings of the 1993 ACM SIGSOFT International Symposium on Software Testing and Analysis (Cambridge, Massachusetts, United States, June 28-30, 1993.
6. Hayes, J. Huffman. "Building a Requirement Fault Taxonomy: Experiences from a NASA Verification and Validation Research Project," Proceedings of the International Symposium on Software Reliability Engineering, ISSRE 2003, pp. 49 - 59, Denver, CO, November 2003.
7. 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.
8. Heitmeyer, C.; Kirby, J.; Labaw, B., "The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support," Proceedings of the 1997 (19th) International Conference on Software Engineering, May 17-23, 1997, pp. 610-611.
9. 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.
10. 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).
11. IEEE Standard Glossary of Software Engineering Terminology. IEEE Std 610.12-1990, 1990.
12. Leszak, M, Perry, D.E., and Stoll, D. A Case Study in Root Cause Defect Analysis, Proceedings of the 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland, 2000, pp.428-437.
13. Leveson, N., and Stolzy, J., "Safety Analysis Using Petri Nets," IEEE Transactions on Software Engineering, SE-13(3), 1987.
14. Lutz, R. "Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems", Proc. RE'93: First IEEE International Symposium on Requirements Engineering, January 1993, 126-133.
15. 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.
16. MIL-STD-1629 A, Notice 2, Military Standard, Procedures for Performing a Failure Modes Effects and Criticality Analysis, Department of Defense, Washington, D.C., November 28, 1984 (though cancelled in August 1998, this standard is still quite useful).
17. MIL-STD-2167A, Military Standard, Defense System Software Development, Department of Defense, Washington, D.C., February 29, 1988.
18. Mojdehbakhsh, Ramin, "Software Lifecycle and Analysis Techniques for Safety-Critical Computer-Controlled Systems," Dissertation, George Mason University, 1994.
19. Morell, Larry, "Theoretical Insights into Fault-based Testing," Proceedings of the Second Workshop on Software Testing, Verification, and Analysis 1998, 19 -21 July 1998, pp. 45-62.
20. Munson, J.C., Nikora, A.P. "Toward a Quantifiable Definition of Software Faults." 13th International Symposium on Software Reliability Engineering, 2002, p. 388-395.
21. NASA Software Safety Guidebook. MIL-STD-882C.
22. NASA Space Link, http://spacelink.nasa.gov/NASA.Projects/Human. Exploration.and.Development.of.Space/Human.Space.Flight/International.Space. Station/.
23. 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.
24. Rothermel, G., Harrold, M.J., Analyzing Regression Test Selection Techniques. IEEE Transactions on Software Engineering, 22(8), Aug. 1996.
25. 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.
26. Wallace, D., and Fujii, R., Software Verification and Validation: An Overview, IEEE Software, Volume 6, No. 3, May 1989.