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