| 摘要 | 第1-7页 |
| ABSTRACT | 第7-9页 |
| 插图索引 | 第9-10页 |
| 附表索引 | 第10-11页 |
| 第一章 绪论 | 第11-17页 |
| ·Web 应用测试研究背景 | 第11-15页 |
| ·Web 应用测试概述 | 第11-12页 |
| ·Web 应用测试研究分类 | 第12-15页 |
| ·Web 应用程序的测试发展现状 | 第15页 |
| ·论文主要研究内容及组织结构 | 第15-17页 |
| 第二章 程序分析及测试相关技术 | 第17-25页 |
| ·程序分析技术 | 第17页 |
| ·测试数据的自动生成技术 | 第17-18页 |
| ·基于接口的随机测试方法 | 第18-19页 |
| ·Concolic 测试方法 | 第19-24页 |
| ·符号执行和具体执行 | 第19-20页 |
| ·Concolic 概述 | 第20-22页 |
| ·Concolic 测试方法 | 第22-24页 |
| ·本章小结 | 第24-25页 |
| 第三章 Web 应用程序特点及动态页输出异常检测分析 | 第25-32页 |
| ·Web 应用程序特点 | 第25-27页 |
| ·动态页概念及特点 | 第27-28页 |
| ·动态页输出异常表现 | 第28-29页 |
| ·Concolic 方法在动态页输出异常检测中的应用分析 | 第29-31页 |
| ·本章小结 | 第31-32页 |
| 第四章 Web 动态页输出异常自动检测方法研究 | 第32-54页 |
| ·单个动态页的检测方法 | 第32-35页 |
| ·检测策略 | 第32-34页 |
| ·算法执行演示 | 第34-35页 |
| ·多个相关动态页模块级检测方法 | 第35-49页 |
| ·多个页面动态行为分析 | 第38页 |
| ·基于状态转换的测试 | 第38-40页 |
| ·多个相关页的模块级检测策略 | 第40-43页 |
| ·算法执行演示 | 第43-49页 |
| ·多个页面检测实例 | 第49-53页 |
| ·实验设计 | 第49-50页 |
| ·实验结果及分析 | 第50-53页 |
| ·本章小结 | 第53-54页 |
| 第五章 Web 动态页输出异常检测框架原型设计 | 第54-60页 |
| ·系统介绍 | 第54-55页 |
| ·系统设计 | 第55-59页 |
| ·用户主界面层设计 | 第55-57页 |
| ·功能业务层设计 | 第57-59页 |
| ·数据支持层 | 第59页 |
| ·本章小结 | 第59-60页 |
| 第六章 总结与展望 | 第60-62页 |
| ·工作总结 | 第60-61页 |
| ·工作展望 | 第61-62页 |
| 参考文献 | 第62-66页 |
| 成果目录 | 第66页 |
| 参与项目 | 第66-67页 |
| 致谢 | 第67页 |