Java类单元上的静态数据流分析检测技术的研究
| 文献类型 | 学位 |
| 作者 | 王斌[1] |
| 机构 | 北京航空航天大学 ↓ |
| 授予学位 | 硕士 |
| 年度 | 2004 |
| 学位授予单位 | 北京航空航天大学 |
| 语言 | 中文 |
| 关键词 | 数据流分析;异常检测;静态分析;符号表 |
| 摘要 | 该课题根据传统数据流分析技术,结合面向对象程序的特征,针对目前广为流行的面向对象语言--Java,主要研究了Java类单元上的数据流分析检测技术及其支持工具的实现.该研究从软件分析和测试的角度出发,通过源代码的静态分析,对Java类单元的实现进行多层面的数据流异常检测,主要包括三个层次:(a)方法内的局部数据流分析检测;(b)方法间数据流分析检测;(c)在类对外提供的接口上的全局数据流分析检测.该文的主要研究内容包括:分析Java语言的特点,给出Java程序中语句和分支的详细说明,进而构造类单元中方法的控制流程图并分析出方法内的逻辑路径,因为数据流分析是和路径相关的.研究并设计一个多用途的、易维护、易扩充的Java程序源代码静态分析器,以支持多用途的静态结构信息的提取.研究传统结构化程序相关数据流分析技术,结合Java类单元的特征,分析和总结Java类单元上进行数据流分析的特点和难点.研究并设计Java类单元上数据流分析的方案,对Java类单元进行全面的数据流检测.研究并设计数据流异常检测结果的显示和定位的方式,确保数据流分析结果易于理解,方便测试人员和开发人员进行异常的定位和排除. |
影响因子：
dc:title:Java类单元上的静态数据流分析检测技术的研究
dc:creator:王斌
dc:date: publishDate:1753-01-01
dc:type:学位
dc:format: Media：北京航空航天大学
dc:identifier: LnterrelatedLiterature：北京航空航天大学.2004.
dc:identifier:DOI：
dc: identifier:ISBN:
