基于GE-LOTOS协议的TTCN-3抽象测试套的设计与实现
|
摘要
随着计算机网络的快速发展,网络协议测试技术成为人们日益关注的焦点,而如何才能设计出可靠的网络协议测试工具已经成为人们必须要面对的问题。为此,协议工程(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抽象测试套。
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.
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抽象测试套。
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.
引文
[1]龚正虎.利用CCS的协议描述与验证技术的研究[J],计算机研究与发展,1995年3月,第32卷第3期:61-65
[2]赵会群等.通信软件测试技术基础[M],人民邮电出版社,2004年2月
[3]http://www.iol.unh.edu/
[4]F.I.Massetto,W.L.de Souza,S.D.Zorzo.Simulator for E-LOTOS Specifications,Proceedings of the 35th Annual Simulation Symposium,2002
[5]吴建平,陈修环,郝瑞兵等.基于形式化技术的协议集成测试系统-PITS,清华大学学报(自然科学版),1998,38(S1):26-29
[6]ISO/IEC FDIS 15437:Information technology-Enhancements to LOTOS(E-LOTOS),2001
[7]ETSI ES 201 873-1 V3.1.1.The Testing and Test Control Notation version 3-part 1:TTCN-3Core Language,2005
[8]ETSI ES 201 873-2 V3.1.1.The Testing and Test Control Notation version 3-part 2:TTCN-3Tabular presentation Format(TFT),2005
[9]ETSI ES 201 873-3 V3.1.1.The Testing and Test Control Notation version 3-part 3:TTCN-3Graphical presentation Format(GFT),2005
[10]ISO DP 10589,Intermediate System to Intermediate System Intra-Domain Routing Exchange Protocol for Use in Conjunction with the Protocol for Providing the Connectionless-Mode Network Service(ISO 8473)[S]
[11]R Callon,Use of OSI IS-IS for Routing in TCP/IP and Dual Environments[R].RFC 1195,1995
[12]ISO/IEC 9646-1.Information technology-Open Systems Interconnection-Conformance testing methodology and framework-Part 1:General concepts,1994
[13]ISO/IEC 9646-2.Information technology-Open Systems Interconnection-Conformance testing methodology and framework-Part 2:Abstract Test Suite specification,1994
[14]ISO/IEC JTC1/SC21 WG7.Information retrieval,transfer and management for OSI,framework:formal methods in conformance testing.Committee Draft CD13245-1,1995,8-10
[15]叶新铭.形式描述技术[M],内蒙古大学计算机学院
[16]王燕.从E-LOTOS到GE-LOTOS的自动转换工具与GE-LOTOS执行器的设计与实现,内蒙古大学,2007年硕士学位论文
[17]萨智海.TTCN-3测试管理的设计与实现,内蒙古大学,2005年硕士学位论文
[18]范炜玮,苏金树,彭伟.IS-IS路由协议一致性测试的研究与实现,计算机工程与科学,2006,28(7)
[19]姜振海,赵保华,周颢.IS-IS协议一致性测试系统的设计,文章编号1002-8331-(2006)18-0120-03
[20]罗晓慧,赵达观,谢高岗,谢冬青.IS-ISv6协议一致性测试系统设计与实现,微机算计应用,2006,27(1)
[21]刘莹泽.IS-IS路由协议一致性测试研究,内蒙古大学,2008年硕士学位论文
[22]赵玉兰,叶新铭.从E-LOTOS到图形E-LOTOS的一个编辑和自动转换的编译软件[J],内蒙古大学学报(自然科学版),1999,30(6)
[23]李文.图形E-LOTOS的一个编辑软件和执行算法,内蒙古大学学报(自然科学版),1999,Vol.30 No.1:122-127
[24]龚正虎.CCS及其在协议工程中的应用[J].计算机工程与科学,1994年第03期:51-56
[25]古天龙,蔡国永.网络协议的形式化分析与设计[M].电子工业出版社,2003年6月
[26]曹晓静.将中缀表达式转换为前缀表达式的三种方法.甘肃科技.2006年5月.第5期:72-73
[27]赵玉兰,叶新铭,贾斌.一种有效的形式描述技术:GE-LOTOS[J].内蒙古大学学报(自然科学版),2000年,第31卷第3期:325-328
[2]赵会群等.通信软件测试技术基础[M],人民邮电出版社,2004年2月
[3]http://www.iol.unh.edu/
[4]F.I.Massetto,W.L.de Souza,S.D.Zorzo.Simulator for E-LOTOS Specifications,Proceedings of the 35th Annual Simulation Symposium,2002
[5]吴建平,陈修环,郝瑞兵等.基于形式化技术的协议集成测试系统-PITS,清华大学学报(自然科学版),1998,38(S1):26-29
[6]ISO/IEC FDIS 15437:Information technology-Enhancements to LOTOS(E-LOTOS),2001
[7]ETSI ES 201 873-1 V3.1.1.The Testing and Test Control Notation version 3-part 1:TTCN-3Core Language,2005
[8]ETSI ES 201 873-2 V3.1.1.The Testing and Test Control Notation version 3-part 2:TTCN-3Tabular presentation Format(TFT),2005
[9]ETSI ES 201 873-3 V3.1.1.The Testing and Test Control Notation version 3-part 3:TTCN-3Graphical presentation Format(GFT),2005
[10]ISO DP 10589,Intermediate System to Intermediate System Intra-Domain Routing Exchange Protocol for Use in Conjunction with the Protocol for Providing the Connectionless-Mode Network Service(ISO 8473)[S]
[11]R Callon,Use of OSI IS-IS for Routing in TCP/IP and Dual Environments[R].RFC 1195,1995
[12]ISO/IEC 9646-1.Information technology-Open Systems Interconnection-Conformance testing methodology and framework-Part 1:General concepts,1994
[13]ISO/IEC 9646-2.Information technology-Open Systems Interconnection-Conformance testing methodology and framework-Part 2:Abstract Test Suite specification,1994
[14]ISO/IEC JTC1/SC21 WG7.Information retrieval,transfer and management for OSI,framework:formal methods in conformance testing.Committee Draft CD13245-1,1995,8-10
[15]叶新铭.形式描述技术[M],内蒙古大学计算机学院
[16]王燕.从E-LOTOS到GE-LOTOS的自动转换工具与GE-LOTOS执行器的设计与实现,内蒙古大学,2007年硕士学位论文
[17]萨智海.TTCN-3测试管理的设计与实现,内蒙古大学,2005年硕士学位论文
[18]范炜玮,苏金树,彭伟.IS-IS路由协议一致性测试的研究与实现,计算机工程与科学,2006,28(7)
[19]姜振海,赵保华,周颢.IS-IS协议一致性测试系统的设计,文章编号1002-8331-(2006)18-0120-03
[20]罗晓慧,赵达观,谢高岗,谢冬青.IS-ISv6协议一致性测试系统设计与实现,微机算计应用,2006,27(1)
[21]刘莹泽.IS-IS路由协议一致性测试研究,内蒙古大学,2008年硕士学位论文
[22]赵玉兰,叶新铭.从E-LOTOS到图形E-LOTOS的一个编辑和自动转换的编译软件[J],内蒙古大学学报(自然科学版),1999,30(6)
[23]李文.图形E-LOTOS的一个编辑软件和执行算法,内蒙古大学学报(自然科学版),1999,Vol.30 No.1:122-127
[24]龚正虎.CCS及其在协议工程中的应用[J].计算机工程与科学,1994年第03期:51-56
[25]古天龙,蔡国永.网络协议的形式化分析与设计[M].电子工业出版社,2003年6月
[26]曹晓静.将中缀表达式转换为前缀表达式的三种方法.甘肃科技.2006年5月.第5期:72-73
[27]赵玉兰,叶新铭,贾斌.一种有效的形式描述技术:GE-LOTOS[J].内蒙古大学学报(自然科学版),2000年,第31卷第3期:325-328