Requirements discovery during the testing of safety-critical software

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2003, Pages 578-583

  Lutz, Robyn R ^a   Mikulski, Inés Carmen ^b  

^a IOWA STATE UNIVERSITY   (United States)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSIFICATION (OF INFORMATION); COMPUTER SOFTWARE SELECTION AND EVALUATION; EMBEDDED SYSTEMS; SPACECRAFT;

ORTHOGONAL DEFECT CLASSIFICATION; SAFETY CRITICAL SOFTWARE SYSTEM;

SOFTWARE ENGINEERING;

EID: 0038601470     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. R. Chillarege, I. S. Bhandari, J. K. Chaar, M. J. Halliday, D. S. Moebus, B. K. Ray, and M.-Y. Wong, "Orthogonal Defect Classification - A Concept for In-Process Measurements, IEEE Trans on SW Eng, Nov. 1992, pp. 943-956.
2. S. Gardiner, ed. Testing Safety-Critical Software, Springer-Verlag, London, 1999.
3. K. S. Hanks, J. C. Knight, and E. A. Strunk, "Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction," Proc. 26th NASA Goddard SW Eng Workshop, IEEE, Greenbelt, MD, Nov., 2001.
4. M. J. Harold, "Testing: A Roadmap" in The Future of Software Engineering, A. Finkelstein, ed., ACM Press, New York, 2000.
5. S. Lauesen and O. Vinter, "Preventing Requirements Defects: An Experiment in Process Improvement," Requirements Engineering Journal, 2001, pp. 37-50.
6. M. Leszak, D. E. Perry and D. Stoll, "A Case Study in Root Cause Defect Analysis," Proc 22nd Intl Conf SW Eng (ICSE'00), IEEE CS Press, Los Alamitos, CA, 2002, pp. 428-437.
7. R. Lutz, "Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems," Proc IEEE Intl Symp Req Eng, IEEE CS Press, 1993, pp. 126-133.
8. R. Lutz and I. C. Mikulski, "Operational Anomalies as a Cause of Safety-Critical Requirements Evolution," The Journal of Systems and Software, to appear.
9. R. Lutz and I. C. Mikulski, "Empirical Analysis of Safety-Critical Anomalies During Operations," submitted to IEEE Trans on SW Eng.
10. K. A. Weiss, N. Levenson, K. Lundqvist, N. Farid, and M. Stringfellow, "An Analysis of Causation in Aerospace Accidents," Space, 2001, Aug., 2001.