Generating test oracle for role binding in multi-agent systems

Multiagent systems (MAS) are typical distributed systems. It is an open problem for generating test oracles for MAS. A role-based MAS model is proposed, together with some basic definitions on soft gene, role and agent. A method to generate test oracle for such a MAS is brought forward, which may address the checking of dynamic binding between agents and roles. RoboCup simulation football team case is studied to illustrate the new MAS model and the corresponding test oracle generating method.