Generating Test Cases Using Colored Petri Net

A Petri Net is a graphical and mathematical modeling approach used to describe the transition of states for an information system. This paper presents a novel technique to generating test cases using a Colored Petri Net (CPN) model. The state space of a model based on CPN provides a solid basis for test cases generation in a form that can be easily manipulated. This technique is based on three testing coverage criteria according to the state space. The advantage of this approach is that the correctness of the specification based on CPN can be validated by simulation tools and the state space can be also generated by state space tools. The case for vending machine illustrates the effectiveness of this method.