Huang, Zhan and Alexander, Rob orcid.org/0000-0003-3818-0310 (2015) Semantic Mutation Testing for Multi-Agent Systems. In: Baldoni, Matteo, Baresi, Luciano and Dastani, Mehdi, (eds.) Engineering Multi-Agent Systems:Third International Workshop, EMAS 2015. Lecture Notes in Artificial Intelligence . Springer , Switzerland , 131 to 152.
Abstract
This paper introduces semantic mutation testing (SMT) into multiagent systems. SMT is a test assessment technique that makes changes to the interpretation of a program and then examines whether a given test set has the ability to detect each change to the original interpretation. These changes represent possible misunderstandings of how the program is interpreted. SMT is also a technique for assessing the robustness of a program to semantic changes. This paper applies SMT to three rule-based agent programming languages, namely Jason, GOAL and 2APL, provides several contexts in which SMT for these languages is useful, and proposes three sets of semantic mutation operators (i.e., rules to make semantic changes) for these languages respectively, and a set of semantic mutation operator classes for rule-based agent languages. This paper then shows, through preliminary evaluation of our semantic mutation operators for Jason, that SMT has some potential to assess tests and program robustness.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Editors: |
|
Copyright, Publisher and Additional Information: | © 2015, The Author(s). |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 05 Aug 2016 10:48 |
Last Modified: | 16 Oct 2024 10:44 |
Published Version: | https://doi.org/10.1007/978-3-319-26184-3_8 |
Status: | Published |
Publisher: | Springer |
Series Name: | Lecture Notes in Artificial Intelligence |
Identification Number: | 10.1007/978-3-319-26184-3_8 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:103115 |
Download
Filename: Zhan_Huang_EMAS_2015_paper_FINAL_CAMERA_VERSION.pdf
Description: Zhan Huang EMAS 2015 paper FINAL CAMERA VERSION