Towards a new dynamic model-based testing approach for multi-agent systems

In this work, we propose a novel test case generation approach that can cover the new interactions introduced following the unpredictable evolution of the behaviour of a multi-agent system (MAS) under test. The approach consists in dynamically applying a model-based test for each new version of the system under test. It uses for this (i) the AUML sequence diagram of each new version of the system under test to generate test cases capable of covering the new interactions introduced in this system, (ii) the constraints, expressed in Object Constraint Language (OCL), necessary for the execution of each interaction in order to take into account the specificities of interactions between agents that can be performed inclusively, exclusively, or in parallel, (iii) genetic algorithms to follow the evaluation of the introduction of new interactions in the system under test.