资源描述：
《Model-Based Software Testing and Analysis with CSharp.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、ThispageintentionallyleftblankP1:KNPcuny1215-bookCUNY1215-Jacky9780521886550October2,200716:18Model-BasedSoftwareTestingandAnalysiswithC#Thisbookteachesmodel-basedanalysisandmodel-basedtesting,importantnewwaystowriteandanalyzesoftwarespecificationsanddesigns,generatetestcases,andchecktheresul
2、tsoftestruns.Thesemethodsincreasetheautomationineachofthesesteps,makingthemmoretimely,morethorough,andmoreeffective.Usingafamiliarprogramminglanguage,testersandanalystswilllearntowritemodelsthatdescribehowaprogramissupposedtobehave.Theauthorsworkthroughseveralrealisticcasestudiesindepthandde
3、tail,usingatoolkitbuiltontheC#languageandthe.NETframework.Readerscanalsoapplythemethodsinanalyzingandtestingsystemsinmanyotherlanguagesandframeworks.Intendedforprofessionalsoftwaredevelopers,includingtesters,andforuniversitystudents,thisbookissuitableforcoursesonsoftwareengineering,testing,s
4、pecification,orapplicationsofformalmethods.JonathanJackyisaResearchScientistattheUniversityofWashingtoninSeattle.Heisexperiencedinembeddedcontrolsystems,safety-criticalsystems,signalprocessing,andscientificcomputing.HehastaughtattheEvergreenStateCollegeandhasbeenaVisitingResearcheratMicrosoftR
5、esearch.HeistheauthorofTheWayofZ:PracticalProgrammingwithFormalMethods.MargusVeanesisaResearcherintheFoundationsofSoftwareEngineering(FSE)groupatMicrosoftResearch.Hisresearchinterestsincludemodel-basedsoftwarede-velopment,validation,andtesting.ColinCampbellhasworkedonmodel-basedtestingandana
6、lysistechniquesforanumberofyearsinindustry,forcompaniesincludingMicrosoftResearch.HeisaPrincipaloftheconsultingfirmModeledComputationLLCinSeattle(www.modeled-computation.com).Hiscurrentinterestsincludedesignanalysis,themodelingofreactiveanddistributedsystems,andtheintegrationofcomponentsinlar
7、gesystems.WolframSchulteisaResearchAreaManageratMicrosoftResearch,managingtheFSEgroup,theProgrammingLanguagesandMethods(PLM)group,andtheSoftwareDesignandImplementation(SDI)group.iP1:KNPcuny1215-bookCUNY1215-Jacky9780521886550October2,200716:18iiP1:
