A Concurrent TTCN based Approach to Conformance Testing of Distributed Routing Protocol OSPF v2

I
ICCCN
1998
Seventh International Conference on Computer Communications and Networks (ICCCN '98)
Abstract - A Concurrent TTCN based Approach to Conformance Testing of Distributed Routing Protocol OSPF v2

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Jun Bi Articles by Jianping Wu Articles by X Chen

Seventh International Conference on Computer Communications and Networks (ICCCN '98)

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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICCCN.1998.998839

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.