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