ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

Towards Standardized Conformance Test Suite for ISO Transport Layer Protocol

Journal: INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY (Vol.12, No. 2)

Publication Date:

Authors : ; ;

Page : 3268-3276

Keywords : Conformance/Certification Testing; Computer/Communications Protocols; Formal Methods;

Source : Download Find it from : Google Scholarexternal

Abstract

In 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.

Last modified: 2016-06-29 18:22:57