Name
Title | ||
|---|---|---|
Modeling Nondeterministic Feature with Petri Net for Network Protocol in Interoperability Testing |
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. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1109/CSIE.2009.466 | CSIE (7) |
Keywords | Field | DocType |
algorithm design and analysis,open systems,data flow,network protocol,petri net,modeling,testing,data models,data reduction,petri nets,data mining,protocols,control flow,interoperability testing,data analysis | Data modeling,Petri net,Algorithm design,Nondeterministic algorithm,Computer science,Interoperability,Network packet,Communications protocol,Data flow diagram,Distributed computing | Conference |
Volume | Citations | PageRank |
7 | 1 | 0.40 |
References | Authors | |
7 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Hua Li | 1 | 358 | 75.80 |
| Xinming Ye | 2 | 52 | 11.62 |
| Chengyong Wu | 3 | 515 | 26.67 |
| Chengbao Hang | 4 | 1 | 0.40 |
| Lingling Wang | 5 | 1 | 0.40 |