research-article

A Property-based Testing Framework for Multi-Agent Systems

Authors:

Clara Benac Earle,

Lars-Åke FredlundAuthors Info & Claims

AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems

Pages 1823 - 1825

Published: 08 May 2019 Publication History

Get Access

Abstract

In this article we describe a framework that we have developed for testing multi-agent systems written in the Jason agent programming language, using the testing technique known as property-based testing, a form of randomised automatic model-based testing.

References

[1]

J. Armstrong, R. Virding, C. Wikström, and M. Williams. 1996. Concurrent Programming in Erlang. Prentice-Hall.

Digital Library

Google Scholar

[2]

Rafael H. Bordini, MichaelWooldridge, and Jomi Fred Hübner. 2007. Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology). John Wiley & Sons.

Digital Library

Google Scholar

[3]

Koen Claessen and John Hughes. 2000. QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00). ACM, New York, NY, USA, 268--279.

Digital Library

Google Scholar

[4]

Erdem Eser Ekinci, Ali Murat Tiryaki, Övünç Çetin, and Oguz Dikenelli. 2008. Goal-Oriented Agent Testing Revisited. In Agent-Oriented Software Engineering IX, 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12--13, 2008, Revised Selected Papers, Michael Luck and Jorge J. Gómez-Sanz (Eds.). 173--186.

Google Scholar

[5]

Cu D. Nguyen, Anna Perini, Carole Bernon, Juan Pavón, and John Thangarajah. 2009. Testing in Multi-Agent Systems. In Agent-Oriented Software Engineering X - 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11--12, 2009, Revised Selected Papers. Springer, 180--190.

Digital Library

Google Scholar

[6]

L. Padgham, Zhiyong Zhang, J. Thangarajah, and T. Miller. 2013. Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems. IEEE Transactions on Software Engineering 39, 9 (Sept. 2013), 1230--1244.

Digital Library

Google Scholar

[7]

Zhiyong Zhang, John Thangarajah, and Lin Padgham. 2009. Model based testing for agent systems. In 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10--15, 2009, Volume 2, Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, and Jaime Simão Sichman (Eds.). 1333--1334.

Digital Library

Google Scholar

Index Terms

A Property-based Testing Framework for Multi-Agent Systems
1. Computing methodologies
  1. Artificial intelligence
    1. Distributed artificial intelligence
      1. Multi-agent systems
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. General programming languages
      1. Language types
        Distributed programming languages

Recommendations

A Multi-Agent Based Framework for Collaborative Testing on Web Services
SEUS-WCCIA '06: Proceedings of the The Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, and the Second International Workshop on Collaborative Computing, Integration, and Assurance (SEUS-WCCIA'06)

Web Services (WS) is currently the major implementation of Service-Oriented Architecture (SOA). It defines a framework for agile and flexible integration among autonomous services based on Internet open standards. However, testing has been a challenge ...
Building multi-agent systems using Jason

We provide a detailed description of the Jason-DTU system, including the used methodology, tools as well as team strategy. We also discuss the experience gathered in the contest. In spring 2009 the course "Artificial Intelligence and Multi-Agent Systems"...
Environment programming in multi-agent systems: an artifact-based perspective

This article introduces the notion of environment programming in software multi-agent systems (MAS) and describes a concrete computational and programming model based on the artifact abstraction and implemented by the CArtAgO framework. Environment ...

Comments

Information & Contributors

Information

Published In

AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems

May 2019

2518 pages

ISBN:9781450363099

General Chairs:
Edith Elkind
University of Oxford, UK
,
Manuela Veloso
CMU (on leave), JPMorgan, USA
,
Program Chairs:
Noa Agmon
Bar-Ilan University, Israel
,
Matthew E. Taylor
Borealis AI, Canada

Publisher

International Foundation for Autonomous Agents and Multiagent Systems

Richland, SC

Publication History

Published: 08 May 2019

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Comunidad de Madrid
European Union

Conference

AAMAS '19

Sponsor:

SIGAI

AAMAS '19: International Conference on Autonomous Agents and Multiagent Systems

May 13 - 17, 2019

Montreal QC, Canada

Acceptance Rates

AAMAS '19 Paper Acceptance Rate 193 of 793 submissions, 24%;

Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
56
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)1

Reflects downloads up to 27 Jan 2025

Other Metrics

View Author Metrics

Citations

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Index Terms

Recommendations

A Multi-Agent Based Framework for Collaborative Testing on Web Services

Building multi-agent systems using Jason

Environment programming in multi-agent systems: an artifact-based perspective

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Funding Sources

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations