Towards Standardized Conformance Test Suite for ISO Transport Layer Protocol

Authors

  • Hazem Mostafa El-Gendy Ahram Canadian University
  • Ihab ElSayed Talkhan Cairo University

DOI:

https://doi.org/10.24297/ijct.v12i2.3291

Keywords:

Conformance/Certification Testing, Computer/Communications Protocols, Formal Methods

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.

Downloads

Download data is not yet available.

Author Biographies

Hazem Mostafa El-Gendy, Ahram Canadian University

Chair of Computer Sc. Dept., and Acting Director of External/International Relations

Ihab ElSayed Talkhan, Cairo University

IT Advisor to the Ministery of Health and Population

Downloads

Published

2013-12-28

How to Cite

El-Gendy, H. M., & Talkhan, I. E. (2013). Towards Standardized Conformance Test Suite for ISO Transport Layer Protocol. INTERNATIONAL JOURNAL OF COMPUTERS &Amp; TECHNOLOGY, 12(2), 3268–3276. https://doi.org/10.24297/ijct.v12i2.3291

Issue

Vol. 12 No. 2 (2013)

Section

Research Articles
Crossref
Scopus
Google Scholar
Europe PMC