1 AIT Asian Institute of Technology

A specification of a system for implementation validation of computer network protocol

AuthorVasin Permsup
Call NumberAIT Thesis no. CS-87-14
Subject(s)Computer networks
NoteA thesis submitter in partial fulfillment of the requirements for the degree of Master of Engineering, School of Engineering and Technology
PublisherAsian Institute of Technology
AbstractThis 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.
Year1987
TypeThesis
SchoolSchool of Engineering and Technology (SET)
DepartmentOther Field of Studies (No Department)
Academic Program/FoSComputer Science (CS)
Chairperson(s)Aagesen, Finn Arve
Examination Committee(s)Vilas Wuwongse ;Venkatachalam, Paruvachi A.
Scholarship Donor(s)The Australian Government
DegreeThesis (M.Eng.) - Asian Institute of Technology, 1987


Usage Metrics
View Detail0
Read PDF0
Download PDF0