由美國Ali Mili和Fairouz Tchier所合著、顏炯翻譯的《軟件測試概念與實踐》一書沒有將軟件測試當作一項孤立的技術，而是將其視為完整的軟件驗證和確認原則的組成部分。根據邊際效用遞減規律，建議在同一個數學模型基礎上開展程序測試和程序正確性驗證工作，從而能夠協調應用兩種技術。定義了軟件缺陷概念和相對正確性概念，指出相對正確性是如何描述單調缺陷去除的。將軟件測試活動描述為一種面向目標的活動，研究了如何根據選擇的測試目標指導測試活動。涵蓋了軟件測試生命周期全過程，包括測試數據生成、測試預言設計、測試驅動設計，以及測試輸出分析。對軟件質量和軟件工程專業學生而言，《軟件測試概念與實踐》一書是**有用的，因為本書為學生提供了職業生涯的基礎知識，而且這些基礎知識在各種原則不斷演化的條件下也不會過時。

由美國Ali Mili和Fairouz Tchier所合著、顏 炯翻譯的《軟件測試概念與實踐》一書探討了軟件測 試面臨的主要問題，軟件測試概念、原則和演化過程 ，涵蓋了軟件質量工程和測試概念、測試數據生成、 測試部署、測試輸出分析，以及軟件測試管理。

第Ⅰ部分 軟件測試介紹
第1章 軟件工程：一種與眾不同的原則
1.1 年輕而動蕩的原則
1.2 壓力下的行業
1.3 規模龐大的復雜產品
1.4 昂貴的產品
1.5 缺乏重用實踐
1.6 容易出錯的設計
1.7 矛盾的經濟學
1.7.1 勞動力密集的產業
1.7.2 缺少自動化
1.7.3 質量控制手段有限
1.7.4 不平衡的生命周期成本
1.7.5 不平衡的維護成本
1.8 本章小結
1.9 參考書目注釋
第2章 軟件質量屬性
2.1 功能屬性
2.1.1 布爾屬性
2.1.2 統計屬性
2.2 操作屬性
2.3 可用性屬性
2.4 業務屬性
2.5 結構屬性
2.6 本章小結
2.7 練習
2.8 參考書目注釋
第3章 軟件測試生命周期
3.1 軟件工程生命周期
3.2 軟件測試生命周期
3.3 軟件測試的V模型
3.4 本章小結
3.5 參考書目注釋
第Ⅱ部分 軟件測試基礎
第4章 軟件規約
4.1 堅實可靠規約的原則
4.2 關繫數學
4.2.1 集合與關繫
4.2.2 關繫操作
4.2.3 關繫的屬性
4.3 簡單的輸入輸出程序
4.3.1 表達規約
4.3.2 對規約排序
4.3.3 規約生成
4.3.4 規約確認
4.4 可靠性和安全性
4.5 基於狀態的繫統
4.5.1 關繫模型
4.5.2 公理表達
4.5.3 規約確認
4.6 本章小結
4.7 練習
4.8 問題
4.9 參考書目注釋
第5章 程序正確性和驗證
5.1 正確性的定義
5.2 正確性：命題
5.2.1 正確性和精化
5.2.2 集合論的特征
5.2.3 解釋
5.3 驗證
5.3.1 公式樣例
5.3.2 推理繫統
5.3.3 用於解釋的示例
5.4 本章小結
5.5 練習
5.6 問題
5.7 參考書目注釋
第6章 失效、錯誤和缺陷
6.1 失效、錯誤和缺陷
6.2 缺陷和相對正確性
6.2.1 缺陷，一個含糊的概念
6.2.2 相對正確性
6.3 視情況而定的缺陷和確定性缺陷
6.3.1 視情況而定的缺陷
6.3.2 單調的缺陷去除
6.3.3 一個單調缺陷去除的框架
6.3.4 確定性缺陷
6.4 缺陷管理
6.4.1 多道防線
6.4.2 混合確認
6.5 本章小結
6.6 練習
6.7 問題
6.8 參考書目注釋
第7章 軟件測試分類
7.1 聯合測試存在的問題
7.2 分類方案
7.2.1 主要屬性
7.2.2 次要屬性
7.3 測試分類
7.3.1 單元級測試
7.3.2 繫統級測試
7.4 練習
7.5 參考書目注釋
第Ⅲ部分 測試數據生成
第8章 測試生成概念
8.1 測試生成和目標屬性
8.2 測試輸出
8.3 測試生成需求
8.4 測試生成準則
8.5 基於經驗的充分性評價
8.6 本章小結
8.7 練習
8.8 參考書目注釋
8.9 附錄：變異程序
第9章 功能準則
9.1 域劃分
9.2 使用表格表達式生成測試數據
9.3 基於狀態的繫統的測試生成
9.4 隨機測試數據生成
9.5 將測試數據選擇比喻為一次旅行
9.6 本章小結
9.7 練習
9.8 參考書目注釋
**0章 結構化準則
10.1 路徑和路徑條件
10.1.1 執行路徑
10.1.2 路徑函數
10.1.3 路徑條件
10.2 控制流覆蓋
10.2.1 語句覆蓋
10.2.2 分支覆蓋
10.2.3 條件覆蓋
10.2.4 路徑覆蓋
10.3 數據流覆蓋
10.3.1 定義和使用
10.3.2 測試生成準則
10.3.3 測試準則的層次結構
10.4 基於缺陷的測試生成
10.4.1 感知缺陷
10.4.2 為感知缺陷選擇輸入數據
10.4.3 針對錯誤傳播選擇輸入數據
10.5 本章小結
10.6 練習
10.7 參考書目注釋
第Ⅳ部分 測試部署與分析
**1章 測試預言設計
11.1 測試預言設計的困境
11.2 從規約到預言
11.3 基於狀態的軟件產品的測試預言
11.3.1 從公理到測試預言
11.3.2 從規則到預言
11.4 本章小結
11.5 練習
**2章 測試驅動設計
12.1 選擇一種規約
12.2 選擇一種過程
12.3 選擇一種規約模型
12.3.1 隨機測試生成
12.3.2 預先生成的測試數據
12.3.3 缺陷和缺陷檢測
12.4 使用符號執行進行測試
12.5 本章小結
12.6 練習
12.7 參考書目注釋
**3章 分析測試輸出
13.1 邏輯解釋
13.1.1 具體測試
13.1.2 符號測試
13.1.3 具體-符號測試
13.2 隨機解釋：缺陷密度
13.3 隨機解釋：失效概率
13.3.1 缺陷與缺陷並不相同
13.3.2 定義/量化可靠性
13.3.3 軟件可靠性建模
13.3.4 認證測試
13.3.5 可靠性估計和可靠性增長
13.3.6 可靠性標準
13.3.7 作為經濟函數的可靠性
13.4 本章小結
13.5 練習
13.6 問題
13.7 參考書目注釋
第Ⅴ部分 軟件測試管理
**4章 軟件測試的度量
14.1 缺陷傾向性
14.1.1 圈復雜度
14.1.2 規模
14.2 缺陷可檢測性
14.3 錯誤可檢測性
14.4 錯誤可掩蓋性
14.5 避免失效
14.6 容錯
14.7 解釋示例
14.7.1 圈復雜度
14.7.2 規模
14.7.3 狀態冗餘
14.7.4 函數冗餘
14.7.5 非內射性
14.7.6 不確定性
14.7.7 小結
14.8 本章小結
14.9 練習
14.10 參考書目注釋
**5章 軟件測試工具
15.1 分類方案
15.2 腳本工具
15.2.1 CppTest
15.2.2 SilkTest
15.3 錄制-回放工具
15.3.1 TestComplete
15.3.2 Selenium IDE
15.4 性能測試工具
15.4.1 LoadRunner
15.4.2 Grinder
15.4.3 QF-Test
15.4.4 Appvance PerformanceCloud
15.4.5 JMeter
15.5 預言設計工具
15.5.1 JUnit
15.5.2 TestNG
15.6 異常檢測
15.6.1 Rational Purify
15.6.2 Astree
15.7 協同工具
15.8 本章小結
**6章 測試產品線
16.1 PLE：流水線重用模型
16.2 測試問題
16.3 測試方法
16.4 解釋
16.4.1 領域分析
16.4.2 領域建模
16.4.3 參考架構
16.4.4 領域實現
16.4.5 在領域工程階段進行測試
16.4.6 在應用程序工程階段進行測試
16.5 本章小結
16.6 練習
16.7 問題
16.8 引用的參考書目
參考文獻