资源描述：
《Testing Software Design Modeled by Finite-State Machines》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、178IEEETRANSACTIONSONSOFTWAREENGINEERING,VOL.SE-4,NO.3,MAY1978rectnessofprograms,"ComputingSurveys,vol.8,pp.331-353,_._11WhileatIowaStateUniversityhehadateach-Sept.1976.ingfellowshipinmathematics.HejoinedIBM161H.E.Koenig,Y.Tokad,andH.K.Kesavan,AnalysisofDiscretein1958onthe
2、DesignAutomationProjectatPhysicalSystems.NewYork:McGraw-Hill,1967.Poughkeepsie,NY.In1963hejoinedtheNaval[7]U.R.Kodres,"Discretesystemsandflowcharts,"IEEETrans.PostgraduateSchool,Monterey,CA,whereheSoftwareEng.,tobepublished..-~ispresentlyanAssociateProfessorintheDe-[81-,"L
3、ogiccircuitlayout,"inProc.JointConfonMathematicalpartmentofComputerScience.In1967hewasandComputerAidstoDesign,Oct.1969,pp.165-191._l=aconsultanttoIBMinMenloParkontheAd-19]T.J.McCabe,"Acomplexitymeasure,"IEEETrans.SoftwarevancedComputationalSystemsProject.MostEng.,voLSE-2,p
4、p.308-320,Dec.1976.recentlyhisinterestisinhomogeneous,dis-[10]B.Shneiderman,R.Mayer,J.McKay,andP.Heller,"Experi-tributedcomputerarchitecturesmakinguseofmentalinvestigationoftheutilityofdetailedflowchartsinlarge-scaleintegratedtechnology.Heisacoauthorofabookondesignprogramm
5、ing,"Commun.Ass.Comput.Mach.,voL20,pp.automation,haslecturedattheUCLAsponsoredshortcourses,andwas373-381,June1977.invitedasaFulbrightScholartoYugoslaviatolectureonautomateddesign.UnoR.KodresreceivedtheB.A.degreein1954fromWartbugCollege,Dr.KodresisamemberoftheAssociationfor
6、ComputingMachinery,Waverly,IA,andtheM.A.andPh.D.degreesfromIowaStateUniver-theSocietyforIndustrialandAppliedMathematics,theMathematicalsity,Ames,in1956and1958,respectively.AssociationofAmerica,andSigmaXi.TestingSoftwareDesignModeledbyFinite-StateMachinesTSUNS.CHOWAbstract-
7、Weproposeamethodoftestingthecorrectnessofcontrol1)onlythecontrolstructureofthedesignischecked;structuresthatcanbemodeledbyafinite-statemachine.Testresults2)itdoesnotrequirean"executable"specification;derivedfromthedesignareevaluatedagainstthespecification.No3)testsequences
8、areguaranteedtorevealanyerrorsinthe"executable"prototypeisrequired.Themethodisbasedonares
