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

TTCN-3编译器测试用例集自动生成研究与实现

摘要第1-5页
ABSTRACT第5-8页
引言第8-9页
第1章 绪论第9-19页
   ·研究背景第9-16页
     ·软件测试概述第9-12页
     ·编译器测试第12-14页
     ·TTCN-3 及其编译器第14-16页
     ·本文工作第16页
   ·相关文献综述第16-17页
   ·研究目的、意义第17-18页
   ·术语与缩写第18-19页
第2章 理论依据第19-30页
   ·TTCN-3 语言规范第19-22页
     ·复杂的类型系统第19-21页
     ·复杂的作用域概念第21页
     ·灵活的状态转换第21-22页
   ·编译器测试的理论基础第22-25页
     ·编译器分类与结构第22-25页
     ·编译器质量度量第25页
   ·程序设计语言理论第25-28页
   ·TTCN-3 编译器结构第28-30页
第3章 解决方案第30-46页
   ·方案概述第30-31页
   ·生成流程详细说明第31-39页
     ·规则分解第31-32页
     ·属性代码添加第32-34页
     ·递归生成器第34-35页
     ·属性计算第35-36页
     ·子树组合第36-38页
     ·测试用例输出第38页
     ·覆盖结果获取与反馈第38-39页
   ·技术难点与处理方法第39-46页
     ·测试用例语法语义的保证第39-40页
     ·标识符生成及作用域、名字空间第40-42页
     ·状态转换图的测试第42-44页
     ·值的生成第44-45页
     ·生成效率问题第45页
     ·异常测试用例的生成第45-46页
第4章 原型系统设计与实现第46-57页
   ·开发环境与工具第46页
   ·系统设计第46-47页
   ·子功能模块设计与实现第47-55页
     ·规则分解与属性添加模块第47页
     ·文法表示模块第47-49页
     ·分析树表示模块第49-51页
     ·属性代码执行模块第51-52页
     ·分析树生成模块第52-53页
     ·类型支持及值生成模块第53-54页
     ·分析树组合及测试例输出模块第54-55页
   ·实验与结果分析第55-57页
第5章 总结与展望第57-59页
   ·研究取得成果及创新点第57-58页
   ·今后工作与研究方向第58-59页
参考文献第59-61页
致谢第61-62页
研究生期间论文以及参与项目第62页

论文共62页,点击 下载论文
上一篇:散乱数据的等值线等值面生成技术研究
下一篇:自动阻抗匹配器驱动程序设计及匹配算法研究