文藝復興以降，源遠流長的科學精神和逐步形成的學術規(guī)范，使西方國家在自然科學的各個領域取得了壟斷性的優(yōu)勢；也正是這樣的傳統(tǒng)，使美國在信息技術發(fā)展的六十多年間名家輩出、獨領風騷。在商業(yè)化的進程中，美國的產(chǎn)業(yè)界與教育界越來越緊密地結(jié)合，計算機學科中的許多泰山北斗同時身處科研和教學的最前線，由此而產(chǎn)生的經(jīng)典科學著作，不僅擘劃了研究的范疇，還揭示了學術的源變，既遵循學術規(guī)范，又自有學者個性，其價值并不會因年月的流逝而減退。近年，在全球信息化大潮的推動下，我國的計算機產(chǎn)業(yè)發(fā)展迅猛，對專業(yè)人才的需求日益迫切。這對計算機教育界和出版界都既是機遇，也是挑戰(zhàn)；而專業(yè)教材的建設在教育戰(zhàn)略上顯得舉足輕重。在我國信息技術發(fā)展時間較短的現(xiàn)狀下，美國等發(fā)達國家在其計算機科學發(fā)展的幾十年間積淀和發(fā)展的經(jīng)典教材仍有許多值得借鑒之處。因此，引進一批國外優(yōu)秀計算機教材將對我國計算機教育事業(yè)的發(fā)展起到積極的推動作用，也是與世界接軌、建設真正的世界一流大學的必由之路。機械工業(yè)出版社華章公司較早意識到“出版要為教育服務”。自1998年開始，我們就將工作重點放在了遴選、移譯國外優(yōu)秀教材上。經(jīng)過多年的不懈努力，我們與pearson，mcgraw-hill，elsevier，mit，johnwiley & sons，cengage等世界著名出版公司建立了良好的合作關系，從他們現(xiàn)有的數(shù)百種教材中甄選出andrews. tanenbaum，bjarne stroustrup，brain w. kernighan，dennisritchie，jim gray，afred v. aho，john e. hopcroft，jeffrey d.ullman，abraham silberschatz，william stallings，donald e. knuth，johnl. hennessy，larry l.peterson等大師名家的一批經(jīng)典作品，以“計算機科學叢書”為總稱出版，供讀者學習、研究及珍藏。大理石紋理的封面，也正體現(xiàn)了這套叢書的品位和格調(diào)。“計算機科學叢書”的出版工作得到了國內(nèi)外學者的鼎力襄助，國內(nèi)的專家不僅提供了中肯的選題指導，還不辭勞苦地擔任了翻譯和審校的工作；而原書的作者也相當關注其作品在中國的傳播，有的還專程為其書的中譯本作序。迄今，“計算機科學叢書”已經(jīng)出版了近兩百個品種，這些書籍在讀者中樹立了良好的口碑，并被許多高校采用為正式教材和參考書籍。其影印版“經(jīng)典原版書庫”作為姊妹篇也被越來越多實施雙語教學的學校所采用。
作者簡介
暫缺《軟件測試：原理與實踐（英文版）》作者簡介
圖書目錄
前言 1 introduction 1．1 the software industry 1．2 software testing and quality 1．3 errors．faults and failures 1．3．1 software faults 1．3．2 software failures 1．3．3 need for testing 1．4 the role of sdecifications 1．5 overview of testing 1．5．1 testing in the development process 1．5．2 test automation 1．6 the theory of testing 1．6．1 exhaustive testing example 1．6．2 implications 1．7 when to finish testing 1．8 notes on book structure 2 principles of software testing .2．1 dynamic and static verification 2．1．1 static verification 2．1．2 dynamic verification 2．2 black-box and white．box testing 2．2．1 errors of“omission”and“commission” 2．3 test approaches 2．3．1 black-box testing 2．3．2 white-box testing 2．3．3 fault insertion 2．4 test activities 2．4．1 analysis outputs 2．4．2 test cases 2．4．3 test data 2．4．4 test code for test proceduresl 2．5 analysis of software specifications 2．5．1 parameters 2．5．2 parameter ranges 2．5．3 equivalence partitions 2．5．4 boundary values 2．5．5 combinations of values 2．5．6 sequences of values 2．6 analysis of software components 2．6．1 control flow graphs 2．6．2 decisions and conditions 2．6．3 paths 2．6．4 data-flow testing 2．6．5 ranking 2．7 analysis of targets for fault insertion 2．7．1 offutt’s 5 sufficient mutations 2．8 test artefacts 3 unit testing 3．1 introduction 3．2 usage 3．3 black-box techniques 3．3．1 equivalence partitioning(ep) 3．3．2 boundary value analysis fbval 3．3．3 testing combinations of inputs(ci) 3．3．4 testing sequences of inputs(si)or state 3．3．5 random input data fridl 3．3．6 error guessing fegl 3．4 white．box techniques 3．4．1 statement coverage fscl 3．4．2 branch coverage fbcl 3．4．3 condition coverage fccl 3．4．4 decision condition coverage fdccl 3．4．5 multiple condition coverage(mcc) 3．4．6 path coverage fpci 3．4．7 d—u pair coverage(dup) 3．5 fault insertion 3．5．1 strong mutation testing(smt) 4 unit testing examples 5 static v_erification 6 testing object-oriented software 7 integration and system testing 8 software test automation 9 testing in the software process 10 advanced testing issues a terminology b exercises select bibliography
鄂公網(wǎng)安備 42010302001612號 