軟體測試——原理、模型、驗證與實踐

《軟體測試——原理、模型、驗證與實踐》是清華大學出版社2021年出版的書籍。

基本介紹

• 書名：軟體測試——原理、模型、驗證與實踐
• 作者：王蓁蓁
• 出版社：清華大學出版社
• 定價：99
• ISBN：9787302583486

內容簡介

按證明論和證偽論兩種哲學思想原理，把現今存在的軟體測試工作進行了梳理，闡述了各種思想原理對軟體測試技術的發展的貢獻。還提出了一些技術模型和理論模型，用實例表明重視思想原理對於軟體測試具體實踐的重要性。對於計算機科學《軟體測試》課程的學生、研究生和教師，這本書是一本較好參考讀物。對於研究軟體測試的專家和從事軟體測試工作的技術人員，這本書也值得閱讀。

圖書目錄

第1章緒論

1.1軟體產品工程： 集成測試與開發

1.2軟體測試遵循的思想原理

第1篇軟體測試證明論思想原理

第2章軟體開發過程中的驗證活動

2.1需求分析概述

2.2需求驗證概述

2.3系統設計概述

2.4設計驗證概述

2.5模組編碼概述

2.6單元測試概述

第3章原型和圖形

3.1原型

3.1.1概述

3.1.2示例

3.2圖形

3.2.1圖形在需求分析中的作用

3.2.2圖形在形式表示中的套用

3.2.3圖形在形式證明中的套用

第4章模型檢驗簡介

4.1標準方法

4.1.1基本概念

4.1.2標準模型檢驗步驟

4.1.3示例： LTL模型檢驗基於Büchi自動機的算法

4.1.4符號模型檢驗

4.1.5CTL符號模型檢驗

4.1.6其他降低問題複雜性的方法

4.1.7其他標準方法

4.2抽象解釋

4.2.1根據存在（或經驗）的抽象

4.2.2抽象解釋理論框架

4.2.3基本抽象解釋理論的模型檢驗

4.2.4運用抽象解釋理論對（抽象模型）標準方法的改良

4.2.5抽象模型檢驗總結

4.3綜合方法

4.3.1謂詞抽象

4.3.2模型檢驗和定理證明

4.3.3其他方面的努力

4.4套用和其他重要方法概覽

4.4.1模型檢驗理論在程式分析中的套用簡介

4.4.2其他重要方法

4.5小結

第5章抽象解釋的兩個理論模型

5.1抽象解釋全總域模型

5.1.1構造全總域模型

5.1.2理論性問題

5.2抽象解釋部分等價邏輯關係模型

5.2.1具體語義域和語義函式

5.2.2抽象解釋

5.2.3理論問題

第6章程式正確性形式演繹證明

6.1公理化

6.1.1霍爾邏輯及其證明規則

6.1.2霍爾邏輯系統的可靠性和完備性

6.2不變式

6.2.1程式流程圖

6.2.2不變式概念

6.2.3不變式之間的一致性

6.2.4一個更強的屬性

6.2.5流程圖程式驗證實例

6.2.6不變式方法評論

6.3最弱前置條件

6.3.1最弱前置條件的概念

6.3.2謂詞轉換函式WP性質

6.3.3程式設計語言控制成分的語義

6.3.4程式正確性證明方法

第7章程式正確性機率演繹證明

7.1機率論數學基礎知識

7.1.1機率空間

7.1.2隨機變數理論知識

7.1.3馬爾可夫過程

7.2機率模型

7.2.1離散時間馬爾可夫鏈

7.2.2連續時間馬爾可夫鏈

7.3機率模型驗證

7.3.1系統DTMC模型的檢測

7.3.2系統CTML模型的檢測

7.4操作概要

7.4.1操作的概念

7.4.2操作概要表示

7.4.3操作概要的用途

第8章集成測試中的驗證活動

8.1組合測試引言

8.2關於正交表的基礎知識

8.2.1正交表的一般定義

8.2.2二水平正交表

8.2.3正交拉丁方

8.2.4Ltu(tm)型正交表

8.2.5一般正交表Ln(t1×t2×…×tm)

8.3正交試驗組合測試方法

8.4其他組合測試方法概覽

8.4.1基於覆蓋組合的“類型”設計測試用例集

8.4.2可變強度和具有約束的組合測試

8.5組合測試模式分析模型及其理論

8.5.1Walsh函式基礎知識

8.5.2Walsh函式模式分析模型及其基礎理論

8.5.3模型在組合測試中的套用

第2篇軟體測試中的證偽論思想原理

第9章軟體開發過程中的“證偽”活動

9.1軟體開發過程中的“證偽”活動概述

9.2集成測試

9.2.1概述

9.2.2負面測試

9.2.3遺傳算法

9.3系統測試

9.3.1概述

9.3.2系統測試對計算機科學發展的作用

9.3.3系統測試對度量科學的貢獻

9.3.4系統測試提供的新測試方法和技術

9.4驗收測試

第10章軟體測試理論

10.1程式測試經典理論

10.1.1Goodenough和Gerhart理論

10.1.2Weyuker和Ostrand理論

10.1.3Gourlay理論

10.2軟體測試理論分析

10.2.1軟體存在缺陷的兩個理論根源

10.2.2軟體測試方法理論分類

10.3類隨機測試方法示例

10.3.1隨機TBFL算法模型

10.3.2實例分析

10.3.3算法功效進一步說明和小型實驗

10.3.4類隨機測試方法總結

第11章隨機TBFL算法討論

11.1軟體缺陷存在原因再分析

11.2隨機模糊綜合TBFL

11.2.1算法概述

11.2.2算法框架及其原理分析

11.2.3實例分析

第12章眾包軟體測試技術

12.1眾包技術

12.2眾包軟體測試技術

12.2.1概述

12.2.2利用歷史資料調試程式的眾包技術示例

12.2.3利用實時信息調試程式的眾包技術示例

12.3軟體拓撲空間與測試原理

12.3.1預備知識

12.3.2程式拓撲空間表示及其非標準分析

12.3.3在軟體測試領域中的套用

12.3.4總結

參考文獻

後記