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 94
- Downloads 0
Performance Comparison of IMABN-2 and MALN-2 in Faulty and Non-Faulty Network Conditions
In this paper, we have compared the performance of IMABN-2 and MALN-2. To compare the performance, data packets were passed via both networks in faulty and non-faulty environments. Results show that MALN-2 performs bette...
Security Test by using F T M and Data Allocation Strategies on Leakage Detection
The data distributors work is to give sensitive data to a set of presumably trusted third party agents.The data i.e., sent to these third parties are available on the unauthorized places like web and or some ones systems...
A REVIEW OF NEW ABOUT CLOUD COMPUTING SECURITY
Job scheduling system problem is a core and challenging issue in Cloud Computing. How to use Cloud computing resources efficiently and gain the maximum profits with job scheduling. Job scheduling system is one of the Clo...
EEG Analysis for Differentiating between Brain Death and Coma in Humans
To have an accuracy and fast diagnosis of brain death is very urgent for patients especially for distinguishing brain death from coma circumstance. Electroencephalogram is a method of invasive recording brain signals wit...
CONCEPTUAL THREE PHASE KDD MODEL AND FINANCIAL RESEARCH
KDD model becomes used in financial process. Data Mining tools can be used to improve the efficiency of the professionals. The integration of Data Mining tools with the traditional financial research methods is relative...