3.2.1 定義域與值域
3.2.2 函數類型
3.2.3 函數復合
3.3 關繫
3.3.1 集合之間的關繫
3.3.2 單個集合上的關繫
3.4 命題邏輯
3.4.1 邏輯運算符
3.4.2 邏輯表達式
3.4.3 邏輯等價
3.5 概率論
3.6 習題
3.7 參考文獻
第4章 面向測試人員的圖論
4.1 圖
……
第二部分　單元測試
第5章　邊界值測試
第6章　等價類測試
第7章　基於決策表的測試
第8章　路徑測試
第9章　數據流測試
**0章　單元測試回顧
第三部分 **單元測試
**1章 基於生命周期的測試
**2章 基於模型的測試
**3章 集成測試
**4章 繫統測試
**5章 面向對像測試
**6章 軟件復雜度
**7章 基於模型的綜合繫統測試
**8章 探索式測試
**9章 測試驅動開發
第20章 全對測試詳述
第21章 測**例的評估
第22章 軟件技術評審
第23章 尾聲：軟件測試精益求精
附錄 完整的技術評審文檔集