Towards Standardized Conformance Test Suite for ISO Transport Layer Protocol
Journal Title: INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY - Year 2013, Vol 12, Issue 2
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.
Authors and Affiliations
Hazem Mostafa El-Gendy, Ihab ElSayed Talkhan
Keywords
Related Articles
- EP ID EP650404
- DOI 10.24297/ijct.v12i2.3291
- Views 82
- Downloads 0
A new approach to Computer-Based Examinations using word documents and spreadsheets
This paper describes a new approach to computer based testing where lecturers submit questions via word document which is processed to produce an examination, with student results analyzed and reported in a spreadsheet....
3D from 2D for Nano images using images processing methods
The scanning electron microscope (SEM) remains a main tool for semiconductor and polymer physics but TEM and AFM are increasingly used for minimum size features which called nanomaterials. In addition some physical prope...
IMPROVED NEGATIVE SELECTION BASED DECISION BASED MEDIAN FILTER FOR NOISE REMOVAL
For de-noising an image, various filtering techniques are used but they have contradiction between noise removal and Edge preservation in an image. This de-noising contradiction has no efficient solution and they have to...
Effects of Rainfall Attenuation on Frequencies 1 and 3 GHZ in Nigeria
Mobile communications are part of our everyday life. The non-ideal environment which is filled with many attenuation factors affects the electromagnetic waves, which radio communication depends. This study considers the...
A Study Paper on Communication Network and overview of Packet Switching Technology
In this paper,we highlight some of the principal events that led up to the revolution in communications among information processing systems. We devote most of this presentation to a brief summary of the communication ne...