基于E-LOTOS的协议抽象测试套自动生成系统

论文摘要

协议测试是用来保证协议实现正确性和有效性的重要手段。协议一致性测试是测试被测协议实现与协议规范要求的一致性的，是协议测试的基础。协议一致性测试研究工作主要集中于两个方面，即测试系统的构造和测试集的生成。在测试系统的构造方面，力求开发具有完备测试能力和运用测试工具的测试环境；而对测试集生成技术的研究主要通过协议的形式化描述自动或半自动地生成一致性测试集。在协议一致性测试过程中，测试集的生成决定了测试的质量，是测试执行的基础，是整个协议测试的核心。本文通过对E-LOTOS标准和TTCN-3的详细研究，结合国内外有关协议一致性测试集自动生成方法，设计并实现了基于E-LOTOS形式描述语言的TTCN-3协议抽象测试套自动生成平台。该平台拥有两种生成方法：基于协议语法树的生成方法和基于协议有限状态机的生成方法。平台以协议的E-LOTOS描述为输入，最终输出TTCN-3核心语言格式的协议测试套。通过对BGP-4协议的研究，给出了BGP-4协议状态机的E-LOTOS描述，并应用抽象测试套自动生成平台为BGP-4协议状态机生成了测试套。

论文目录

• 摘要
• ABSTRACT
• 目录
• 图表目录
• 第一章 绪论
• 1.1 研究背景
• 1.2 国内外测试集生成研究进展及存在问题
• 1.3 研究目标和主要工作
• 1.4 本文中涉及的标准、开发工具及技术
• 1.5 本文的组织和安排
• 第二章 协议一致性测试
• 2.1 协议工程学概述
• 2.2 协议一致性测试
• 2.2.1 一致性测试概论
• 2.2.2 一致性测试过程
• 2.2.3 一致性测试方法
• 第三章 研究基础
• 3.1 形式描述语言
• 3.2 E-LOTOS语言
• 3.3 测试套描述语言 TTCN-3
• 3.3.1 核心语言
• 3.3.2 测试例
• 第四章 测试套自动生成系统的设计与实现
• 4.1 概述
• 4.2 E-LOTOS词法、语法分析
• 4.2.1 词法分析
• 4.2.2 语法分析
• 4.3 基于协议语法树的测试例生成
• 4.3.1 测试序列的生成
• 4.3.2 TTCN-3测试套的生成
• 4.4 基于 FSM的 ATS自动生成
• 4.4.1 图的形成
• 4.4.2 UIO序列的生成
• 4.4.3 前导序列的生成
• 4.4.4 测试序列的生成
• 4.4.5 测试套的生成
• 4.5 两种生成方法的对比
• 第五章 BGP-4协议在系统上的应用
• 5.1 BGP-4协议
• 5.2 BGP-4的E-LOTOS描述
• 5.2.1 BGP-4模块描述
• 5.2.2 状态、输入/输出事件的定义
• 5.2.3 过程及函数描述
• 5.3 BGP-4协议测试套生成
• 5.4 生成测试套的分析与比较
• 第六章 结论与展望
• 参考文献
• 附录 1 BGP-4有限状态机的E-LOTOS的完整描述
• 致谢