Model-based testing approach for mobile agents using the paradigm of reference net
Multiagent and Grid Systems
Test coverage criteria for agent interaction testing
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
Hi-index | 0.00 |
The importance of software testing has been universally recognized. Concerning multi-agent systems very few research works have been undertaken in order to provide developers with valuable tools supporting testing activities. Moreover these works are still at very early stage. The main reason of this lack is that the activities, which should assure that the program performs satisfactorily, are very challenging and expensive since it is quite complicated to automate them. This paper proposes a modeling approach from which one could derive a formal model capturing the dynamic interaction in Multi-Agent Systems. That is, after describing agent interactions using AUML sequence diagram, this one is then translated into a Recursive Colored Petri Net model using a set of transformation rules. Finally, the corresponding reachability graph is used as a model for test generation.