skip to main content
10.5555/2936924.2937229acmotherconferencesArticle/Chapter ViewAbstractPublication PagesaamasConference Proceedingsconference-collections
demonstration

Using Automatic Failure Detection for Cognitive Agents in Eclipse: (Demonstration)

Published: 09 May 2016 Publication History

Abstract

The main goal of our demonstration, is to show how an automated testing framework for cognitive agents facilitates the detection of failures and aids in the localization of faults. We have proposed an automated testing framework for cognitive agents and an associated test approach based on test templates for frequently occurring failure types. By using a concrete implementation of the testing framework for the GOAL agent programming language, an integration with the existing source-level debugger was created within the Eclipse environment, thus fully implementing the design within a state-of-the-art setting. This implementation and its source are publicly available, and used in our demonstration in order to illustrate concrete examples of its use, and provide insight into practical implementation details that may be valuable for the adaptation into other agent programming languages.

References

[1]
R. Bordini, M. Dastani, and M. Winikoff. Current Issues in Multi-Agent Systems Development. In Engineering Societies in the Agents World VII, volume 4457, pages 38--61. 2007.
[2]
R. H. Bordini, L. Braubach, J. J. Gomez-sanz, G. O. Hare, A. Pokahr, and A. Ricci. A survey of programming languages and platforms for multi-agent systems. Informatica, 30:33--44, 2006.
[3]
G. Caire, M. Cossentino, and A. Negri. Multi-agent systems implementation and testing. In Proc. of the 4th From Agent Theory to Agent Implementation Symposium, AT2AI-4, 2004.
[4]
M. Dastani. Programming multi-agent systems. The Knowledge Engineering Review, 30:394--418, 9 2015.
[5]
J. Dix, K. V. Hindriks, B. Logan, and W. Wobcke. Engineering Multi-Agent Systems (Dagstuhl Seminar 12342). Dagstuhl Reports, 2(8):74--98, 2012.
[6]
D. Geer. Eclipse becomes the dominant java ide. Computer, 38(7):16--18, July 2005.
[7]
S. Gomanyuk. An approach to creating development environments for a wide class of programming languages. Programming and Computer Software, 34(4):225--236, 2008.
[8]
K. V. Hindriks. Programming rational agents in goal. In A. El Fallah Seghrouchni, J. Dix, M. Dastani, and R. H. Bordini, editors, Multi-Agent Programming: Languages, Tools and Applications, pages 119--157. Springer US, 2009.
[9]
Z. Houhamdi. Multi-Agent System Testing: A Survey. International Journal of Advanced Computer Science and Applications, 2(6):135--141, 2011.
[10]
ISO. ISO/IEC/IEEE 24765:2010 systems and software engineering - vocabulary. Technical report, Institute of Electrical and Electronics Engineers, Inc., 2010.
[11]
M. Johnson, C. Jonker, B. van Riemsdijk, P. J. Feltovich, and J. M. Bradshaw. Joint activity testbed: Blocks world for teams (bw4t). In H. Aldewereld, V. Dignum, and G. Picard, editors, Engineering Societies in the Agents World X, volume 5881 of Lecture Notes in Computer Science, pages 254--256. Springer Berlin Heidelberg, 2009.
[12]
V. J. Koeman and K. V. Hindriks. Designing a source-level debugger for cognitive agent programs. In Q. Chen, P. Torroni, S. Villata, J. Hsu, and A. Omicini, editors, PRIMA 2015: Principles and Practice of Multi-Agent Systems, volume 9387 of Lecture Notes in Computer Science, pages 335--350. Springer International Publishing, 2015.
[13]
V. J. Koeman and K. V. Hindriks. A fully integrated development environment for agent-oriented programming. In Y. Demazeau, K. S. Decker, J. Bajo Pérez, and F. de la Prieta, editors, Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection, volume 9086 of LNCS, pages 288--291. Springer International Publishing, 2015.
[14]
V. J. Koeman, K. V. Hindriks, and C. M. Jonker. Automating failure detection in cognitive agent programs. In Proceedings of the 2016 International Conference on Autonomous Agents and Multi-agent Systems, AAMAS '16. International Foundation for Autonomous Agents and Multiagent Systems, 2016.
[15]
C. D. Nguyen, A. Perini, C. Bernon, J. Pavón, and J. Thangarajah. Testing in Multi-Agent Systems. In Agent-Oriented Software Engineering X, volume 6038, pages 180--190. Springer Berlin Heidelberg, 2011.
[16]
P. Runeson, C. Andersson, T. Thelin, A. Andrews, and T. Berling. What do we know about defect detection methods? Software, IEEE, 23(3):82--90, May 2006.
[17]
M. Winikoff. Novice programmers' faults & failures in goal programs. In Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems, AAMAS '14, pages 301--308, Richland, SC, 2014. International Foundation for Autonomous Agents and Multiagent Systems.
[18]
Z. Zhang, J. Thangarajah, and L. Padgham. Model based testing for agent systems. Software and Data Technologies, 22:399--413, 2008.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
AAMAS '16: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems
May 2016
1580 pages
ISBN:9781450342391

Sponsors

  • IFAAMAS

In-Cooperation

Publisher

International Foundation for Autonomous Agents and Multiagent Systems

Richland, SC

Publication History

Published: 09 May 2016

Check for updates

Author Tags

  1. demonstration
  2. multi-agent systems
  3. testing
  4. verification

Qualifiers

  • Demonstration

Conference

AAMAS '16
Sponsor:

Acceptance Rates

AAMAS '16 Paper Acceptance Rate 137 of 550 submissions, 25%;
Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 46
    Total Downloads
  • Downloads (Last 12 months)3
  • Downloads (Last 6 weeks)1
Reflects downloads up to 14 Sep 2024

Other Metrics

Citations

View Options

Get Access

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media