軟體測試自動化關鍵技術研究

內容簡介

　《軟體測試自動化關鍵技術研究》提出了一種基於程式切片技術的自動化軟體測試工具架構，提出了一種測試數據的自動生成和測試用例集約簡的框架模型，便於在整個測試過程實現測試用例集的自動化管理。同時，將基於I/O關係的黑盒測試用例集約簡技術歸結為問題空間（I，O），提出了兩種算法對（I，O）進行約簡，進而利用貪心算法實現約簡。最後，將程式切片技術和測試信息相結合提出了兩種軟體錯誤定位策略。《軟體測試自動化關鍵技術研究》有較高的理論創新價值，值得出版。

圖書目錄

1 緒論

1.1 課題研究的背景和意義

1.2 國內外的研究現狀和發展動態

1.2.1 軟體測試技術和軟體測試自動化技術

1.2.2 程式切片技術

1.2.3 測試數據的自動生成技術

1.2.4 測試用例集約簡技術

1.2.5 回歸測試自動化技術

1.2.6 軟體錯誤定位技術

1.3 本書的主要研究內容以及創新點

1.4 本書的組織結構

2 基於程式切片的測試自動化技術

2.1 程式切片技術簡介

2.1.1 程式切片概念

2.1.2 程式切片準則

2.1.3 程式切片算法

2.1.4 程式切片分類

2.2 程式切片技術在軟體測試中的套用研究

2.2.1 程式切片技術在測試數據自動生成中的套用

2.2.2 程式切片技術在錯誤定位中的套用

2.2.3 程式切片技術在回歸測試中的套用

2.2.4 程式切片技術在測試覆蓋分析中的套用

2.2.5 程式切片技術在測試用例集約簡中的套用

2.3 基於程式切片的軟體測試過程研究l

2.3.1 採用程式切片改進傳統軟體測試策略的原因

2.3.2 基於程式切片的軟體測試自動化過程

2.4 基於切片技術的軟體自動測試工具的架構

2.5 本章小結

3 測試用例集的管理以及測試用例集的自動生成和約簡模型

3.1 相關定義

3.1.1 測試用例

3.1.2 測試用例集

3.2 測試用例集的管理

3.3 測試用例集的自動生成和約簡框架

3.4 本章小結

4 黑盒測試數據的自動生成和測試用例集約簡

4.1 黑盒測試簡介

4.1.1 黑盒測試定義

4.1.2 黑盒測試用例生成常用方法

4.1.3 黑盒測試用例集約簡的常用方法

4.2 黑盒測試用例集的自動生成和約簡框架

軟體測試自動化關鍵技術研究

基本介紹

內容簡介

圖書目錄

熱門詞條