Research Article Open Access

A Petri Net Based Agent Behavioral Testing

Zina Houhamdi1 and Belkacem Athamena1
  • 1 Al Ain University of Science and Technology, UAE
American Journal of Applied Sciences
Volume 9 No. 11, 2012, 1876-1883

DOI: https://doi.org/10.3844/ajassp.2012.1876.1883

Submitted On: 13 June 2012 Published On: 10 September 2012

How to Cite: Houhamdi, Z. & Athamena, B. (2012). A Petri Net Based Agent Behavioral Testing. American Journal of Applied Sciences, 9(11), 1876-1883. https://doi.org/10.3844/ajassp.2012.1876.1883

Abstract

In Multi-Agent System (MAS), developers concentrate on creating design models and evolving them, from higher level models to lower level models, in several steps. Considerable part of MAS implementations is automatically produced from the design models. If a design model contains faults, they are passed to the generated implementations. Practical model validation techniques are required to discover and delete faults in abstract design models. We introduce a formal approach for agent design testing. It specifies a testing process that complements Multi-agent Systems Engineering (MaSE) methodology and strengthens the mutual relationship between UML and MAS. Besides, it defines a structured and comprehensive testing process for engineering software agents at the design level by providing a systematic way of converting the MAS design models to UML design diagram. Petri Net (PN) diagram is generated from the UML models to simulate the behavior of an agent. Because Petri Nets (PNs) are formal models, their analysis techniques can be applied to automatic agent behavioral testing.

  • 1,109 Views
  • 1,434 Downloads
  • 2 Citations

Download

Keywords

  • Multi-Agent System (MAS)
  • Petri Net (PN)
  • Software Testing
  • Multi-Agent Systems Engineering (MaSE)
  • Task Diagram
  • Activity Diagram
  • Petri Net