1
A specification of a system for implementation validation of computer network protocol | |
Author | Vasin Permsup |
Call Number | AIT Thesis no. CS-87-14 |
Subject(s) | Computer networks |
Note | A thesis submitter in partial fulfillment of the requirements for the degree of Master of Engineering, School of Engineering and Technology |
Publisher | Asian Institute of Technology |
Abstract | This thesis is a design and specification of a system to aid the implementation and testing / validation of a computer network protocol. The system is designed for higher level protocol layer, i.e. from transport layer (layer 4) up. The system will aid the implementation by let the implementer fill in well-structured "program skeletons " instead of start coding from scratch and will test / validate the protocol implemented as if it were running in the real system by emulating its environment, including the capability to emulate the delayed and nondeterministic sequence of events using the queue system with timer. In order to use the system the protocol must be implemented within this system or with compatible interface based on signal. The strategy to test / validate is not included in this work and left to the user since this i s an open-ended tool. The system operates in 2 modes: manual and automatic. In automatic mode the predefined sequence is used and the checking of result is done automatically using the "Combined Service State Machine" constructed from the service primitives specification. The sample specification for implementation and testing / validation of OSI/CCITT Basic Combined Subset (BSC) of session layer protocol using this system is included in this thesis as an example on its application. |
Year | 1987 |
Type | Thesis |
School | School of Engineering and Technology (SET) |
Department | Other Field of Studies (No Department) |
Academic Program/FoS | Computer Science (CS) |
Chairperson(s) | Aagesen, Finn Arve |
Examination Committee(s) | Vilas Wuwongse ;Venkatachalam, Paruvachi A. |
Scholarship Donor(s) | The Australian Government |
Degree | Thesis (M.Eng.) - Asian Institute of Technology, 1987 |