Mars Polar Lander Fault Identification Using Model-based Testing.
Mark R. BlackburnRobert BusserAaron NaumanRobert KnickerbockerRichard KasudaPublished in: ICECCS (2002)
Keyphrases
- fault identification
- model based testing
- mars rover
- fault detection
- test cases
- underwater vehicles
- fault diagnosis
- software development
- software design
- sequence diagrams
- security policies
- single phase
- testing process
- software testing
- test data
- neural network
- software engineering
- expert systems
- artificial intelligence
- data sets
- control algorithm
- design patterns
- software systems
- error rate
- access control
- distributed systems
- fault isolation
- knowledge base