Model-Based Software Testing and Analysis with 利用C#进行基于模型的软件测试和分析

图书标准信息

• 作者 Jonathan（乔纳森·杰奇）、Margus（马加斯·韦尼斯）、Colin（柯林·坎贝尔）、Wolfram Schulte（沃尔夫拉姆·舒尔特） 著
• 出版社 Cambridge University Press
• 出版时间 2008-01
• ISBN 9780521687614
• 定价 892.40元
• 装帧 平装
• 开本 其他
• 纸张 其他
• 页数 366页
• 正文语种 英语

【内容简介】

Thisbookteachesmodel-basedanalysisandmodel-basedtesting,withimportantnewwaystowriteandanalyzesoftwarespecificationsanddesigns,generatetestcases,andchecktheresultsoftestruns.Thesemethodsincreasetheautomationineachofthesesteps,makingthemmoretimely,morethorough,andmoreeffective.Usingafamiliarprogramminglanguage,testersandanalystswilllearntowritemodelsthatdescribehowaprogramissupposedtobehave.Theauthorsworkthroughseveralrealisticcasestudiesindepthanddetail,usingatoolkitbuiltontheC#languageandthe.NETframework.Readerscanalsoapplythemethodsinanalyzingandtestingsystemsinmanyotherlanguagesandframeworks.Intendedforprofessionalsoftwaredevelopersincludingtesters,andforuniversitystudents,thisbookissuitableforcoursesonsoftwareengineering,testing,specification,orapplicationsofformalmethods.

【作者简介】

JonathanJackyisaresearchscientistattheUniversityofWashingtoninSeattle.Heisexperiencedinembeddedcontrolsystems,safety-criticalsystems,signalprocessing,andscientificcomputing.HehastaughtattheEvergreenStateCollegeandhasbeenavisitingresearcheratMicrosoftResearch.HeistheauthorofTheWayofZ:PracticalProgrammingwithFormalMethods.ColinCampbellhasworkedonmodel-basedtestingandanalysistechniquesforanumberofyearsinindustry,includingMicrosoftResearch.HeisaprincipaloftheconsultingfirmModeledComputationLLCinSeattle(www.modeled-computation.com).Hiscurrentinterestsincludedesignanalysis,themodelingofreactiveanddistributedsystems,andtheintegrationofcomponentsinlargesystems.MargusVeanesisaresearcherintheFoundationsofSoftwareEngineering(FSE)groupatMicrosoftResearchandaco-designerandco-developeroftheSpecExplorertool.WolframSchulteisaresearchareamanageratMicrosoftResearch,managingtheFSEgroup,theProgrammingLanguagesandMethods(PLM)group,andtheSoftwareDesignandImplementation(SDI)group.