Skip navigation
Skip navigation

Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets

Bishop, Steve; Fairbairn, Matthew; Norrish, Michael; Sewell, Peter; Smith, Michael; Wansbrough, Keith


Network protocols are hard to implement correctly. Despite the existence of RFCs and other standards, implementations often have subtle differences and bugs. One reason for this is that the specifications are typically informal, and hence inevitably contain ambiguities. Conformance testing against such specifications is challenging.In this paper we present a practical technique for rigorous protocol specification that supports specification-based testing. We have applied it to TCP, UDP, and the...[Show more]

CollectionsANU Research Publications
Date published: 2005
Type: Journal article
Source: SIGCOMM Computer Communications Review
DOI: 10.1145/1090191.1080123


File Description SizeFormat Image
01_Bishop_Rigorous_specification_and_2005.pdf322.01 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator