Towards the Generation of Distributed Test Cases Using Petri Nets

Test case generation is a means to validate the implementation of a system <em>a posteriori</em> with respect to some given requirements imposed on the system. Current methods for the generation of test cases often rely on an interleaving model of the system, which does not fully cover the situation in reactive and distributed systems. In this paper we present an approach towards the generation of distributed test cases, using Petri nets as the class of models for system, requirements and test case.