Strategies for real-time system specification
Strategies for real-time system specification
Art of Software Testing
Debugging multi-agent systems using design artifacts: the case of interaction protocols
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Automated Test Case Generation for BDI Agents
Autonomous Agents and Multi-Agent Systems
The Art of Software Testing
Unit testing in multi-agent systems using mock agents and aspects
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
eCAT: a tool for automating test cases generation and execution in testing multi-agent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers
Ontology-based test generation for multiagent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Using three AOSE toolkits to develop a sample design
International Journal of Agent-Oriented Software Engineering
A Recursive Colored Petri Nets semantics for AUML as base of test case generation
AICCSA '08 Proceedings of the 2008 IEEE/ACS International Conference on Computer Systems and Applications
SUnit: a unit testing framework for test driven development of multi-agent systems
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Representing agent interaction protocols with agent UML
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Mutation operators for cognitive agent programs
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Robust design of multi-agent system interactions: A testing approach based on pattern matching
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |
By the very definition of complex systems, complex behaviour emerges from the interactions between the individual parts. This emergent behaviour may be difficult or impossible to predict by analysing the parts. As a result, systematic and thorough testing of the interactions of complex systems, including multi-agent systems, is an important part of the verification and validation process. This paper defines two sets of test coverage criteria for multi-agent interaction testing. The first uses only the protocol specification, while the second considers also the plans that generate and receive the messages in the protocol. We describe how an existing debugging agent can be used as a test oracle for assessing correctness of a test, and how the Petri Net representation of the debugging agent can be annotated to support test coverage measurements. This work both specifies, and shows how to measure, the degree of thoroughness of a set of test cases. It also provides a basis for the future specification of test case input, designed to provide good coverage.