Stream X-Machines for Agent Simulation Test Case Generation

Applying the Stream X-Machine formal method in the development of multi-agent simulations has a number of significant advantages, since it combines the power of executable specifications and test case generation. The present work supports this argument by reporting on the combined use of two tools t...

Full description

Saved in:
Bibliographic Details
Published inAgents and Artificial Intelligence pp. 37 - 57
Main Authors Sakellariou, Ilias, Dranidis, Dimitris, Ntika, Marina, Kefalas, Petros
Format Book Chapter
LanguageEnglish
Published Cham Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Agent based simulation
Formal methods
NetLogo
Test case generation
Online AccessGet full text

Cover

More Information
Summary:Applying the Stream X-Machine formal method in the development of multi-agent simulations has a number of significant advantages, since it combines the power of executable specifications and test case generation. The present work supports this argument by reporting on the combined use of two tools that involve Stream X-Machines (SXM): the first is a domain specific language for effortlessly encoding agent behaviour using SXMs in a well known agent simulation platform. The second tool, supports among other things, automated test case generation using SXMs. The main benefits of using the specific formal approach in such a practical setting is that it offers a clear intuitive way of specifying agent behaviour and the automated generation of “agent simulation test scenarios” that can be used for validation.
ISBN:9783319279466
3319279467
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-27947-3_3