Semantic Mutation Testing for Multi-agent Systems

Li, Mingguang; Alexander, Robert

doi:10.1007/978-3-319-26184-3_8

Cited by 2 publications

(1 citation statement)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Alechina et al discussed the imperfect monitor of runtime norm executions [6]. Huang and Alexander explored the semantic mutation testing to assess tests and program robustness [17]. The Silk framework was proposed to monitor and resolve the conflicts of norms [18].…”

Section: State-of-the-artmentioning

confidence: 99%

Mone: Mutation Oriented Norm Evolution

Wang

Zhang

2020

IEEE Access

View full text Add to dashboard Cite

A norm regulates the run-time behavior of the agent with the action and condition to trigger the action. Because of the incomplete understanding of the world, the result of the action may be different for the same agent with the 'same' context, or unintended different context. To study this phenomenon, the classical norm definition is extended from the condition-action pair to cover the expectation, in order to verify the result of the action. The Norm evolution can be defined as a gradual process which makes a norm more complete and effective. In the terminology of evolution, a norm is called mutated if the result contradicts to the expectation, i.e. at least one of the expected conditions is invalid. At run-time, norms are executed in series. A mutation brings new knowledge to the following states and might affect the later execution of the norms. Such knowledge provides will help the norm designer to complete the definitions. A mutation based norm evolution (Mone) method is proposed in this paper to detect the mutations, to propagate the evidence and to crossover the norms for completeness. The method is formalized in the Description Logic, and implemented with the algorithms for mutation detection and norm crossover. The case study illustrates the Description Logic ALCI of the method and shows the potential to evolve the norms autonomously in the Blackboard system, GBBopen.

show abstract

Section: State-of-the-artmentioning

confidence: 99%