Computer Science and Information Engineering, World Congress on (2009)
Los Angeles, California USA
Mar. 31, 2009 to Apr. 2, 2009
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSIE.2009.466
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.
modeling, nondeterminism, interoperability testing
Wang Lingling, Ye Xinming, Hang Chengbao, Wu Chengyong, Li Hua, "Modeling Nondeterministic Feature with Petri Net for Network Protocol in Interoperability Testing", Computer Science and Information Engineering, World Congress on, vol. 07, no. , pp. 825-829, 2009, doi:10.1109/CSIE.2009.466