軟件測(cè)試：原理、模型、驗(yàn)證與實(shí)踐

目錄



第1章緒論

1.1軟件產(chǎn)品工程： 集成測(cè)試與開發(fā)

1.2軟件測(cè)試遵循的思想原理

第1篇軟件測(cè)試證明論思想原理

第2章軟件開發(fā)過程中的驗(yàn)證活動(dòng)

2.1需求分析概述

2.2需求驗(yàn)證概述

2.3系統(tǒng)設(shè)計(jì)概述

2.4設(shè)計(jì)驗(yàn)證概述

2.5模塊編碼概述

2.6單元測(cè)試概述

第3章原型和圖形

3.1原型

3.1.1概述

3.1.2示例

3.2圖形

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

3.2.2圖形在形式表示中的應(yīng)用

3.2.3圖形在形式證明中的應(yīng)用

第4章模型檢驗(yàn)簡(jiǎn)介

4.1標(biāo)準(zhǔn)方法

4.1.1基本概念

4.1.2標(biāo)準(zhǔn)模型檢驗(yàn)步驟

4.1.3示例： LTL模型檢驗(yàn)基于Büchi自動(dòng)機(jī)的算法

4.1.4符號(hào)模型檢驗(yàn)

4.1.5CTL符號(hào)模型檢驗(yàn)

4.1.6其他降低問題復(fù)雜性的方法

4.1.7其他標(biāo)準(zhǔn)方法

4.2抽象解釋

4.2.1根據(jù)存在（或經(jīng)驗(yàn)）的抽象

4.2.2抽象解釋理論框架

4.2.3基本抽象解釋理論的模型檢驗(yàn)

4.2.4運(yùn)用抽象解釋理論對(duì)（抽象模型）標(biāo)準(zhǔn)方法的改良

4.2.5抽象模型檢驗(yàn)總結(jié)

4.3綜合方法

4.3.1謂詞抽象

4.3.2模型檢驗(yàn)和定理證明

4.3.3其他方面的努力

4.4應(yīng)用和其他重要方法概覽

4.4.1模型檢驗(yàn)理論在程序分析中的應(yīng)用簡(jiǎn)介

4.4.2其他重要方法

4.5小結(jié)

第5章抽象解釋的兩個(gè)理論模型

5.1抽象解釋全總域模型

5.1.1構(gòu)造全總域模型

5.1.2理論性問題

5.2抽象解釋部分等價(jià)邏輯關(guān)系模型

5.2.1具體語(yǔ)義域和語(yǔ)義函數(shù)

5.2.2抽象解釋

5.2.3理論問題

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

6.1公理化

6.1.1霍爾邏輯及其證明規(guī)則

6.1.2霍爾邏輯系統(tǒng)的可靠性和完備性

6.2不變式

6.2.1程序流程圖

6.2.2不變式概念

6.2.3不變式之間的一致性

6.2.4一個(gè)更強(qiáng)的屬性

6.2.5流程圖程序驗(yàn)證實(shí)例

6.2.6不變式方法評(píng)論

6.3最弱前置條件

6.3.1最弱前置條件的概念

6.3.2謂詞轉(zhuǎn)換函數(shù)WP性質(zhì)

6.3.3程序設(shè)計(jì)語(yǔ)言控制成分的語(yǔ)義

6.3.4程序正確性證明方法

第7章程序正確性概率演繹證明

7.1概率論數(shù)學(xué)基礎(chǔ)知識(shí)

7.1.1概率空間

7.1.2隨機(jī)變量理論知識(shí)

7.1.3馬爾可夫過程

7.2概率模型

7.2.1離散時(shí)間馬爾可夫鏈

7.2.2連續(xù)時(shí)間馬爾可夫鏈

7.3概率模型驗(yàn)證

7.3.1系統(tǒng)DTMC模型的檢測(cè)

7.3.2系統(tǒng)CTML模型的檢測(cè)

7.4操作概要

7.4.1操作的概念

7.4.2操作概要表示

7.4.3操作概要的用途

第8章集成測(cè)試中的驗(yàn)證活動(dòng)

8.1組合測(cè)試引言

8.2關(guān)于正交表的基礎(chǔ)知識(shí)

8.2.1正交表的一般定義

8.2.2二水平正交表

8.2.3正交拉丁方

8.2.4Ltu(tm)型正交表

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

8.3正交試驗(yàn)組合測(cè)試方法

8.4其他組合測(cè)試方法概覽

8.4.1基于覆蓋組合的“類型”設(shè)計(jì)測(cè)試用例集

8.4.2可變強(qiáng)度和具有約束的組合測(cè)試

8.5組合測(cè)試模式分析模型及其理論


8.5.1Walsh函數(shù)基礎(chǔ)知識(shí)

8.5.2Walsh函數(shù)模式分析模型及其基礎(chǔ)理論

8.5.3模型在組合測(cè)試中的應(yīng)用
第2篇軟件測(cè)試中的證偽論思想原理

第9章軟件開發(fā)過程中的“證偽”活動(dòng)

9.1軟件開發(fā)過程中的“證偽”活動(dòng)概述

9.2集成測(cè)試

9.2.1概述

9.2.2負(fù)面測(cè)試

9.2.3遺傳算法

9.3系統(tǒng)測(cè)試

9.3.1概述

9.3.2系統(tǒng)測(cè)試對(duì)計(jì)算機(jī)科學(xué)發(fā)展的作用

9.3.3系統(tǒng)測(cè)試對(duì)度量科學(xué)的貢獻(xiàn)

9.3.4系統(tǒng)測(cè)試提供的新測(cè)試方法和技術(shù)

9.4驗(yàn)收測(cè)試

第10章軟件測(cè)試?yán)碚?br />
10.1程序測(cè)試經(jīng)典理論

10.1.1Goodenough和Gerhart理論

10.1.2Weyuker和Ostrand理論

10.1.3Gourlay理論

10.2軟件測(cè)試?yán)碚摲治?br />
10.2.1軟件存在缺陷的兩個(gè)理論根源

10.2.2軟件測(cè)試方法理論分類

10.3類隨機(jī)測(cè)試方法示例


10.3.1隨機(jī)TBFL算法模型

10.3.2實(shí)例分析

10.3.3算法功效進(jìn)一步說(shuō)明和小型實(shí)驗(yàn)

10.3.4類隨機(jī)測(cè)試方法總結(jié)

第11章隨機(jī)TBFL算法討論

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

11.2隨機(jī)模糊綜合TBFL

11.2.1算法概述

11.2.2算法框架及其原理分析

11.2.3實(shí)例分析


第12章眾包軟件測(cè)試技術(shù)

12.1眾包技術(shù)

12.2眾包軟件測(cè)試技術(shù)

12.2.1概述

12.2.2利用歷史資料調(diào)試程序的眾包技術(shù)示例

12.2.3利用實(shí)時(shí)信息調(diào)試程序的眾包技術(shù)示例

12.3軟件拓?fù)淇臻g與測(cè)試原理


12.3.1預(yù)備知識(shí)

12.3.2程序拓?fù)淇臻g表示及其非標(biāo)準(zhǔn)分析

12.3.3在軟件測(cè)試領(lǐng)域中的應(yīng)用

12.3.4總結(jié)

參考文獻(xiàn)

后記