| 基于域敏感指向分析的区间运算在软件测试中的应用 |
| |
| 引用本文： | 周虹伯,金大海,宫云战.基于域敏感指向分析的区间运算在软件测试中的应用[J].计算机研究与发展,2012,49(9):1852-1862. |
| |
| 作者姓名： | 周虹伯 金大海 宫云战 |
| |
| 作者单位： | 网络与交换技术国家重点实验室(北京邮电大学) 北京 100876 |
| |
| 基金项目： | 国家"八六三"高技术研究发展计划基金项目 |
| |
| 摘 要： | 静态分析由于并不执行源代码,导致无法获取变量在实际运行中的取值,进而对一些和变量取值相关的缺陷检测带来了一定困难.利用符号执行和区间运算技术,虽然可以模拟程序实际执行时变量的可能取值范围,但对于结构体、数组等,由于不能对其成员进行独立描述,导致数据流无法支持域敏感分析,对和其成员变量相关的缺陷的检测难以实现,产生很多漏报.基于域敏感指向分析的区间运算模型,在域敏感指向分析模型的基础上对其进行了改进,将复杂数据类型拆分成独立的成员变量进行分析,并提出一种关联抽象取值集的类型系统,该系统可以保守的描述程序在动态执行时变量的可能取值.结合赋值语句的抽象语法定义,给出了该类型系统在数据流计算时的具体推导算法,并将其应用在缺陷检测系统(DTSGCC和DTSCPP)中.选用DTSCPP作为实验平台,对6个C++开源工程进行了测试,并对其数据进行了统计分析,结果表明该方法可以减少漏报,且测试效率与非域敏感版本相当.
|
| 关 键 词： | 静态分析 缺陷检测 域敏感 指向分析 区间运算 |
Application of Interval Arithmetic in Software Testing Based on Field-Sensitive Point-to Analysis |
| |
| Zhou Hongbo
,
Jin Dahai
,
Gong Yunzhan.Application of Interval Arithmetic in Software Testing Based on Field-Sensitive Point-to Analysis[J].Journal of Computer Research and Development,2012,49(9):1852-1862. |
| |
| Authors: | Zhou Hongbo Jin Dahai Gong Yunzhan |
| |
| Affiliation: | (State Key Laboratory of Networking and Switching Technology(Beijing University of Posts and Telecommunications),Beijing 100876) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
