面向对象程序分析与测试技术研究
| 摘要 | 第1-6页 |
| Abstract | 第6-11页 |
| 1 绪论 | 第11-25页 |
| ·软件测试的意义 | 第11-13页 |
| ·面向对象程序测试研究现状 | 第13-18页 |
| ·面向对象程序构建的构件软件的测试 | 第18-19页 |
| ·软件测试标准、工具及研究机构 | 第19-22页 |
| ·本文的研究内容与组织 | 第22-25页 |
| 2 类单元分支测试中测试用例的简化生成 | 第25-46页 |
| ·方法(间)控制流及依赖性分析 | 第26-34页 |
| ·非约束边集的计算 | 第34-38页 |
| ·测试路径用例的简化生成 | 第38-45页 |
| ·小结 | 第45-46页 |
| 3 类级统计测试策略与技术 | 第46-59页 |
| ·程序测试充分性理论 | 第46-48页 |
| ·统计测试技术及其充分性 | 第48-49页 |
| ·类统计测试技术 | 第49-58页 |
| ·小结 | 第58-59页 |
| 4 类簇级测试中类间测试序确定算法 | 第59-79页 |
| ·类间关系及建模表示 | 第60-66页 |
| ·典型的类间测试序确定算法 | 第66-70页 |
| ·改进的类间测试序确定算法 | 第70-78页 |
| ·小结 | 第78-79页 |
| 5 构件软件回归测试用例选择策略 | 第79-99页 |
| ·构件软件测试研究基础 | 第80-83页 |
| ·构件及其变更的建模表示 | 第83-86页 |
| ·基于增强的变更信息的用例选择技术 | 第86-90页 |
| ·基于内建式测试设计的用例选择技术 | 第90-94页 |
| ·测试过程实现与实例分析 | 第94-97页 |
| ·小结 | 第97-99页 |
| 6 测试工具原型CppTest 的设计与实现 | 第99-119页 |
| ·系统总体框架 | 第100-103页 |
| ·结构性测试的实现 | 第103-110页 |
| ·基于状态的类测试的实现 | 第110-115页 |
| ·测试结果分析技术 | 第115-117页 |
| ·小结 | 第117-119页 |
| 7 全文总结及展望 | 第119-122页 |
| ·主要工作总结及创新 | 第119-120页 |
| ·未来的研究方向 | 第120-122页 |
| 致谢 | 第122-123页 |
| 参考文献 | 第123-137页 |
| 附录1 攻读博士学位期间发表的学术论文 | 第137-139页 |
| 附录2 攻读博士学位期间主要的科研经历 | 第139页 |
