【作者】 刘波；

【导师】 赵玉兰；

【作者基本信息】 内蒙古大学 ， 计算机软件与理论， 2009， 硕士

【摘要】 随着计算机网络的快速发展,网络协议测试技术成为人们日益关注的焦点,而如何才能设计出可靠的网络协议测试工具已经成为人们必须要面对的问题。为此,协议工程(Protocl Engineering,PE)应运而生。形式描述技术在协议工程中扮演着重要角色,使得网络协议测试的正确性和可靠性得到了有利的保障。E-LOTOS(Enhancements to Language of Temporal OrderingSpecification)是一种形式描述技术,它支持形式化方法。图形E-LOTOS(Graphic E-LOTOS,GE-LOTOS)是E-LOTOS的图形表示形式,具有形象、直观的特点。本文通过对E-LOTOS和TTCN-3的深入研究,在已有LOTOS的图形表示基础上,设计修改了GE-LOTOS的各种图形样式,可以很好地表示E-LOTOS的文本含义;实现了从文本E-LOTOS到GE-LOTOS的转换软件;基于GE-LOTOS生成了TTCN-3抽象测试套;给出了IS-IS协议状态机的GE-LOTOS的表示和该状态机的TTCN-3抽象测试套。更多还原

【Abstract】 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.更多还原