軟件測試概念與實踐 软件测试概念与实践

<內容簡介>

《軟件測試概念與實踐》探討了軟件測試面臨的主要問題，軟件測試概念、原則和演化過程，涵蓋了軟件質量工程和測試概念、測試數據生成、測試部署、測試輸出分析，以及軟件測試管理。

《軟件測試概念與實踐》特色

◆本書沒有將軟件測試當作一項孤立的技術，而是將其視為完整的軟件驗證和確認原則的組成部分。

◆根據邊際效用遞減規律，建議在同一個數學模型基礎上開展程序測試和程序正確性驗證工作，從而能夠協調應用兩種技術。

◆定義了軟件缺陷概念和相對正確性概念，指出相對正確性是如何描述單調缺陷去除的。

◆將軟件測試活動描述為一種面向目標的活動，研究瞭如何根據選擇的測試目標指導測試活動。

◆涵蓋了軟件測試生命週期全過程，包括測試數據生成、測試預言設計、測試驅動設計，以及測試輸出分析。

對軟件質量和軟件工程專業學生而言，《軟件測試概念與實踐》一書是非常有用的，因為本書為學生提供了職業生涯的基礎知識，而且這些基礎知識在各種原則不斷演化的條件下也不會過時。

<章節目錄>

第Ⅰ部分軟件測試介紹

第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參考書目註釋

…… 

第Ⅲ部分測試數據生成

第Ⅳ部分測試部署與分析

第Ⅴ部分軟件測試管理

參考文獻