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

Description

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
URI: http://hdl.handle.net/1885/83330
Source: SIGCOMM Computer Communications Review
DOI: 10.1145/1090191.1080123

Download

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:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator