本書綜合闡述了軟件測試的基礎(chǔ)知識和方法，主要分為三個部分。第一部分介紹軟件測試的數(shù)學(xué)背景，包括集合論、圖論、函數(shù)、命題邏輯等內(nèi)容。第二部分討論如何進(jìn)行單元測試，包括邊界值測試、等價類測試、基于決策表的測試、基于代碼的測試和面向?qū)ο蟮臏y試等內(nèi)容。第三部分探討單元測試之外的測試方法，包括基于生命周期的測試、集成測試、系統(tǒng)測試、基于模型的測試等內(nèi)容。本書做到了理論與實踐的有效結(jié)合，反映了軟件測試和開發(fā)的新進(jìn)展和新變化。