Testing of Autonomous Agents Described as Utility State Machines

  • Manuel Núñez
  • Ismael Rodríguez
  • Fernando Rubio
Conference paper

DOI: 10.1007/978-3-540-30233-9_24

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3236)
Cite this paper as:
Núñez M., Rodríguez I., Rubio F. (2004) Testing of Autonomous Agents Described as Utility State Machines. In: Núñez M., Maamar Z., Pelayo F.L., Pousttchi K., Rubio F. (eds) Applying Formal Methods: Testing, Performance, and M/E-Commerce. FORTE 2004. Lecture Notes in Computer Science, vol 3236. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Manuel Núñez
    • 1
  • Ismael Rodríguez
    • 1
  • Fernando Rubio
    • 1
  1. 1.Dept. Sistemas Informáticos y ProgramaciónUniversidad Complutense de MadridMadridSpain

Personalised recommendations