This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Seventh International Conference on Computer Communications and Networks (ICCCN '98)
A Concurrent TTCN based Approach to Conformance Testing of Distributed Routing Protocol OSPF v2
Lafayette, Lousiana
October 12-October 15
ISBN: 0-8186-9014-3
ASCII Text
x 
 
Jun Bi, Jianping Wu, X Chen, "A Concurrent TTCN based Approach to Conformance Testing of Distributed Routing Protocol OSPF v2," Computer Communications and Networks, International Conference on, pp. 760, Seventh International Conference on Computer Communications and Networks (ICCCN '98), 1998.
 
 
BibTex
x
 
@article{ 10.1109/ICCCN.1998.998839,
author = {Jun Bi and Jianping Wu and X Chen},
title = {A Concurrent TTCN based Approach to Conformance Testing of Distributed Routing Protocol OSPF v2},
journal ={Computer Communications and Networks, International Conference on},
volume = {0},
year = {1998},
issn = {1095-2055},
pages = {760},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICCCN.1998.998839},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Communications and Networks, International Conference on
TI - A Concurrent TTCN based Approach to Conformance Testing of Distributed Routing Protocol OSPF v2
SN - 1095-2055
SP
EP
A1 - Jun Bi,
A1 - Jianping Wu,
A1 - X Chen,
PY - 1998
KW - Computer Networks
KW - Internet
KW - Routing Protocol
KW - OSPF
KW - Protocol Testing
KW - Formal Methods
KW - Test Generation
KW - Distributed Systems
KW - Labeled Transition Systems
KW - Concurrent TTCN
KW - CEBE
VL - 0
JA - Computer Communications and Networks, International Conference on
ER -
 
Jun Bi, Tsinghua University
Jianping Wu, Tsinghua University
X Chen, Tsinghua University
This paper proposes an formal approach to conformance testing for OSPF v2, a widely used distributed routing protocol in Internet. Routing function is performed in a distributed system, thus the testing is more complex than traditional peer-to-peer protocol. Concurrent TTCN is a test notation that can handle concurrent test behaviors and it is suitable for the routing function testing. We first discuss a concurrent TTCN based OSPF test architecture. Then we formally define and implement a concurrent TTCN based test system based on an extension of LTS (Labelled Transition System). Finally, we present a specification model CEBE to specify an OSPF entity and to generate (combine the data and control flow) test suite.
Index Terms:
Computer Networks, Internet, Routing Protocol, OSPF, Protocol Testing, Formal Methods, Test Generation, Distributed Systems, Labeled Transition Systems, Concurrent TTCN, CEBE
Citation:
Jun Bi, Jianping Wu, X Chen, "A Concurrent TTCN based Approach to Conformance Testing of Distributed Routing Protocol OSPF v2," icccn, pp.760, Seventh International Conference on Computer Communications and Networks (ICCCN '98), 1998
Usage of this product signifies your acceptance of the Terms of Use.