Control flow models using Petri nets for model based testing

Model-Based Testing is a testing approach used for automated test generation, execution, and evaluation. It is based on a formal behavioral model of the tested system. This paper presents a new test generation method that utilizes an advanced variant of Petri nets for a description of the systems under test and Constraint programming for tests generation. The presented method aims for modeling and testing distributed and parallel systems, which are commonly used in automotive. In the proposed approach, Petri Nets with Discrete Variables describe system behavior model. This Petri net variant extends nets with variables, which are used as system inputs and outputs. The paper show novel testing methods that utilize Constraint programming, and where the actual test inputs are generated as a solution to combinatorial problems.