A test case generator for the validation of high-level Petri nets

Test concepts mostly refer to the program code and not to models used in earlier stages of the software development process. High-level Petri nets are a widely accepted graphical language for the representation and simulation of requirements, analysis and design models. In this paper, a technique is proposed which generates test cases for the validation of high-level Petri nets in a systematic way. Our approach is derived from cause-effect graphs, a concept that was originally developed for testing of program code. However, in our approach the relationship between pre-specified causes and effects is not represented by a Boolean graph, but instead by a Petri net. The test cases are created in a quite efficient way by generating so-called process nets