Context-driven Testing of Object-oriented Systems

Many different testing techniques have been proposed by researchers, but essentially only two main testing philosophies exist, black box and white box. There exists a number of different testing methods for structural testing of procedural languages, howev

Context-drivenTestingofObject-orientedSystems

AmieL.Souter

DepartmentofComputerScience

DrexelUniversityPhiladelphia,PA19104souter@cs.drexel.edu

Abstract

Manydifferenttestingtechniqueshavebeenproposedbyresearchers,butessentiallyonlytwomaintestingphiloso-phiesexist,blackboxandwhitebox.Thereexistsanumberofdifferenttestingmethodsforstructuraltestingofproce-durallanguages,however,thefeaturesofobject-orientedlanguagesarenotaddressedbysuchtechniques.Thisdis-sertationexploresanewstructuraltestingtechniqueforobject-orientedsystemsbydevelopingatestingmethodol-ogybasedonobjectmanipulationsanddrivenbythecon-textoftheprogramundertest.

1.Introduction

intoObject-orientedprogramminglanguageslyingtheconceptsideologymainstreamofanprogrammingobject-orientedcommunity.haveapproachisTheemergedtounder-modelbeenthroughtheuseofobjects.Suchanapproachdesignincorporatedintosoftwareengineeringanalysisandhassignedmethodologies,ableandtheprograms.whichhelpindevelopingwellde-programmerInaddition,toobject-orientedfeaturesen-orientedmodular.softwareapproach,Althoughtestingtheredeveloparemanysoftwarebene tsthattoisanreusableobject-thetunately,reliability,engineeringlifecycle,isstillandarequiredisrequiredaspecttoensureoftheandtalresourcetesting,robustnessandinparticularandusabilityadhocofsoftware.testing,isUnfor-laborperativecostofsoftwareintensive,developmentaccounting[4].for50%-60%Therefore,ofittheisim-to-ofprovidingtestingthatandtechniquesimprovethebequalitydevelopedofsoftware,thatreducewhilethecostalsoresearchers,Manydifferentasmuchtestingautomationtechniquesandeasehaveofbeenuseasproposedpossible.byphiesbothexist,butblackessentiallyboxandonlywhitetwoboxmaintesting.testingWhilephiloso-theywhitehavebox,theiralsotradeoffscalledprogram-basedandshouldbeusedorstructuralincombination,testing,

isbasedthefocusofthisdissertation.Structuraltechniquesarenumberonknowledgeoftheprogram.Whilethereexistsaofingproceduralofdifferentcasesmotivation—analyzinglanguages,testingtheymethodsforstructuraltestingtheprogramallsharecodethesameunderly-mentsandtrol ow-basedoftheensureprogramthattechniquesiscoverageachievedofaremotivatedbyspeci ctodeveloptestagivenstructuralele-bytestthesuite.intuitionCon-thatlargecoveringdifferentcontrol owpathswouldexerciseabasedproportionvaluesonthepremiseofprogramthattestingbehaviors.pathsDatathatread owandtestingwriteishaviorstoredEvenofaprogramintotheinsametermsmemoryofitsmanipulationlocationstestsofdatathebe-theifthesetestingtechniquescanbeextendedto[5].thesefeaturesofobject-orientedlanguages,theusefulnessdealwithofmingtechniquesintheprogramsdomainwithwhereisunclearintheobject-orientedprogram-astructureobject-orientedthatdiffersdesignprinciplesresultods.

proceduralprogramsoriginallytargetedsigni cantlybythesemeth-fromniqueThisfordissertationobject-orientedexploressystemsanewbystructuraldevelopingtestingatestingtech-methodologybasedonobjectmanipulationsanddrivenbythecontextoftheprogramundertest[6].

2.OverviewofResearchProblemsandResults

notStaticforonlydef-useinformationhasbeenshowntobeusefulmaintenance.debuggers,foroptimizingtionIneditors,andparallelizingcompilers,butalsoproceduralprogramlanguages,integration,adef-useandsoftwareassocia-where(orreachabledpair)isastatementforvariablede ningvisvanorderedtuple(v,d,u)usesvbyatleastonede nition-clearanduispathastatementfromd,thatandisuispolymorphismtheInanoramemorylocationboundtov.

computationobject-orientedofdef-useprogrammingassociationsparadigm,notonlyusescouldbeinterpretedandinheritance,inanumberbutobjectcomplicatedofwaysde nitionsduetoandbyob-

Many different testing techniques have been proposed by researchers, but essentially only two main testing philosophies exist, black box and white box. There exists a number of different testing methods for structural testing of procedural languages, howev

jectaggregation.Programmerscreateobjectaggregationrelationshipsmorewhentheydesignaclassparadigmobjectsofotherclasses.Becausethattheincludesobject-orientedoneorlationsde nitionsofobjectspromotescansigni canthavefarreachinguseofaggregation,manipu-has-arelation.

andusesofotherobjectsthrougheffectstheonaggregationtheobjectvidualThisaggregationobjectdissertationde nitionsdescribesandanovelformulationofindi-andationspolymorphismrelations[8].inadditionuses,towhichaddressingcapturesinheritanceobjectcomputedarecontextualinThethatresultingtheyprovideobjectcontextdef-useassoci-gram,areincontrastdef-usetoassociationstraditionalinanobject-orientedwithpro-thecontext.

calledcontext-freebecausetheydef-useareassociations,reportedfreewhichofanyduringThisticsexperimentalnewformulationstudieswasinspiredofJavabyobservationsmadegraph[12].anrepresentationInparticular,developedbyextendingprogrambyWhaleythepoints-tocharacteris-andRinardescape[14],withalgorithmforgeneratingcontextualdef-useassociationsegytheprogram’sprovidingseveralstrategiesobjectadifferenthasaggregatelevelbeenofdevelopedwitheachstrat-relationships.

context,butallbasedonciationsAnapproachforIn(cdus)isexploredconstructingaspartcontextualofthisdissertationdef-useasso-bleorderTheofcapturingtoconstructobjectcdus,aprogramrepresentationcapa-[7].nardpoints-toescapegraphaggregationdevelopedrelationsbyWhaleyisnecessary.andRi-manipulation[14]representsgraphofobjects.objectByrelationshipsextendingbymodelingthegeneratedrepresentation,forthedifferentcontextualcontextdef-usethelevels.

associationspoints-toescapecanbewhichThegraph1isextendedreferredtopoints-toasescapegraphrepresentation,manipulations,containstheape(AnnotatedPoints-toEscape)morphism,toadequatethesameinformationobjectinthetopresenceidentifypotentialofIntermineaddition,aliasing,thisprograminher …… 此处隐藏：15588字，全部文档内容请下载后查看。喜欢就下载吧 ……