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

第六届中国测试学术会议论文集(CTC2010)·中国合肥·2010年7月 Java语言基于函数摘要的全局分析静态测试方法 胡成杰1官云战1金大海1 1北京邮电大学网络技术研究院，北京100876 (qie888@163．tom) 摘要静态测试是软件测试的一种，它是在不运行源程序的基础上，通过对源程序或者中间代码进行抽象和理解，抽取程序的 属性并预测其运行时行为和状态来完成测试．本文通过对DTSJava系统的分析，来说明通过函数摘要对程序进行全局分析的静 态测试方法．函数摘要是对函数信息的一种抽象，一般与具体的缺陷模式相关．包括前置信息，后置信息和特征信息．前置信 息主要是对调用该函数的条件的一种约束，如参数不能为空．后置信息主要是对类成员和实例成员变量的影响．转征信息是对 当前函数一些特征的描述，如资源分配或释放信息． 关键词函数摘要：静态测试：缺陷模式；全局分析 中图法分类号TP311 A Static MethodBasedonMethod forJava Testing Summary Inter-procedural Hu YunzhanlJinDaHail ChcngjielGong ofPostsand 100876) 1(InstituteofNetWorkingTechnologyResearch，BeijingUniversity AbstractStatic isakindofsoftware isbasedOilwithout thesource theabstractand testing testing，which running code，through of,sourcecodeortheinte可medlate the ofcodeand theirrun-timebehaviorandthe understanding code,extractingproperties predicting stateto the this astatic methodaboutthe themethod analysisby summary completetesting．Inpaper,Weproposetesting interprocedural ofthe a ofthe istheabstractofmethod is systematic DTSJa垤system．Methodsummary programthrough analysis relatedtothedefectmodelin includes andfeature is the general．It pre—information，post-information mainly can constraintofthis as notbe is theinfluenceofthemembervariables method,such the呻eterempty．nepost-informationmainly resomv．eallocation andinstancevariablesoftheclass，Featureinformationisa ofthecurrentmethod as