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

TTCN-3编译器测试覆盖度量研究

作　者: 吴文娟
导　师: 蒋凡
学　校: 中国科学技术大学
专　业: 计算机应用技术
关键词: 编译器测试 TTCN-3 文法测试属性文法测试覆盖度量语义覆盖
分类号: TP311.52
类　型: 硕士论文
年　份: 2009年
下　载: 44次
引　用: 0次
阅　读: 论文下载

内容摘要

对编译器的测试仍以手工设计、开发、执行测试用例方式为主,效率低下且易于出错。建立在文法测试理论基础之上的测试集合生成方法——规则覆盖算法等只考虑了对被测编译器语言文法语法层次上的测试覆盖,为加强对被测语言的全面测试,语义覆盖正逐步成为研究热点。结合TTCN-3编译器的开发,提出了一种语义覆盖算法:通过属性文法的构造完成被测编译器语言的语义规则形式化,利用一种启发式搜索算法生成测试集合,实现了对被测语言语法、语义规则的双重覆盖。在语义覆盖算法中,还定义了一个包含对上下文无关文法和以属性形式表示的语义规则覆盖的测试覆盖度量准则,用于控制算法的终止。提出的语义覆盖算法不仅同时考虑了对被测语言语法、语义层面上的测试覆盖,而且,与规则覆盖算法生成固定的测试集合所不同的是,语义覆盖算法可以通过一些启发策略的制定,使测试者可以灵活控制生成的测试集合的规模和导向性,生成覆盖语言描述特定部分的测试集合。针对语义覆盖算法生成的测试集合存在仅包含诸如文法定义等黑盒信息的问题,给出了一套测试用例扩展方案,生成的带有被测编译器源码分支信息的测试用例集合,保证了条件覆盖。定义的测试覆盖度量准则、测试系统框架等对其他编译器测试具有普适性,在实际的编译器测试过程中也是可行的。

全文目录

摘要  4-5
ABSTRACT  5-9
第1章前言  9-12
  1.1 本文的研究内容及意义  10
  1.2 文章的组织结构  10-11
  1.3 本章小结  11-12
第2章编译器测试技术研究  12-19
  2.1 编译器测试技术简介  12-17
    2.1.1 编译器基本原理  12-13
    2.1.2 编译器测试的特点及难点  13-15
    2.1.3 编译器测试方法  15-17
  2.2 国内外研究现状及发展趋势  17-18
  2.3 本章小结  18-19
第3章 TTCN-3 编译器测试  19-30
  3.1 TTCN-3 测试语言  19-23
  3.2 TTCN-3 测试系统开发项目简介  23-24
    3.2.1 TTCN-3 测试系统整体架构  23-24
  3.2.2 TTTDS2 测试工作介绍  24-26
  3.3 TTCN-3 编译器测试概况  26-29
    3.3.1 TTCN-3 编译器测试目前采用的方法  26-27
    3.3.2 TTCN-3 编译器测试中存在的问题  27-28
    3.3.3 解决方法  28-29
  3.4 本章小结  29-30
第4章测试覆盖算法研究  30-41
  4.1 测试覆盖度量方法  30-33
    4.1.1 测试覆盖度量在软件测试中的重要性  30
    4.1.2 常用测试覆盖度量方法  30-33
  4.2 文法测试覆盖算法分析  33-40
    4.2.1 文法测试定义  33-35
    4.2.2 相关定义  35-36
    4.2.3 规则覆盖算法——Purdom 算法  36-39
    4.2.4 上下文依赖规则覆盖算法  39-40
  4.3 本章小结  40-41
第5章语义覆盖算法  41-49
  5.1 属性文法理论  41-43
  5.2 语义覆盖算法  43-47
    5.2.1 相关定义  43
    5.2.2 测试覆盖度量准则定义  43-44
    5.2.3 算法基本思想  44-45
    5.2.4 算法流程  45-47
  5.3 测试用例生成方法分析  47-48
  5.4 本章小结  48-49
第6章 TTCN-3 编译器测试用例自动生成与扩展  49-57
  6.1 系统框架  49-50
  6.2 异常测试数据的生成  50-51
  6.3 测试用例的扩展  51-56
    6.3.1 语义覆盖算法生成的黑盒测试用例输入  52
    6.3.2 收集并求解被测编译器实现判定条件  52-54
    6.3.3 扩展生成新的测试用例  54-55
    6.3.4 实例分析  55-56
  6.4 本章小结  56-57
第7章结束语  57-58
参考文献  58-60
附录  60-65
  附录1：相关缩略语（按在文中出现的先后顺序排列）  60-61
  附录2：上下文无关规则覆盖算法的伪代码描述（Purdom 算法）  61-65
致谢  65-66
在读期间发表的学术论文与取得的研究成果  66

相似论文

基于TTCN-3的SIP与ISUP互通自动化测试技术研究,TP311.52
战场环境下基于P2P的上下文搜索研究,TP393.02
以MGCF开发为背景的软件自动生成与测试技术研究,TP311.52
基于TTCN-3抽象语法树的可执行测试套的生成研究,TP314
WLAN安全接入协议的一致性测试研究,TN925.93
TTCN-3测试与漏洞模式分析相结合的漏洞查找方法,TN762
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