Challenges and Methods in Testing the Remote Agent Planner

Proceedings of the 5th International Conference on Artificial Intelligence Planning Systems, AIPS 2000

Volumn , Issue , 2000, Pages 254-263

  Smith, Ben ^a   Feather, Martin S ^a   Muscettola, Nicola ^b  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^b NASA AMES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

DEEP SPACE; DOMAIN MODEL; EXTENSIVE TESTING; HUMAN INTERVENTION; INPUT AND OUTPUTS; PLAN EXECUTION; PLAN GENERATION; REMOTE AGENT EXPERIMENTS; REMOTE AGENTS; TESTING PROCESS;

NASA;

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

References (14)

1. Bernard, D.; Dorais, G.; Fry, C.; Gamble, E.; Kanefsky, B.; Kurien, J.; Millar, W.; Muscettola, N.; Nayak, P.; Pell, B.; Rajan, K.; Rouquette, N.; Smith, B.; and Williams, B. 1998. Design of the remote agent experiment for spacecraft autonomy. In Proceedings of the 1998 IEEE Aerospace Conference.
2. Chien, S. 1998. Static and completion analysis for knowledge acquisition, validation and maintenance of planning knowledge bases. International Journal of Human-Computer Studies 48:499–519.
3. Cohen, D.; Dalal, S.; Parelius, J.; and Patton, G. 1996. The combinatorial design approach to automatic test generation. IEEE Software 13(5):83–89.
4. Cohen, D.; Dalal, S.; Fredman, M.; and Patton, G. 1997. The AETG system: An approach to testing based on combinatorial design. IEEE Transactions on Software Engineering 23(7):437–444.
5. Etzioni, O. 1993. Acquiring search control knowledge via static analysis. Artificial Intelligence 62:255–302.
6. Feather, M., and Smith., B. 1999. Automatic generation of test oracles: From pilot studies to applications. In Proceedings of the Fourteenth International Conference on Automated Software Engineering (ASE-99), 63–72. Cocoa Beach, FL: IEEE Computer Society. Best Paper.
7. Feather, M. 1998. Rapid application of lightweight formal methods for consistency analysis. IEEE Transactions on Software Engineering 24(11):949–959.
8. Howe, A. E., and Cohen, P. R. 1995. Understanding planner behavior. Artificial Intelligence 76(2):125–166.
9. Knoblock, C. 1994. Automatically generating abstractions for planning. Artificial Intelligence 68(2).
10. Muscettola, N.; Smith, B.; Chien, C.; Fry, C.; Rajan, K.; Mohan, S.; Rabideau, G.; and Yan, D. 1997. On-board planning for the new millennium deep space one spacecraft. In Proceedings of the 1997 IEEE Aerospace Conference, volume 1, 303–318.
11. Nayak, P.; Bernard, D.; Dorais, G.; Gamble, E.; Kanefsky, B.; Kurien, J.; Millar, W.; Muscettola, N.; Rajan, K.; Rouquette, N.; Smith, B.; Taylor, W.; and Tung, Y. 1999. Validating the ds1 remote agent. In International Symposium on Artificial Intelligence Robotics and Automation in Space (ISAIRAS-99).
12. . and O’Leary, D. 1993. Expert system verification and validation: a survey and tutorial. AI Review 7:3–42.
13. Pell, B.; Gat, E.; Keesing, R.; Muscettola, N.; and Smith, B. 1997. Robust periodic planning and execution for autonomous spacecraft. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97).
14. Schoppers, M. 1987. Universal plans for reactive robots in unpredictable environments. In IJCAI 87. Williams, B., and Nayak, P. 1996. A model-based approach to reactive self-configuring systems. In Proceedings of the thirteenth national conference on artificial intelligence (AAAI-96), 971–978.