Research of test case generation method based on colored Petri nets

Based on the mature modeling simulation tool CPN tools for programming language not only three basic structure modeling, the parallel structure of parallel program has also carried on the modeling and simulation. Not for some specific language such as C language situation, it puts forward the generating test cases of the new method, this method to have three basic structure characteristics of all program has universal applicability. It finds testing path with parallel structure of the program through the reduction. After generating test cases, it uses the CPN tools for test case selection and evaluation, finally determines the appropriate test cases, can guarantee that testing path is complete and optimal.