摘要 | 第1-5页 |
Abstract | 第5-7页 |
目录 | 第7-11页 |
第一章 引言 | 第11-19页 |
·研究背景及选题意义 | 第11-14页 |
·研究背景 | 第11-13页 |
·基于构件的软件开发 | 第11-12页 |
·软件测试 | 第12-13页 |
·选题意义 | 第13-14页 |
·国内外研究现状 | 第14-17页 |
·国外研究现状 | 第14-15页 |
·国内研究现状 | 第15-16页 |
·存在的问题 | 第16-17页 |
·本文主要研究内容 | 第17页 |
·本文组织结构 | 第17-18页 |
·本章小结 | 第18-19页 |
第二章 相关技术 | 第19-27页 |
·构件测试 | 第19-20页 |
·构件测试的意义 | 第19页 |
·构件测试的特点 | 第19-20页 |
·面向路径的测试数据生成 | 第20-21页 |
·问题的描述与定义 | 第20页 |
·问题的解决方法 | 第20-21页 |
·JavaCC和JJTree | 第21-24页 |
·JavaCC和JJTree简介 | 第21-22页 |
·使用JavaCC设计编译器 | 第22-24页 |
·遗传算法 | 第24-25页 |
·遗传算法的简介 | 第24页 |
·遗传算法的基本思想 | 第24-25页 |
·本章小结 | 第25-27页 |
第三章 白盒构件结构分析 | 第27-45页 |
·抽象语法树 | 第27-36页 |
·抽象语法树简介 | 第27-29页 |
·抽象语法树的生成 | 第29-34页 |
·抽象语法树的生成流程 | 第29-30页 |
·文法文件的编写 | 第30-34页 |
·抽象语法树的遍历 | 第34-36页 |
·控制流图 | 第36-41页 |
·控制流图简介 | 第36-37页 |
·控制流图存储的数据结构 | 第37-38页 |
·控制流图的生成算法 | 第38-40页 |
·控制流图的可视化 | 第40-41页 |
·变量符号表 | 第41-42页 |
·变量表的生成 | 第41页 |
·变量引用表的生成 | 第41-42页 |
·方法调用图 | 第42-43页 |
·类关系图 | 第43页 |
·本章小结 | 第43-45页 |
第四章 白盒构件基本路径集生成 | 第45-51页 |
·环路复杂度 | 第45-47页 |
·基本路径集生成 | 第47-50页 |
·基本路径 | 第47-48页 |
·基本路径集生成算法 | 第48-50页 |
·本章小结 | 第50-51页 |
第五章 白盒构件测试数据自动生成 | 第51-65页 |
·测试数据生成过程 | 第51-52页 |
·随机法生成测试数据 | 第52-57页 |
·获取接口信息 | 第52-55页 |
·随机生成测试数据 | 第55-56页 |
·计算测试数据的路径覆盖率 | 第56-57页 |
·遗传算法补充生成测试数据 | 第57-63页 |
·问题的转化 | 第57-58页 |
·种群个体编码 | 第58-59页 |
·种群规模的确定 | 第59页 |
·适应度函数设计 | 第59-60页 |
·遗传算子 | 第60-62页 |
·选择算子 | 第60页 |
·交叉算子 | 第60-61页 |
·变异算子 | 第61-62页 |
·算法的实现及流程 | 第62-63页 |
·本章小节 | 第63-65页 |
第六章 白盒构件测试数据自动生成工具实现与实验分析 | 第65-81页 |
·系统分析和设计 | 第65-68页 |
·系统功能分析 | 第65-66页 |
·体系结构设计 | 第66-67页 |
·系统类图设计 | 第67-68页 |
·系统实现 | 第68-73页 |
·白盒构件程序结构分析 | 第70-71页 |
·白盒构件基本路径集生成 | 第71-72页 |
·白盒构件测试数据自动生成 | 第72-73页 |
·实验及结果分析 | 第73-80页 |
·实验一 | 第73-76页 |
·实验二 | 第76-80页 |
·本章小结 | 第80-81页 |
第七章 总结与展望 | 第81-83页 |
·本文工作总结 | 第81页 |
·下一步工作 | 第81-83页 |
致谢 | 第83-85页 |
参考文献 | 第85-89页 |
附录A 攻读学位期间发表论文及参与项目 | 第89页 |