Test sequences generation based on CPN properties

摘要

Colored Petri Nets (CPN) is suitable for formally describing and analyzing complex systems with communication, synchronization and concurrency. In this paper, CPN properties based on CPN model is defined, the test case generation algorithm based on CPN properties is given, and a test case generation tool is developed to generate test sequences based on CPN properties automatically. We also apply this method to the test sequences generation of HMIPv6 protocol and verify its effectiveness.