学位论文 > 优秀研究生学位论文题录展示

TTCN-3测试与漏洞模式分析相结合的漏洞查找方法

作　者: 唐艳武
导　师: 蒋凡
学　校: 中国科学技术大学
专　业: 计算机系统结构
关键词: TTCN-3 通用编解码漏洞模式 Web Services测试
分类号: TN762
类　型: 硕士论文
年　份: 2010年
下　载: 27次
引　用: 1次
阅　读: 论文下载

内容摘要

TTCN-3测试语言作为国际上唯一的测试标准语言,广泛应用于协议一致性测试,互操作性测试等测试领域。使用TTCN-3进行测试前需要解决的一个重要问题就是测试适配器和编解码器的开发,它们往往占据测试开发的大部分工作量。另外,随着测试应用领域的不断扩展,编解码方式及其需要支持的数据类型也更加多样化,而传统的TTCN-3标准里的TCI数据类型接口,已经不能很好的表达不断扩展的数据类型了。如何设计一个新的编解码器的框架,使其能够方便的扩充新的编解码方式和支持新的类型描述语言,是当前使用TTCN-3测试时迫切需要解决的问题。本文研究了上述问题,设计实现了一套通用编解码器,由中间公共类型和值、编解码实现以及对外接口三个模块组成。通过具有良好可扩展性的中间类型和值模块,通用编解码器不仅能够灵活支持各种数据类型语言,而且它的实现独立于特定的TTCN-3测试平台,实现了真正意义上的通用。目前已经实现了工业界常用的编解码,如BER,PER,XER,TLV+,ISO8583,HTTP等。另外,为了配合使用通用编解码器对Web Services的应用进行测试,本文提出了自己的XML Schema&DTD到TTCN-3语言的转换方案,实现了相应的工具。借助TTCN-3测试发现被测系统的某个漏洞后,通过分析提取其所在的源代码,生成相应漏洞模式。使用相似漏洞查找算法,进而发现被测系统中存在的其它相似漏洞。本文首次提出了使用程序依赖图表示漏洞模式以及相应的漏洞模式生成算法,并实现成对应的工具SBF。通过结合TTCN-3测试以及静态漏洞查找方法,提高了漏洞查找的效率以及测试的覆盖率。基于通用编解码器所开发的TTCN-3测试套已经作为一个度量标准应用于中国移动手机支付业务(NFC)主要接口的一致性测试及异常性测试中,取得了较好的效果。在NFC测试中,通过SBF相似漏洞查找工具发现了真实的漏洞,说明通过TTCN-3测试与静态漏洞查找方法结合的有效性。

全文目录

摘要  4-5
ABSTRACT  5-8
图目录  8-9
第1章前言  9-14
  1.1 研究背景和现状  9-10
  1.2 研究内容和意义  10-11
  1.3 本文工作  11-12
  1.4 术语和缩写  12
  1.5 本文章节组织  12-13
  1.6 小结  13-14
第2章 TTCN-3 测试语言和测试系统  14-26
  2.1 TTCN-3 测试语言发展  14-18
    2.1.1 TTCN-3 测试系统概述  15
    2.1.2 测试系统结构  15-16
    2.1.3 编解码器、测试适配器  16-18
  2.2 TTCN-3 语言组织  18-24
    2.2.1 类型和值定义  19-20
    2.2.2 约束、模版定义  20-22
    2.2.3 执行语句定义  22-23
    2.2.4 模块、测试例、函数、可选步定义  23-24
  2.3 TTCN-3 应用  24-25
  2.4 小结  25-26
第3章通用编解码器需求分析  26-31
  3.1 使用TTCN-3 测试面临的挑战  26-28
  3.2 通用编解码器方案的提出及分析  28-30
  3.3 小结  30-31
第4章通用编解码器设计实现  31-45
  4.1 系统结构设计  31-32
  4.2 模块结构设计  32-42
    4.2.1 总体模块设计  32-33
    4.2.2 类型和值模块设计  33-37
    4.2.3 编解码实现模块设计  37-42
    4.2.4 对外接口模块设计  42
  4.3 与现有TTCN-3 测试平台的集成  42-44
  4.4 小结  44-45
第5章 XML Schema 与 XML DTD 到 TTCN-3 转换  45-56
  5.1 XML Schema&DTD 介绍  45-48
  5.2 转换方案设计实现  48-55
    5.2.1 方案设计  48-53
    5.2.2 转换方案实现  53-55
  5.3 小结  55-56
第6章程序依赖子图表示的软件漏洞模式及 SBF 工具的实现  56-60
  6.1 目前漏洞模式描述中存在的问题  56
  6.2 上下文相关的漏洞模式描述  56-58
  6.3 相似漏洞自动查找  58
  6.4 SBF 工具的实现  58-59
  6.5 小结  59-60
第7章实验及分析  60-68
  7.1 手机支付业务的测试  60-67
    7.1.1 测试环境介绍  60-62
    7.1.2 测试设计方案  62-65
    7.1.3 测试结果分析  65-67
  7.2 小结  67-68
第8章结束语  68-69
参考文献  69-71
附录 1 XML Schema 数据到 TTCN-3 数据转换实例  71-74
附录 2 使用通用编解码器的测试脚本实例  74-76
致谢  76-77
在读期间发表的学术论文与取得的研究成果  77

相似论文

基于TTCN-3的SIP与ISUP互通自动化测试技术研究,TP311.52
以MGCF开发为背景的软件自动生成与测试技术研究,TP311.52
基于TTCN-3抽象语法树的可执行测试套的生成研究,TP314
WLAN安全接入协议的一致性测试研究,TN925.93
TTCN-3测试平台中并行测试支持的设计与实现研究,TP311.52
M2M关键协议研究及一致性验证,TP391.44
TD-LTE NAS协议一致性测试规范研究与TTCN测试集开发,TN929.5
TD-SCDMA终端RRM一致性测试系统中TD/GSM系统间测试例的研究与实现,TN929.533
WCDMA RNC自动化测试设计及实现,TN929.533
TD-LTE终端协议一致性测试规范研究及测试集开发,TN929.5
ATS-QSIG协议的一致性测试,TN915.04
TD-SCDMA终端RRM一致性测试连接状态小区重选测试例的研究与实现,TN929.533
基于TTCN语言的TD-SCDMA自动化测试平台设计与应用,TN929.533
基于TTCN-3通用解码器的研究与实现,TN764
基于TTCN-3的软件性能测试方法与技术研究,TP311.52
TD-SCDMA协议一致性测试研究及其测试例的实现,TN929.533
基于TTCN的TD-SCDMA终端协议一致性测试的研究与实现,TN929.533
TD-LTE终端协议一致性测试设计与开发,TN929.5
TD-SCDMA终端RRM一致性测试系统中HSPA测试例的研究与实现,TN929.533
基于CPN和TTCN-3的HMIPv6协议一致性测试研究,TP393.04