Key points are not available for this paper at this time.
In this paper, we propose a novel model-based testing approach designed to consider the nuances of interactions among agents, allowing for inclusive, exclusive, or parallel execution.The aim is to prevent the activation of multiple behavioural scenarios during the testing of a specific scenario, ensuring that each detected error is uniquely associated with the tested scenario and not influenced by parallel scenarios.This approach involves generating a set of individual test cases that individually cover the interactions of the scenario under test.To achieve this purpose, the approach uses the AUML sequence diagram as a model and the constraints, expressed in object constraint language (OCL), necessary for the execution of each interaction to introduce plugs.These plugs must be able to eliminate from the interval of the test case inputs, compatible with the execution constraints of the interactions of the scenario under test, the part of the inputs compatible with the execution constraints of the other interactions that can be executed in parallel inclusively or exclusively with the interactions of the same scenario.The proposed approach is supported by a formal framework and applied to a concrete case study to illustrate its usefulness.
Dehimi et al. (Fri,) studied this question.