Title :
Automatic test case generation of wireless interface protocols for next generation mobile telecommunications
Author :
Jang, Dong-won ; Jeong, Sang-kook ; Kim, Myung-hee ; Kim, Han-kyoung
Author_Institution :
ETRI, Yousung, South Korea
Abstract :
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
Keywords :
Petri nets; access protocols; cellular radio; conformance testing; radio access networks; IMT-2000; Petri nets; air interface; automatic test case generation; conformance testing; dynamic behavior; next generation mobile telecommunications; performance; specification; validation; wireless interface protocols; Access protocols; Automatic testing; Communication system traffic control; Computer aided software engineering; Electronic equipment testing; Mobile computing; Performance evaluation; Petri nets; Telecommunications; Wireless application protocol;
Conference_Titel :
Communication Technology Proceedings, 1998. ICCT '98. 1998 International Conference on
Conference_Location :
Beijing
Print_ISBN :
7-80090-827-5
DOI :
10.1109/ICCT.1998.743336
