首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--程序设计、软件工程论文--软件工程论文

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

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

论文共66页,点击 下载论文
上一篇:面向行人检测的代表性特征子集获取方法研究
下一篇:反病毒虚拟机关键技术研究