基于Java平台的单元测试技术研究
| 摘要 | 第1-9页 |
| Abstract | 第9-13页 |
| 第1章 绪论 | 第13-20页 |
| ·研究背景 | 第13页 |
| ·OOP的单元测试概述 | 第13-17页 |
| ·OOP单元测试 | 第13-14页 |
| ·单元测试过程 | 第14-17页 |
| ·基于Java平台单元测试研究现状 | 第17-18页 |
| ·Junit | 第17页 |
| ·Jtest | 第17-18页 |
| ·JML | 第18页 |
| ·JAOUT | 第18页 |
| ·研究工作内容及意义 | 第18-19页 |
| ·本文组织结构 | 第19-20页 |
| 第2章 测试用例度量方法 | 第20-25页 |
| ·覆盖分析器 | 第20-21页 |
| ·语句覆盖和分支覆盖 | 第20-21页 |
| ·复杂性度量 | 第21页 |
| ·覆盖率 | 第21-22页 |
| ·Java变异分析 | 第22-25页 |
| ·变异测试过程 | 第22页 |
| ·变异体分数 | 第22-23页 |
| ·变异操作 | 第23页 |
| ·继承性和多态性的句法模式 | 第23-25页 |
| 第3章 基于契约自动生成测试数据 | 第25-38页 |
| ·类型、子类型和子类型化 | 第25-26页 |
| ·Liskov替代原则 | 第26页 |
| ·类、子类和子类化 | 第26-30页 |
| ·求精演算 | 第27页 |
| ·类正确性定义 | 第27-28页 |
| ·类行为兼容性 | 第28-29页 |
| ·一个反例 | 第29页 |
| ·契约与单元测试 | 第29-30页 |
| ·测试数据生成策略 | 第30-34页 |
| ·正交实验设计法 | 第30-31页 |
| ·均匀设计法 | 第31-34页 |
| ·实验 | 第34-37页 |
| ·实验运行环境 | 第34页 |
| ·实验对象 | 第34页 |
| ·实验步骤 | 第34-35页 |
| ·实验结果及分析 | 第35-37页 |
| ·实验结论 | 第37页 |
| ·小结 | 第37-38页 |
| 第4章 基于遗传算法自动生成测试数据 | 第38-48页 |
| ·Java class文件和字节码工程库 | 第38-41页 |
| ·Java class文件 | 第38-39页 |
| ·字节码工程库 | 第39-40页 |
| ·覆盖监视器 | 第40-41页 |
| ·遗传算法 | 第41-44页 |
| ·遗传算法的基本原理 | 第41页 |
| ·测试数据生成与遗传算法 | 第41-42页 |
| ·遗传算法的收敛性 | 第42-43页 |
| ·遗传算法实现 | 第43-44页 |
| ·基于遗传算法生成测试数据的工具原型 | 第44-46页 |
| ·工具原型简介 | 第44页 |
| ·工具原型算法描述 | 第44-46页 |
| ·实验 | 第46-47页 |
| ·实验环境 | 第46页 |
| ·实验对象 | 第46页 |
| ·实验结果 | 第46-47页 |
| ·小结 | 第47-48页 |
| 第5章 基于Java平台单元测试工具原型 | 第48-67页 |
| ·基于Junit自动生成测试案例模板 | 第48-56页 |
| ·Liskov替代原则与类行为兼容性 | 第48-49页 |
| ·类继承的传递性 | 第49页 |
| ·基于Junit类测试模式 | 第49-53页 |
| ·Java断言、前置条件与测试神谕 | 第53-54页 |
| ·工具设计及实现 | 第54-56页 |
| ·基于Java平台单元测试原型工具实现 | 第56-65页 |
| ·原型工具开发思想 | 第56-57页 |
| ·工具顶层架构及主要功能图 | 第57-62页 |
| ·程序运行界面演示 | 第62-65页 |
| ·小结 | 第65-67页 |
| 结论 | 第67-69页 |
| 参考文献 | 第69-73页 |
| 致谢 | 第73-74页 |
| 附录A | 第74-75页 |
| 附录B | 第75-82页 |
| 附录C | 第82页 |
