Title :
Modeling Nondeterministic Feature with Petri Net for Network Protocol in Interoperability Testing
Author :
Hua, Li ; Xinming, Ye ; Chengyong, Wu ; Chengbao, Hang ; Lingling, Wang
Author_Institution :
Inner Mongolia Univ., Huhhot, China
fDate :
March 31 2009-April 2 2009
Abstract :
In this paper, the models which display different kinds of nondeteminsim in protocol are presented from either control flow or data flow point of view. From control flow side, the information attached is not enough for the analysis of nondeteminsim, therefore the data flow is achieved according to the description in the specification. From data flow side, data is analyzed from packet as well as field point of view so that the scale of nondeterminisim can be reduced. To express the interaction between two IUT more efficiently, an algorithm which can be used to synthesize a MSC and a Petri net is introduced for interoperability testing. Moreover an example is given to show the efficiency of the algorithm. Finally the conclusion and the research work in the future are introduced.
Keywords :
Petri nets; data analysis; data reduction; open systems; protocols; Petri net; control flow point; data analysis; data flow point; interoperability testing; network protocol; Computer displays; Computer science; Data analysis; Data engineering; Design methodology; Information analysis; System testing; Tail; Transport protocols; interoperability testing; modeling; nondeterminism;
Conference_Titel :
Computer Science and Information Engineering, 2009 WRI World Congress on
Conference_Location :
Los Angeles, CA
Print_ISBN :
978-0-7695-3507-4
DOI :
10.1109/CSIE.2009.466
