M.: Mutation operators for cognitive agent programs

Testing multi-agent systems is a challenge, since by definition such systems are distributed, and are able to exhibit autonomous and flexible behaviour. One specific challenge in testing agent pro-grams is developing a collection of tests (a “test suite”) that is adequate for testing a given agent program. This requires a way of assessing the adequacy of a test suite. A well-established tech-nique for assessing test suite adequacy is the use of mutation test-ing, where a test suite is assessed in terms of its ability to distin-guish a program from its variants (“mutants”). However, work in this area has focussed largely on the mutation of procedural and object-oriented languages. This paper proposes a set of (systemat-ically derived) mutation operators for AgentSpeak