资源描述:
《指针映射集的动态内存故障检测测验方法分析研究》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、7《计算机学报》2009年11期,2009,32(11)基于指针映射集的动态内存故障测试方法研究张威1),2),宫云战2),卢庆龄1),万琳1)1)(装甲兵工程学院信息工程系北京100072)2)(北京邮电大学网络与交换技术国家重点实验室北京100876)摘要动态内存故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源.而现有的静态分析方法主要存在漏报和误报过多的情况.针对这些问题,提出了指针映射代数系统的概念,全面地反映了指针与内存之间的映射关系.并给出了面向不同故障的指针映射集的构造规则,以此为基础建立
2、了动态内存故障模型.通过指针映射集和故障模型,可以自动检测内存释放异常、内存泄露和空指针引用等动态内存故障,提高了测试效率.在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度.实验结果表明,该方法能够有效检测动态内存故障,而且由于规则定义较为全面,漏报和误报率也较低.矚慫润厲钐瘗睞枥庑赖。关键词软件测试;静态分析;指针映射集;内存泄漏;空指针引用中图分类号TP302.8ResearchonDynamicMemoryFaultsTestingMethodbasedonPointerMappingSets聞創沟燴鐺險爱氇
3、谴净。ZHANGWei1),2),GONGYun-Zhan2),LUQing-Ling1),WANLin1)残骛楼諍锩瀨濟溆塹籟。1)(DepartmentofInformationEngineering,AcademyofArmoredForceEngineering,Beijing100072)酽锕极額閉镇桧猪訣锥。2)(StateKeyLaboratoryofNetworkingandSwitchingTechnology,BeijingUniversityofPostsandTelecommunications,Beijin
4、g100876)彈贸摄尔霁毙攬砖卤庑。Abstract:Dynamicmemoryfaultsareubiquitousintheprogramwithpointers.Itisdifficulttolocatefaultssourcesadoptingdynamictestingmethod.Staticanalysismethodsnowadaysoftenmisssomefaultsandproducetoomanyfalsealarms.Consideringoftheseproblems,thispaperputsforw
5、ardthenotionofpointermappingalgebrasystemthatreflectsthemappingrelationshipofpointerandmemorycompletely,andgivestheconstructionrulesofpointermappingsetsfordifferentfaultsclass,andthenestablishesdynamicmemoryfaultsmodel.Throughpointermappingsetsandfaultmodel,itcandetect
6、baddeallocation,memoryleakandnullpointerdereferencefaultsautomaticallyandincreasethetestingefficiency.Intheprocessofanalyzing,itadoptssyntheticallycontrolflowchartandpathconditioninordertoincreasetheprecisionoftestingresults.Resultsofexperimentationshowthatthismethodca
7、ndetectdynamicmemoryfaultseffectively.Sinceruledefinitionisgeneral,theprobabilityofmissingfaultsandproducingfalsealarmsislower.謀荞抟箧飆鐸怼类蒋薔。Keywords:softwaretesting;staticanalysis;pointermappingsets;memoryleak;nullpointerdereference厦礴恳蹒骈時盡继價骚。本课题得到国家“八六三”高技术研究发展计划探索导向类项目
8、(2007AA010302,2009AA012404)资助.张威,男,1968年生,博士,教授,主要研究方向为软件工程、软件测试.E-mail:zw2051@126.com.宫云战,男,1961年生,博士,教授,博士生导师,主要研究方