资源描述：
《abstract inference and enforcement of data structure consistency specifications》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、InferenceandenforcementofdatastructureconsistencyspecificationsBrianDemsky1,MichaelD.Ernst2,PhilipJ.Guo2,StephenMcCamant2,JeffH.Perkins2,MartinRinard21UniversityofCaliforniaatIrvine,Irvine,CA,USA2MITComputerScienceandArtificialIntelligenceLab,Cambridge,MA,US
2、Abdemsky@uci.edu,{mernst,pgbovine,smcc,jhp,rinard}@mit.eduABSTRACTCategoriesandSubjectDescriptorsCorruptdatastructuresareanimportantcauseofunacceptablepro-D.2.5[SoftwareEngineering]:TestingandDebugging;gramexecution.Datastructurerepair(whicheliminatesincon
3、sis-D.3.3[ProgrammingLanguages]:LanguageConstructsandFea-tenciesbyupdatingcorruptdatastructurestoconformtoconsis-turestencyconstraints)promisestoenablemanyprogramstocontinuetoexecuteacceptablyinthefaceofotherwisefataldatastructureGeneralTermscorruptionerro
4、rs.Akeyissueisobtaininganaccurateandcompre-hensivedatastructureconsistencyspecification.Experimentation,Languages,ReliabilityWepresentanewtechniqueforobtainingdatastructureconsis-tencyspecificationsfordatastructurerepair.Insteadofrequir-Keywordsingthedevelop
5、ertomanuallygeneratesuchspecifications,ourapproachautomaticallygeneratescandidatedatastructureconsis-dynamicinvariantdetection,datastructurerepairtencypropertiesusingtheDaikoninvariantdetectiontool.Thede-veloperthenreviewstheseproperties,potentiallyrejectin
6、gorgen-1.INTRODUCTIONeralizingoverlyspecificpropertiestoobtainaspecificationsuitableDatastructureconsistencyisacrucialprogramproperty:cor-forautomaticenforcementviadatastructurerepair.ruptdatastructurescancauseaprogramtobehaveunacceptablyorWehaveimplementedt
7、hisapproachandappliedittothreesiz-evenfail.Approachestoensuringdatastructureconsistencyhaveablebenchmarkprograms:CTAS(anair-trafficcontrolsystem),includedprogramtestingandmonitoringtechniquestodetectandBIND(awidely-usedInternetnameserver)andFreeciv(aninter-
8、localizeerrors(whichthedeveloperwouldthencorrect)[11,1],activegame).Ourresultsindicatethat(1)automaticconstraintgen-rebootingtoclearcorruptedvolatiledatastructures[2],dynamicerationproducesconstraintsthatenab
