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 99
- Downloads 0
Genetic algorithm based approach to solve travelling salesman problem with one point crossover operator:
In this paper, the travelling salesman problem using genetic algorithm has been attempted. In this practical paper solution is easy and we can easily apply genetic operator in this type of problem. Complexity is both in...
To investigate the Temporal and Spatial correlation behavioral characteristics of MIMO fading channels
This paper deals with the analysis of performance bounds of narrowband multiple-input multiple-output (MIMO) fading channels considering the transmission links from the mobile station (MS) to the base station (BS) throug...
INTRODUCTION TO ROUTING PROTOCOLS
In this era of communication network, we can access any website or contact any person with the help of internet or telephone anywhere in the world without knowing where the website is hosted and without knowing where the...
Concept and Dimensions of Web 4.0
Web 4.0 is a new evolution of the Web paradigm based on multiple models, technologies and social relationships. The concept of Web 4.0 is not totally clear and unanimous in literature, because it is composed by several d...
Back Radiation Suppression in Modified Aperture Coupled Microstrip Antenna by using patches under the substrate
A microstrip slot antenna for C Band has been proposed with compact structure and suppressed back radiation. In this paper, the feeding technique used is aperture coupling with a modification that patches and the feed li...