面向Java程序的智能模糊测试关键技术研究

目录

第一个书签之前

摘 要

ABSTRACT

绪论

研究背景

Java语言：最流行的程序语言之一

单元测试：Java程序的主要方法

模糊测试：实用高效的程序测试技术

论文的主要工作

论文的组织结构

相关研究

Java程序分析技术背景知识

Java字节码与Java虚拟机

静态分析方法

动态分析方法

Java自动单元测试方法研究

基于随机生成的自动化测试方法

基于搜索的自动化测试

模糊测试方法研究现状

基于生成的模糊测试

基于变异的模糊测试

现有工具对比

发展趋势分析

面向Java程序的模糊测试方法研究

基于依赖性分析的测试类自动生成

问题分析

基于依赖性分析的自动类构建方法

依赖性分析

方法序列的构建

基于知识库构建类实例

面向文件的测试类构成方法

原型工具JDriver的实现

实验结果与分析

基于示例代码评估JDriver

基于图片处理软件库测试JDriver

基于多个软件库测试JDriver

讨论

本章小结

基于条件语句污点追踪的模糊测试

问题分析

基于条件语句污点追踪的模糊测试方法

测试输入的定义

以分支覆盖为目标的模糊测试

基于污点追踪的影响分支变量集合解析方法

基于污点信息和依赖性分析的输入生成

基于Java反射机制的输入执行

实验结果与分析

性能评价指标

实验设计

实验结果与分析

讨论

本章小结

混合式待测方法调度算法

问题分析

背景知识

问题分析

基于启发式和动态反馈相结合的混合式待测方法调度算法

基于方法调用图的驱动方法选择

基于启发式的待测方法筛选

基于执行反馈的待测方法调度

实验结果与分析

性能评价指标

非必要测试方法过滤实验结果

动态测试

讨论

本章小结

智能模糊测试平台CuteFuzzer的设计与实现

问题分析

CuteFuzzer系统及其实现技术

CuteFuzzer简介

CuteFuzzer系统结构

CuteFuzzer模块组成

应用实例

对待测软件进行静态分析

对目标方法进行测试

对待测软件进行测试

讨论

本章小结

总结与展望

工作总结

未来展望

致谢

参考文献

作者在学期间取得的学术成果

JDriver生成类类表

Java运行时库中定义的非检查型异常及分析