Towards Standardized Conformance Test Suite for ISO Transport Layer Protocol
Journal: INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY (Vol.12, No. 2)Publication Date: 2013-12-27
Authors : Hazem El-Gendy; Ihab Talkhan;
Page : 3268-3276
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.
Other Latest Articles
- Improve Enterprise Search using pattern matching and web mining techniques for E-Commerce Website
- European Economies’ Stability Faced With Potential Outburst of Sovereign Debt Crisis. An Empirical Study Using Neural Network
- SIAVA: Secret Information Aggregation Design for Various Applications in Wireless Sensor Networks
- A Performance Evaluation of Shape Based Image Retrieval Using Heuristic Function
- SPICE-like Models for Nonlinear Capacitors and Inductors
Last modified: 2016-06-29 18:22:57