自本書的第1版發(fā)行以來(lái)，軟件測(cè)試領(lǐng)域已經(jīng)發(fā)生了太多變化。高水平的測(cè)試現(xiàn)在在工業(yè)界已經(jīng)變得非常普遍。測(cè)試自動(dòng)化已經(jīng)無(wú)處不在，工業(yè)界絕大多數(shù)領(lǐng)域都默認(rèn)必須使用測(cè)試自動(dòng)化。敏捷過(guò)程和測(cè)試驅(qū)動(dòng)開發(fā)變得廣為人知而且許多人都在使用。更多的學(xué)校在本科和研究生階段開設(shè)了軟件測(cè)試的課程。ACM關(guān)于軟件工程的課程大綱在很多地方都包括了軟件測(cè)試，并且把它設(shè)置為強(qiáng)烈推薦的課程[Ardis et al.，2015]。
第2版包括了新的特點(diǎn)和內(nèi)容，同時(shí)保留了第1版中深受數(shù)百位教師喜歡的結(jié)構(gòu)、理念和在線資源。
第2版的新內(nèi)容
當(dāng)拿到一本書的新版本時(shí)，任何教師要做的第一件事就是研究所講的課程中需要做哪些改動(dòng)。因?yàn)槲覀円呀?jīng)經(jīng)歷過(guò)很多次這樣的情況了，所以我們想讓讀者很容易地明白第2版的改動(dòng)。
第1版第2版主題
第一部分　軟件測(cè)試基礎(chǔ)
第1章第1章為什么測(cè)試軟件（動(dòng)機(jī)）
第2章模型驅(qū)動(dòng)測(cè)試設(shè)計(jì)（抽象）
第3章測(cè)試自動(dòng)化（JUnit）
第4章測(cè)試優(yōu)先（TDD）
第5章基于準(zhǔn)則的測(cè)試設(shè)計(jì)（準(zhǔn)則）
第二部分　覆蓋準(zhǔn)則
第2章第7章圖覆蓋
第3章第8章邏輯覆蓋
第4章第9章基于語(yǔ)法的測(cè)試
第5章第6章輸入空間劃分
第三部分　實(shí)踐中的測(cè)試
第6章第10章管理測(cè)試過(guò)程
第11章編寫測(cè)試計(jì)劃
第12章測(cè)試實(shí)現(xiàn)
第13章軟件演化中的回歸測(cè)試
第14章編寫有效的測(cè)試預(yù)言
第7章N/A技術(shù)
第8章N/A工具
第9章N/A挑戰(zhàn)
第2版最明顯、最大的改動(dòng)是將第1版中導(dǎo)言性質(zhì)的第1章擴(kuò)展成了5個(gè)不同的章節(jié)。這個(gè)重大的擴(kuò)展使本書變得更加完善。新版的第一部分是由我們的課程講義發(fā)展而來(lái)的。第1版發(fā)行之后，我們開始不斷地向測(cè)試課程中添加更多的基礎(chǔ)內(nèi)容。這些新的想法最終組織成了這5個(gè)新的章節(jié)。新版第1章用到了很多第1版第1章的內(nèi)容，包括動(dòng)機(jī)和基本概念。第1章結(jié)束的時(shí)候包括了一段來(lái)自2002年的RTI報(bào)告，這篇報(bào)告討論的是在開發(fā)晚期才進(jìn)行測(cè)試所造成的巨大成本。每個(gè)軟件測(cè)試研究的項(xiàng)目提案都會(huì)引用這個(gè)重要的調(diào)查研究結(jié)果。在完成第1版后，我們意識(shí)到這本書的關(guān)鍵創(chuàng)新點(diǎn)在于將測(cè)試設(shè)計(jì)成抽象的活動(dòng)，獨(dú)立于用來(lái)生成測(cè)試用例的軟件工件（artifact）。這個(gè)觀點(diǎn)暗示軟件設(shè)計(jì)已經(jīng)變成一個(gè)和以往不同的過(guò)程。這樣的想法引出了第2章，這一章講述如何將測(cè)試準(zhǔn)則和實(shí)踐相結(jié)合。在我們做咨詢的過(guò)程中，我們已經(jīng)幫助軟件公司包含這一模型以修正其測(cè)試過(guò)程。
第1版中有個(gè)遺憾是沒(méi)有提及JUnit或其他的測(cè)試自動(dòng)化架構(gòu)。2016年，JUnit已經(jīng)在工業(yè)界廣泛使用，而且通常用在CS1和CS2的課堂上給作業(yè)自動(dòng)打分。第3章改正了這個(gè)疏忽。在這一章里，我們敘述了測(cè)試自動(dòng)化的概況，說(shuō)明了實(shí)施測(cè)試自動(dòng)化的難點(diǎn)，也明確地教授了JUnit。雖然本書所講的內(nèi)容在很大程度上并不依附于某個(gè)具體技術(shù)，但在全書的例子和練習(xí)中使用統(tǒng)一的測(cè)試架構(gòu)是方便讀者理解的。在課堂上，我們通常要求測(cè)試必須自動(dòng)化，也經(jīng)常要求學(xué)生在作業(yè)中嘗試別的 “*-Unit”單元測(cè)試架構(gòu)，比如HttpUnit。我們認(rèn)為在擁有自動(dòng)化的測(cè)試用例之前，測(cè)試機(jī)構(gòu)還不具備成功應(yīng)用測(cè)試準(zhǔn)則的能力。
很自然地，我們?cè)诘?章講到了測(cè)試驅(qū)動(dòng)開發(fā)（TDD）。雖然TDD和本書的其余部分不太一樣，但這對(duì)測(cè)試教育者和研究人員來(lái)說(shuō)卻是一個(gè)令人激動(dòng)的主題。原因是TDD把測(cè)試提前且放到了軟件開發(fā)的中心位置，測(cè)試變成了需求。在第一部分的最后，第5章用抽象的方式介紹了測(cè)試準(zhǔn)則的概念。軟心豆粒糖（jelly bean）的例子（尤其是在課堂上講述這個(gè)例子的時(shí)候，我們的學(xué)生都很喜歡）和其他概念（如包含關(guān)系）依然在第2版中保留了下來(lái)。
第二部分是本書的核心，但在第2版中改動(dòng)最少。2014年的一天，Jeff問(wèn)了Paul一個(gè)簡(jiǎn)單的問(wèn)題：“第二部分四個(gè)章節(jié)的順序?yàn)槭裁词乾F(xiàn)在這樣？”答案是驚愕地沉默，因?yàn)槲覀円庾R(shí)到我們從未想過(guò)它們應(yīng)該出現(xiàn)的順序。事實(shí)上，無(wú)可爭(zhēng)議地處于軟件測(cè)試中心地位的RIPR模型已經(jīng)給出了一個(gè)邏輯順序。具體來(lái)說(shuō)，輸入空間劃分不需要可達(dá)性、影響或傳播（這些概念在第2章介紹）。圖覆蓋準(zhǔn)則只需要測(cè)試執(zhí)行“經(jīng)過(guò)”待測(cè)軟件的一些部分，這就是可達(dá)性而沒(méi)有影響和傳播。邏輯覆蓋準(zhǔn)則需要到達(dá)而執(zhí)行謂詞，還要以一種特別的方式使用它進(jìn)而改變它的結(jié)果。這就是說(shuō)，這個(gè)謂詞被影響了。最后，語(yǔ)法覆蓋不僅要求到達(dá)程序的某個(gè)地方，同時(shí)“變異”的程序狀態(tài)必須和原程序不同，而且這個(gè)不同之處必須在程序執(zhí)行之后觀察到。這就是說(shuō)，程序狀態(tài)的變化要傳播出來(lái)。第2版依據(jù)RIPR模型按順序列出來(lái)這四個(gè)概念，而它們所對(duì)應(yīng)章節(jié)的要求在遞進(jìn)地增強(qiáng)。從實(shí)用的角度來(lái)說(shuō)，我們只是將前一版的第5章（現(xiàn)為第6章）移到了圖覆蓋章節(jié)（現(xiàn)為第7章）之前。
結(jié)構(gòu)上的另一個(gè)主要改動(dòng)是第2版沒(méi)有再包含第1版中的第7章到第9章。第1版中的這三章已經(jīng)過(guò)時(shí)，相比本書的其他部分，這三章用到的頻率較少，所以我們決定在重寫這部分之前先發(fā)表現(xiàn)有的章節(jié)。我們計(jì)劃在第3版中更好地描述這三章。
我們還做出了數(shù)百處更加細(xì)微的改動(dòng)。最近的研究發(fā)現(xiàn)，測(cè)試能夠成功不僅需要一個(gè)錯(cuò)誤值傳播到輸出結(jié)果，而且要求自動(dòng)化測(cè)試預(yù)言檢查合適的輸出結(jié)果。這就是說(shuō)，測(cè)試預(yù)言必須揭示軟件失敗。因此，新的RIPR模型取代了舊的RIP模型。本書在一