Evolutionary testing of autonomous software agents
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
A Hierarchical Methodology to Specify and Simulate Complex Computational Systems
ICCS '09 Proceedings of the 9th International Conference on Computational Science: Part I
From Theoretical e-barter Models to an Implementation Based on Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal specification of multi-agent systems by using EUSMs
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
A formal methodology to test complex heterogeneous systems
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
SPAMR: extending PAMR with stochastic time
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
Testing in multi-agent systems
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Specification and testing of e-commerce agents described by using UIOLTSs
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Evolutionary testing of autonomous software agents
Autonomous Agents and Multi-Agent Systems
Hi-index | 0.00 |
This paper presents a generic formal framework to specify and test autonomous e-commerce agents. First, the formalism to represent the behaviour of agents is introduced. The corresponding machinery to define how implementations can be tested follows. Two testing approaches are considered. The first of them, which can be called active, is based on stimulating the implementation under test (IUT) with a test. The peculiarity is that tests will be defined as a special case of autonomous e-commerce agent. The second approach, which can be called passive, consists of observing the behaviour of the tested agent in an environment containing other agents. As a case study the framework is applied to the e-commerce system Kasbah. Copyright © 2005 John Wiley & Sons, Ltd.Parts of this paper appeared in ‘Specification of autonomous agents in e-commerce systems’ by Ismael Rodríguez, Manuel Núñez and Fernando Rubio and in ‘Testing of autonomous agents described as utility state machines’ by Manuel Núñez, Ismael Rodríguez and Fernando Rubio, Lecture Notes in Computer Science, vol. 3236 (pp. 30–43 and 322–336, respectively) © 2004 Springer-Verlag. This revised and expanded version appears with the permission of Springer-Verlag