Towards Standardized Conformance Test Suite for ISO Transport Layer Protocol
AbstractIn this paper, we develop a sound Conformance Test Suite for the Transport Layer Protocol Internationally standardized by both ISO and IEC.Â This is to test the implementations of the protocol, promote and facilitate standardized test suites, and promote the use of formal methods.Â We use formal methods for the generation of testing sequences to make the results sound.Â The protocol is formally specified in Lotos; the ISO/IEC Formal Description Technique for computer/communications protocols and distributed systems.
Copyright (c) 2013 INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY
This work is licensed under a Creative Commons Attribution 4.0 International License.
The author warrants that the article is original, written by stated author(s), has not been published before, contains no unlawful statements, does not infringe the rights of others, is subject to copyright that is vested exclusively in the author and free of any third party rights, and that any necessary written permissions to quote from other sources have been obtained by the author(s).