Mars Polar Lander fault identification using model-based testing

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

Volumn 2002-January, Issue , 2002, Pages 163-169

  Blackburn, M ^a   Busser, R ^a   Nauman, A ^a   Knickerbocker, R ^b   Kasuda, R ^b  

^a T VEC Technologies   (United States)

^b LOCKHEED MARTIN SPACE SYSTEMS COMPANY   (United States)

Author keywords

Application software; Automatic testing; Automation; Engines; Fault diagnosis; Leg; Mars; Software testing; Space vehicles; Time division multiplexing

Indexed keywords

APPLICATION PROGRAMS; FAULT DETECTION; MODEL CHECKING; SOFTWARE TESTING; TIME DIVISION MULTIPLEXING;

APPLICATIONS SOFTWARE; ENGINE SHUTDOWN; FAULTS DIAGNOSIS; LEG; MARS; MARS POLAR LANDER; MOST LIKELY; SOFTWARE TESTINGS; SPACE VEHICLES; TIME-DIVISION MULTIPLEXING;

ENGINES;

EID: 77950460796     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2002.1181509     Document Type: Conference Paper

References (11)

1. Blackburn, M. R., R.D. Busser, A.M. Nauman, Eliminating Requirement Defects and Automating Test, Test Computer Software Conference, June 2001.
2. Blackburn, M.R., R.D. Busser, A.M. Nauman, R. Chandramouli, Model-based Approach to Security Test Automation, In Proceeding of Quality Week 2001, June 2001.
3. Blackburn, M. R., Using Models For Test Generation And Analysis, Digital Avionics System Conference, October, 1998.
4. Heitmeyer, C., R. Jeffords, B. Labaw, Automated Consistency Checking of Requirements Specifications. ACM TOSEM, 5(3):231-261, 1996.
5. Steve Miller, Specifying the Mode Logic of a Flight Guidance System in CoRE and SCR. Second Workshop on Formal Methods in Software Practice (FMSP'98), Clearwater Beach, Florida, March, 1998.
6. Statezni, David, Industrial Application of Model-Based Testing, 16th International Conference and Exposition on Testing Computer Software, June 14-18, 1999.
7. Statezni, David. Test Automation Framework, State-based and Signal Flow Examples, Twelfth Annual Software Technology Conference, April 30-May 5, 2000.
8. Statezni, David. T-VEC's Test Vector Generation System, Software Testing & Quality Engineering, May/June 2001.
9. Safford, Ed L. Test Automation Framework, State-based and Signal Flow Examples, Twelfth Annual Software Technology Conference, April 30-May 5, 2000.
10. Tsai, W.T., D. Volovik, T.F. Keefe, Automated test case generation for programs specified by relational algebra queries, IEEE Transactions on Software Engineering, 16(3):316-324, March 1990.
11. White, L.J., E.I. Cohen, A Domain Strategy for Computer Program Testing, IEEE Transactions on Software Engineering, 6(3):247-257, May, 1980.