基於模型的軟件驗證與測試（簡體書）

隨著計算機應用的飛速發展，整個社會對計算機軟件的需求在不斷擴大；軟件的規模不斷地擴大，數量也飛速地增長。與此同時，軟件質量卻并沒有得到顯著提高，軟件故障所帶來的損失不容忽視，如何有效地提高和保證軟件質量，成為計算機領域重要的研究課題。但是，當前的測試技術，存在很多缺點，直接影響著軟件質量。
基于模型的軟件測試在近年來得到了較為廣泛的關注，它以明確描述系統預期行為的抽象模型為依據，根據模型覆蓋測試準則自動生成抽象的測試序列，自動產生測試腳本，執行測試并自動評價測試結果，實現測試過程的自動化。總體上說，這方面的研究還處于方法探索階段，比較實用的工具非常少。但這種方法可以使得軟件測試和軟件設計以及實現同時進行，改變了軟件工程中“現在編程，以后測試”的工作方式，使得在整個軟件生命期中都可以并行地進行測試工作，從而極大地提高了軟件開發的效率。
《計算機系列教程：基于模型的軟件驗證與測試》試圖在總結過去研究工作的基礎上，提出了新的方法并進行了實驗論證。全書分為六章。每章通過介紹具體測試的背景、研究現狀，進一步提出了方法，并以實驗進行了論證。

第1章 基于FSM的軟件測試
第1節 研究基礎
第2節 設計
第3節 實現及測試
第4節 實際應用及結果
第5節 總結

第2章 基于TTCN -3的軟件測試
第1節 研究基礎
第2節 TTCN -3相關技術
第3節 實時性方法設計
第4節 實時性方法的一般實現過程
第5節 總結

第3章 基于模型的Web服務測試
第1節 研究基礎
第2節 Web服務及其測試理論
第3節 基于樹模型的Web服務測試用例生成算法
第4節 Web服務自動測試方案設計與應用
第5節 總結

第4章 基于統計的軟件測試
第1節 研究基礎
第2節 謂詞統計模型錯誤定位算法SOBER
第3節 基于Mann - Whitney秩和檢驗技術的錯誤定位算法
第4節 對SOBER算法的研究和優化
第5節 謂詞統計錯誤定位算法FDI
第6節 總結

第5章 回歸測試
第1節 研究基礎
第2節 方法
第3節 實驗
第4節 總結

第6章 組合測試
第1節 研究基礎
第2節 組合測試方法
第3節 組合測試在故障定位中的應用
第4節 總結
附錄
參考文獻