基于Benchmark Suite的程序分析工具评价方法

摘要

在对软件质量要求愈来愈高的今天，作为对动态检测技术的重要补充，静态分析技术成为近年的研究热点，并不断有静态分析工具问世。然而目前缺乏一种被广泛接受的对这些工具的评测方法，本文基于此提出基于Benchmark Suite的程序分析工具评价方法。主要工作如下:
　　1、综述了静态分析技术和工具的现状。
　　2、分析了对静态分析工具的Benchmark的研究现状及其发展趋势。
　　3、提出了针对静态分析工具的Benchmark database的选取原则，并根据原则初步构建了包含1000多个测试用例的小型用例库和51个测试用例的大型用例库。
　　4、提出了对静态分析工具的量化评价指标。
　　5、设计了对静态分析工具的测试流程，设计并实现了针对静态分析工具的Benchmark Suite组件，使得进行静态分析工具的评测变得高度自动化，并具有优良的图形界面。
　　6、针对四种静态分析工具和六种bug类型进行了评测，对四种工具的功能性，时空性等做出了评价。

目录

声明

摘要

第一章 绪论

1．1 程序静态分析技术与工具概述

1．1．1 程序静态分析技术

1．1．2 程序静态分析工具

1．2 程序静态分析工具评价方法

1．2．1 研究背景

1．2．2 国内外研究现状

1．2．3 发展趋势

1．3 课题目标与研究内容

1．3．1 课题目标

1．3．2 研究内容

1．4 论文结构

第二章 程序静态分析工具评测方法研究

2．1 Benchmark database的选取原则

2．1．1 测试代码的一般特点

2．2．2 测试代码的构成

2．2 评价指标的确定

2．3 Benchmark suite的总体设计

2．3．1 总体架构和流程

2．3．2 中间文件格式

2．4 分析工具与bug类型的确定

2．4．1 静态分析工具的选取

2．4．2 bug类型的确定

第三章 Benchmark database的构建

3．1 小型用例的选取

3．2 大型用例的选取

第四章 Suite组件的设计与实现

4．1 实现平台的选择

4．2 控制器的设计与实现

4．2．1 监视器的设计与实现

4．2．2 标准化工具的设计

4．2．3 报告生成器的设计与实现

4．2．4 实现效果

4．3 分析器的设计与实现

4．3．1 初始化模块的设计

4．3．2 分析模块的设计

4．3．3 显示模块的设计

第五章 结果分析与讨论

5．1 小型样例测试结果与分析

5．2 小型样例对比测试结果与分析

5．3 大型样例测试结果与分析

5．4 大型样例对比测试结果与分析

第六章 结论

6．1 结论

6．2 未来工作

参考文献

致谢