Mutation Testing for Jason Agents

摘要: Most multi-agent system (MAS) testing techniques lack empirical evidence of their effectiveness. Since finding tests that can reveal a large proportion possible faults is key goal in testing, we need to assess the fault detection ability test sets for MAS. Mutation offers direct and powerful way do this: it generates modified versions program (“mutants”) following set rules (“mutation operators”) then checks if distinguish original from (functionally non-equivalent) mutants. In this paper, propose mutation operators agent-oriented programming language Jason, introduce individual Jason agents implements subset our proposed operators. We use agent meets combination existing agent-based coverage criteria. The assessment shows not adequate kill all