Testing of object-oriented programs based on finite state machines

《Testing of object-oriented programs based on finite state machines》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、TestingofObject-OrientedProgramsBasedonFiniteStateMachines*HyoungSeokHong,YongRaeKwonandSungDeokChaDepartmentofComputerScienceKoreaAdvancedInstituteofScienceandTechnology373-1,Kusong-dong,Yusong-gu,Taejon,Korea{hshong,yrkwon,cha}Qsalmosa.kaist.ac.krAbstractmembersandinturn,member

2、functionsmanipulatedatamembers.Thisinteractionisreprtisentcdastlefi-Inobject-orientedtestingliterature,aclassiscon-nitionsandusesofdatamembersinmemberfunctionssideredtobeabasicwitoftesting.Am,ajorchar-andcanbeproperlymodeledwithFSMs;datamem-acteristicofclassesistheinteractionbetw

3、eendatabersrepresenttheallowablestatesofit11objectandm.cm

4、ecificationofclassesinmostobject-orientedanal-fi~i,it~statemachines(FSM).Inthispaper,wediscussysisanddesign(00A/OOD)methods[3,6,18,191.howFSMscunbeeffectivelyusedforclasstestin,g.WeHowever,FSMsin00A/OODmethodsa.redescrihcddom.on,stratehowtospecifythebehaviorofclassesus-withEnglis

5、horpseudo-codeandlackformalseman-in,,qFSMsandpresen,tatestcasegeneration,techniqueticstoenableautomatedgenerationoftestcases.WeBasedonFSMs.Inourtechnique,FSMsaretrans-proposeclassstatemachine(CSM)forautomatictestformedin,toaflowgraphfrom,whichwecaneqlicitlycasesgeneration.Thebasi

6、cfcaturesofCSMarebasedidcntifydntaflowsoftheFSM.Thenwegen~ratetestonFSMsusedinRumbaughetal.’smethod[l8].CSMcasesusingconventionaldataflowtestin,gtechniquesisasortofextendedFSMscomposedofstates,tran-upon.theflowgraph#.sitions,anddatamembersofaclass.Inourtechnique,wespecifythebehav

7、iorofclassesintermsofCSMandgeneratretestcasesbasedondataflowsinCSM.First,wetransformCSMintoa1Introductionflowgraphfromwhichwecanexplicitlyidentifydataflows;definitionsandusesofeachdatamemberinInobject-orient,edprograms,thereisasingleen-CSM.Thenweapplyconventionaldataflowtestingti

8、t,ycalledanobject,whichrepresentshothdat