Java语言基于函数摘要的全局分析静态测试方法
静态测试是软件测试的一种，它是在不运行源程序的基础上，通过对源程序或者中间代码进行抽象和理解，抽取程序的属性并预测其运行时行为和状态来完成测试．本文通过对DTSJava系统的分析，来说明通过函数摘要对程序进行全局分析的静态测试方法．函数摘要是对函数信息的一种抽象，一般与具体的缺陷模式相关．包括前置信息，后置信息和特征信息．前置信息主要是对调用该函数的条件的一种约束，如参数不能为空．后置信息主要是对类成员和实例成员变量的影响．特征信息是对当前函数一些特征的描述，如资源分配或释放信息．
函数摘要 静态测试 全局分析 Java语言
胡成杰 官云战 金大海
北京邮电大学网络技术研究院,北京 100876
国内会议
合肥
中文
190-194
2010-07-24（万方平台首次上网日期，不代表论文的发表时间）