Java语言基于函数摘要的全局分析静态测试方法  

An Inter-Procedural Static Testing Method Based on Method Summary for Java

作　　者：胡成杰[1] 宫云战[1] 金大海[1] 

机构地区：[1]北京邮电大学网络技术研究院,北京100876

出　　处：《计算机研究与发展》2010年第S1期64-68,共5页Journal of Computer Research and Development

基　　金：国家"八六三"高技术研究发展计划基金重点项目(2007AA010302);国家"八六三"高技术研究发展计划基金项目(2009AA012404)

摘　　要：静态测试是软件测试的一种,它是在不运行源程序的基础上,通过对源程序或者中间代码进行抽象和理解,抽取程序的属性并预测其运行时行为和状态来完成测试.通过对DTSJava系统的分析,来说明通过函数摘要对程序进行全局分析的静态测试方法.函数摘要是对函数信息的一种抽象,一般与具体的缺陷模式相关.包括前置信息、后置信息和特征信息.前置信息主要是对调用该函数的条件的一种约束,如参数不能为空.后置信息主要是对类成员和实例成员变量的影响.特征信息是对当前函数一些特征的描述,如资源分配或释放信息.静态测试是软件测试的一种,它是在不运行源程序的基础上,通过对源程序或者中间代码进行抽象和理解,抽取程序的属性并预测其运行时行为和状态来完成测试.通过对DTSJava系统的分析,来说明通过函数摘要对程序进行全局分析的静态测试方法.函数摘要是对函数信息的一种抽象,一般与具体的缺陷模式相关.包括前置信息、后置信息和特征信息.前置信息主要是对调用该函数的条件的一种约束,如参数不能为空.后置信息主要是对类成员和实例成员变量的影响.特征信息是对当前函数一些特征的描述,如资源分配或释放信息.

关 键 词：函数摘要 静态测试 缺陷模式 全局分析 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]