Modeling Nondeterministic Feature with Petri Net for Network Protocol in Interoperability Testing

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.