手机知网 App
24小时专家级知识服务
打 开
手机知网|搜索

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

胡成杰;宫云战;金大海

  静态测试是软件测试的一种,它是在不运行源程序的基础上,通过对源程序或者中间代码进行抽象和理解,抽取程序的属性并预测其运行时行为和状态来完成测试.本文通过对DTSJava系统的分析,来说明通过函数摘要对程序进行全局分析的静态测试方法.函数摘要是对函数信息的一种抽象,一般与具体的缺陷模式相关.包括前置信息,后置信息和特征信息.前置信息主要是对调用该函数的条件的一种约束,如参数不能为空.后置信息主要是对类成员和实例成员变量的影响.特征信息是对当前函数一些特征的描述,如资源分配或释放信息.……   
[关键词]:函数摘要;静态测试;缺陷模式;全局分析
[文献类型]:会议论文
[文献出处]: 《第六届中国测试学术会议论文集2010年
App内打开