Chapter

Applying Formal Methods: Testing, Performance, and M/E-Commerce

Volume 3236 of the series Lecture Notes in Computer Science pp 322-336

Testing of Autonomous Agents Described as Utility State Machines

  • Manuel NúñezAffiliated withCarnegie Mellon UniversityDept. Sistemas Informáticos y Programación, Universidad Complutense de Madrid
  • , Ismael RodríguezAffiliated withCarnegie Mellon UniversityDept. Sistemas Informáticos y Programación, Universidad Complutense de Madrid
  • , Fernando RubioAffiliated withCarnegie Mellon UniversityDept. Sistemas Informáticos y Programación, Universidad Complutense de Madrid

* Final gross prices may vary according to local VAT.

Get Access

Abstract

We introduce a methodology to test autonomous agents described by means of utility state machines. In contrast with the classical approach for testing state machines, we will use other utility state machines as test. In fact, the machine playing the role of the test will be in charge of guiding the IUT so that it performs the operations (i.e. exchanges of resources) indicated by the specification.