This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 WRI World Congress on Computer Science and Information Engineering
Modeling Nondeterministic Feature with Petri Net for Network Protocol in Interoperability Testing
Los Angeles, California USA
March 31-April 02
ISBN: 978-0-7695-3507-4
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.
Index Terms:
modeling, nondeterminism, interoperability testing
Citation:
Li Hua, Ye Xinming, Wu Chengyong, Hang Chengbao, Wang Lingling, "Modeling Nondeterministic Feature with Petri Net for Network Protocol in Interoperability Testing," csie, vol. 7, pp.825-829, 2009 WRI World Congress on Computer Science and Information Engineering, 2009
Usage of this product signifies your acceptance of the Terms of Use.