按證明論和證偽論兩種哲學思想原理，把現(xiàn)今存在的軟件測試工作進行了梳理，闡述了各種思想原理對軟件測試技術(shù)的發(fā)展的貢獻。還提出了一些技術(shù)模型和理論模型，用實例表明重視思想原理對于軟件測試具體實踐的重要性。對于計算機科學《軟件測試》課程的學生、研究生和教師，這本書是一本較好參考讀物。對于研究軟件測試的專家和從事軟件測試工作的技術(shù)人員，這本書也值得閱讀。