Colored Petri nets model based conformance test generation

A novel Colored Petri Nets (CP-nets) model based test case generation approach is proposed to makes the best of advantages of the ioco testing theory and the CP-nets modeling, where the Conformance Testing orientated CP-nets (CT-CPN) is proposed for modeling certain software systems, and PN-ioco relation is defined as a new conformance relation, and finally test cases are generated through simulating the system CT-CPN models. CP-nets model simulation based test generation approach reflects the data-dependent control flow of the system behaviors, so all test cases are completely feasible for the actual test executions. Besides, better formal modeling and analytic capabilities in CP-nets modeling quite facilitate validating the accuracy of the system CT-CPN model. For effectively extending the applicability of the Petri nets based testing technologies, our novel CT-CPN model based test generation approach may well become a competent choice.