●第1章軟件測試
1.1軟件繫統開發的可靠性問題
1.2回歸測試的必要性
1測試概述
1.4靜態測試與動態測試
l.5黑盒測試和白盒測試
1.6基於路徑和覆蓋率的測試
1.7約束求解問題
1.8代碼測試繫統
本章參考文獻
第2章測試用例自動生成技術
2.1靜態測試用例自動生成方法
2.1.1常用的靜態分析技術
2.1.2典型的測試用例生成技術
2.2動態測試用例自動生成方法
2.2.1直線式程序法
2.2.2分支函數極小化法
2.2.3ADTEST
2.2.4迭代松弛法
2.2.5MHS方法
2.3動靜結合的測試用例自動生成方法
本章參考文獻
第3章基於分支限界的測試用例生成
3.1分支限界算法
3.1.1問題定義
3.1.2解決方案
3.1.3路徑約束提取
……

作為軟件測試（包括白盒測試和黑盒測試）中的一個基本問題，測試用例自動生成尤為重要，這是因為白盒測試中的許多問題（如控制流測試和數據流測試）以及黑盒測試中的一些問題都可以歸結為測試用例生成問題。解決這個問題的本質在於約束繫統的建立和求解。約束求解是人工智能的一個傳統研究方向。本書將繫統地研究如何進行軟件繫統的約束建模和求解，利用人工智能的各種技術，對一些特殊情況（復雜數據類型、線性約束的區間初始化、庫函數等）給出切實可行的解決方案。提升回歸測試效率的一個重要方法是對測試用例集進行優化，目前常見的優化方法有3種，分別是測試用例集約簡、選擇和優先級排序。這3種方法分別適用於不同的場景，本書主要關注測試用例集約簡和測試用例優先級排序，通過對相關問題和已有方法的調研，將現在應用比較廣泛的人工智能中的群智能算法和一些進化算法引入測試用例集優化問題中，提出新的測試用例集約簡和測試用例優先級排序技術。本書等