Research on Protocol Conformance Testing Method Based on Petri net

DOI

10.2991/nceece-15.2016.168How to use a DOI?

Keywords

protocol conformance testing; Petri nets; formal method; testing set

Abstract

Network protocol conformance testing is a functional black box testing. It tests whether that if the implementation of a protocol consistent with consists with the protocol standards according to the protocol text description. A method of network protocol conformance testing with Petri net is presented. Using this method, not only the protocol is described by Petri net but also testing set, testing operation, testing execution, testing judgment are all described by Petri net. This makes Petri net, a formal tool, to run the whole process through protocol conformance testing. This is easy to understand, even though the whole test process can be visualized by graphical method and made the whole process strictly accurate. In order to illustrate the correctness of the method, the Petri net model of SIP protocol and conformance testing process of SIP protocol are given.

Copyright

© 2016, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - De Qin SHU
AU  - Hao Fang
AU  - Liang Zhang
PY  - 2015/12
DA  - 2015/12
TI  - Research on Protocol Conformance Testing Method Based on Petri net
BT  - Proceedings of the 2015 4th National Conference on Electrical, Electronics and Computer Engineering
PB  - Atlantis Press
SP  - 931
EP  - 937
SN  - 2352-5401
UR  - https://doi.org/10.2991/nceece-15.2016.168
DO  - 10.2991/nceece-15.2016.168
ID  - SHU2015/12
ER  -