导读:本文包含了抽象测试套论文开题报告文献综述及选题提纲参考文献,主要关键词:TTCN-3,抽象测试套,语法树,可执行测试套
抽象测试套论文文献综述
郭丽丽[1](2010)在《基于TTCN-3抽象语法树的可执行测试套的生成研究》一文中研究指出TTCN-3是一种标准的测试描述语言,可用于多种通信端口上的各种响应系统的测试。TTCN-3已经被广泛地应用于协议测试。TTCN-3不仅可以用于功能测试,还可以用于其它类型测试,如互操作性测试和性能测试。用TTCN-3语言编写的测试套需要在测试平台中编译和执行。TTCN-3测试平台由多个实体组成,编译系统是测试平台的重要组成部分,它的功能是将TTCN-3编写的抽象测试套翻译为可执行测试套。TTCN-3语言编译器包括前端和后端。本论文的研究重点是TTCN-3语言编译器的后端——代码生成部分的设计与实现,它将遍历编译器前端输出的抽象语法树生成可执行测试套。由于TTCN-3语言的复杂性,TTCN-3编译器将TTCN-3抽象测试套翻译成对应的C++代码,然后借助C++语言编译器将生成的C++代码编译为可以直接在计算机上执行的代码。TTCN-3编译器后端的设计与实现主要包括如下几方面的工作:对可执行测试套中所需的TE内部接口进行了需求分析与设计;基于语法树设计了用于生成可执行测试套的辅助数据结构;通过扫描语法树,生成这些辅助数据结构,并借助这些辅助数据结构,根据定义的TE内部接口实现了从TTCN-3语法树到可执行测试套的翻译。本文实现的TTCN-3语言编译器后端支持包括模块、数据类型和值、模板、测试行为、测试配置和基于消息通信在内的TTCN-3语言元素的翻译。最后本文通过一个DNS测试套实例说明了TE内部接口的使用方式及完整翻译过程并给出了生成的可执行测试套。(本文来源于《内蒙古大学》期刊2010-06-13)
刘波[2](2009)在《基于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抽象测试套。(本文来源于《内蒙古大学》期刊2009-05-20)
张旭[3](2007)在《基于E-LOTOS的协议抽象测试套自动生成系统》一文中研究指出协议测试是用来保证协议实现正确性和有效性的重要手段。协议一致性测试是测试被测协议实现与协议规范要求的一致性的,是协议测试的基础。协议一致性测试研究工作主要集中于两个方面,即测试系统的构造和测试集的生成。在测试系统的构造方面,力求开发具有完备测试能力和运用测试工具的测试环境;而对测试集生成技术的研究主要通过协议的形式化描述自动或半自动地生成一致性测试集。在协议一致性测试过程中,测试集的生成决定了测试的质量,是测试执行的基础,是整个协议测试的核心。本文通过对E-LOTOS标准和TTCN-3的详细研究,结合国内外有关协议一致性测试集自动生成方法,设计并实现了基于E-LOTOS形式描述语言的TTCN-3协议抽象测试套自动生成平台。该平台拥有两种生成方法:基于协议语法树的生成方法和基于协议有限状态机的生成方法。平台以协议的E-LOTOS描述为输入,最终输出TTCN-3核心语言格式的协议测试套。通过对BGP-4协议的研究,给出了BGP-4协议状态机的E-LOTOS描述,并应用抽象测试套自动生成平台为BGP-4协议状态机生成了测试套。(本文来源于《内蒙古大学》期刊2007-05-30)
抽象测试套论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
随着计算机网络的快速发展,网络协议测试技术成为人们日益关注的焦点,而如何才能设计出可靠的网络协议测试工具已经成为人们必须要面对的问题。为此,协议工程(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抽象测试套。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
抽象测试套论文参考文献
[1].郭丽丽.基于TTCN-3抽象语法树的可执行测试套的生成研究[D].内蒙古大学.2010
[2].刘波.基于GE-LOTOS协议的TTCN-3抽象测试套的设计与实现[D].内蒙古大学.2009
[3].张旭.基于E-LOTOS的协议抽象测试套自动生成系统[D].内蒙古大学.2007