该课题根据传统数据流分析技术,结合面向对象程序的特征,针对目前广为流行的面向对象语言--Java,主要研究了Java类单元上的数据流分析检测技术及其支持工具的实现.该研究从软件分析和测试的角度出发,通过源代码的静态分析,对Java类单元的实现进行多层面的数据流异常检测,主要包括三个层次:(a)方法内的局部数据流分析检测;(b)方法间数据流分析检测;(c)在类对外提供的接口上的全局数据流分析检测.该文的主要研究内容包括:分析Java语言的特点,给出Java程序中语句和分支的详细说明,进而构造类单元中方法的控制流程图并分析出方法内的逻辑路径,因为数据流分析是和路径相关的.研究并设计一个多用途的、易维护、易扩充的Java程序源代码静态分析器,以支持多用途的静态结构信息的提取.研究传统结构化程序相关数据流分析技术,结合Java类单元的特征,分析和总结Java类单元上进行数据流分析的特点和难点.研究并设计Java类单元上数据流分析的方案,对Java类单元进行全面的数据流检测.研究并设计数据流异常检测结果的显示和定位的方式,确保数据流分析结果易于理解,方便测试人员和开发人员进行异常的定位和排除.