Testing multi-agent systems for deadlock detection based on UML models

Nariman Mani*, Vahid Garousi, Behrouz H. Far

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

There is a growing demand for Multi-Agent Systems (MAS) in the software industry. The autonomous agent interaction in a dynamic software environment can potentially lead to runtime behavioral failures including deadlock. In order to bring MAS to the main stream of commercial software development, the behavior of MAS must be tested and monitored against the risk of unwanted emergent behaviors including deadlocks. In this paper, (1) we introduce a method for preparing test requirements for testing MAS; and (2) we deploy a MAS monitoring method for deadlock detection in MAS under test. The first method helps create test requirements using a resource requirement table from the MAS analysis and design. The second method monitors the MAS behavior to detect deadlocks at the run-time. Also, as model based software techniques such as Multi-agent Software Engineering (MaSE) are gaining more popularity; these model based approaches can help MAS developers to reduce the risk of having unwanted emergent behaviors such as deadlock in MAS.

Original languageEnglish
Title of host publicationProceedings
Subtitle of host publicationDMS 2008 - 14th International Conference on Distributed Multimedia Systems
PublisherKnowledge Systems Institute Graduate School
Pages77-84
Number of pages8
ISBN (Electronic)1891706233
Publication statusPublished - 01 Jan 2008
Externally publishedYes
Event14th International Conference on Distributed Multimedia Systems, DMS 2008 - Boston, United States
Duration: 04 Sep 200806 Sep 2008

Conference

Conference14th International Conference on Distributed Multimedia Systems, DMS 2008
CountryUnited States
CityBoston
Period04/09/200806/09/2008

Keywords

  • Deadlock detection
  • Multi-agent system
  • Software testing
  • UML

ASJC Scopus subject areas

  • Software
  • Computer Graphics and Computer-Aided Design
  • Human-Computer Interaction

Fingerprint Dive into the research topics of 'Testing multi-agent systems for deadlock detection based on UML models'. Together they form a unique fingerprint.

Cite this