Automatic test case generation of wireless interface protocols for next generation mobile telecommunications

We generate test cases of the wireless protocol that is used as the air interface in IMT-2000 by means of the test generation tool based on protocol specifications as Petri nets. So, we can perform conformance testing of the IMT-2000 system. In order to support a good understanding and diagnose dynamic behavior of the IMT-2000 system, we try to do a specification and validation using Petri nets modeling. In addition we model the whole system and model independently each of the channels of the IMT-2000 system. And, we analyze the performance by this modeling.