TTCN-3 Abstract Test Suite Of Protocol Design And Realise Based On GE-LOTOS

Along with the rapid development of the computer network,the network protocol testing techniques becomes the focus which people pay more and more attention to.However,how to design a reliable network protocol testing tool has become the problem what people must face.Therefore,Protocl engineering turns up. Fomal description plays an important part in protocol engineering,which makes to get favorable safeguard for the correctness and reliability of the network protocol testing.E-LOTOS(Enhancements to Language of Temporal Ordering Specification) is a kind of Formal Description Technology.It supports formal methods.Graphic E-LOTOS(GE-LOTOS) is the graphic representation of E-LOTOS,also has the characteristics of visualization and intuition.This thesis further studies on E-LOTOS and TTCN-3.In the thesis,we design and revise various graphics styles of GE-LOTOS on the basis of study the existing graphic representation form of E-LOTOS,which makes to express the E-LOTOS text meaning accurately.And the thesis realizes conversion software from the textual E-LOTOS to GE-LOTOS,and realizes to generate test cases using GE-LOTOS. Based on analysing IS-IS protocol in depth,the thesis gives the GE-LOTOS presentation and the TTCN-3 abstract test suite of the IS-IS LAN adjacency state machie.