基于concolic的web动态页输出异常自动检测方法研究-计算机应用技术专业论文.docxVIP

目 录 HYPERLINK \l _bookmark0 摘 要 I HYPERLINK \l _bookmark1 ABSTRACT II HYPERLINK \l _bookmark2 插图索引 IV HYPERLINK \l _bookmark3 附表索引 V HYPERLINK \l _bookmark4 第一章 绪论 1 TOC \o 1-2 \h \z \u HYPERLINK \l _bookmark5 Web 应用测试研究背景 1 HYPERLINK \l _bookmark6 Web 应用测试概述 1 HYPERLINK \l _bookmark8 Web 应用测试研究分类 2 HYPERLINK \l _bookmark9 Web 应用程序的测试发展现状 5 HYPERLINK \l _bookmark10 1.2 论文主要研究内容及组织结构 5 HYPERLINK \l _bookmark11 第二章 程序分析及测试相关技术 7 HYPERLINK \l _bookmark12 2.1 程序分析技术 7 HYPERLINK \l _bookmark13 2.2 测试数据的自动生成技术 7 HYPERLINK \l _bookmark14 2.3 基于接口的随机测试方法 8 HYPERLINK \l _bookmark15 Concolic 测试方法 9 HYPERLINK \l _bookmark16 2.4.1 符号执行和具体执行 9 HYPERLINK \l _bookmark17 Concolic 概述 10 HYPERLINK \l _bookmark19 Concolic 测试方法 12 HYPERLINK \l _bookmark21 2.5 本章小结 14 HYPERLINK \l _bookmark22 第三章 Web 应用程序特点及动态页输出异常检测分析 15 HYPERLINK \l _bookmark23 3.1 Web 应用程序特点 15 HYPERLINK \l _bookmark25 3.2 动态页概念及特点 17 HYPERLINK \l _bookmark26 3.3 动态页输出异常表现 18 HYPERLINK \l _bookmark27 3.4 Concolic 方法在动态页输出异常检测中的应用分析 19 HYPERLINK \l _bookmark28 3.5 本章小结 21 HYPERLINK \l _bookmark29 第四章 Web 动态页输出异常自动检测方法研究 22 HYPERLINK \l _bookmark30 4.1 单个动态页的检测方法 22 HYPERLINK \l _bookmark31 4.1.1 检测策略 22 HYPERLINK \l _bookmark32 4.1.2 算法执行演示 24 HYPERLINK \l _bookmark34 4.2 多个相关动态页模块级检测方法 25 HYPERLINK \l _bookmark36 4.2.1 多个页面动态行为分析 28 HYPERLINK \l _bookmark37 4.2.2 基于状态转换的测试 28 HYPERLINK \l _bookmark38 4.2.3 多个相关页的模块级检测策略 30 HYPERLINK \l _bookmark39 4.2.4 算法执行演示 33 HYPERLINK \l _bookmark42 4.3 多个页面检测实例 39 HYPERLINK \l _bookmark43 4.3.1 实验设计 39 HYPERLINK \l _bookmark44 4.3.2 实验结果及分析 40 HYPERLINK \l _bookmark47 4.4 本章小结 43 HYPERLINK \l _bookmark48 第五章 Web 动态页输出异常检测框架原型设计 44 HYPERLINK \l _bookmark49 5.1 系统介绍 44 HYPERLINK \l _bookmark51 5.2 系统设计 45 HYPERLINK \l _bookmark53 5.2.1 用户主界面层设计 45 HYPERLINK \l _bookmark55 5.2.2 功能业务层设计 47 HYPERLINK \l _bookmark58 5.2.3 数据支持层 49 HYPERLINK \l _bookmark59 5.3 本章小结 49 HYPERLINK \l _bookmark60 第六章 总结与展望 50