A Novel Test Case Generation Approach based on AUML sequence diagram

Multi-Agent Systems Testing is an essential activity in agent oriented software engineering and fundamental in verifying the safety of such systems. In this work, we propose a new test case generation approach based on the AUML sequence diagram, able to, individually, cover interactions between agents as well as possible scenarios that can be performed in an inclusive, exclusive or parallel way. This is to ensure that each error detected in a given interaction or in a given scenario is not associated with another interaction or another scenario running simultaneously or in parallel. For this, we introduce plugs using the constraints, expressed in Object Constraint Language (OCL), necessary for the execution of each interaction.