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]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.