內容簡介
本書系統介紹了近幾年出現的軟體測試新技術，這些新技術包括正交試驗設計、均勻試驗設計、成對組合覆蓋、被動測試、符號執行和數據驅動軟體測試技術。.
為了提高實用性，書中結合不同的軟體項目，給出了套用實例。通過這些實例，讀者可以容易地掌握這些技術並加以靈活套用。..
本書是軟體測試方面的中高級讀物，適用於中高級軟體測試人員和質量管理人員，同時對初級軟體測試人員也有一定的幫助。本書還可以作為計算機專業大學生和研究生的參考書。
目錄
第1章 概論.
1．1 引言
1．2 軟體測試技術分類
1．3 測試過程模型
1．4 軟體測試中的組合問題
第2章 正交試驗設計法
2．1 正交試驗設計法的原理
2．2 正交試驗設計法在測試用例設計中的套用
2．3 正交試驗設計法在信息系統性能測試中的套用
第3章 均勻試驗設計法
3．1 均勻試驗設計法的原理
3．2 均勻試驗設計法在測試用例設計中的套用
第4章 成對組合覆蓋測試技術
4．1 組合測試方法分類
4．2 成對組合覆蓋測試技術簡介
4．3 測試用例的成對組合表示
4．4 成對組合覆蓋率
4．5 成對組合覆蓋測試用例生成方法..
4．6 方法比較
第5章 被動測試技術
.5．1 被動測試簡介
5．2 fsm(有限狀態機)測試
5．3 efsm測試
5．4 被動測試環境搭建
第6章 符號執行測試技術
6．1 符號執行測試技術簡介
6．2 符號執行測試技術的原理
6．3 符號執行測試技術存在的問題及解決方法
6．4 符號表達式簡化
6．5 約束條件求解
6．6 靜態分析工具
第7章 數據驅動軟體測試技術
7．1 數據驅動測試技術的適用場合
7．2 用vba在excel中讀寫測試數據
7．3 基於visual c#的數據驅動實現
7．4 基於測試工具的數據驅動測試
附錄a 常用正交表
參考文獻
