面向函式調用路徑的測試技術與方法

《面向函式調用路徑的測試技術與方法》是2014年清華大學出版社出版的圖書。

基本介紹

• 書名：面向函式調用路徑的測試技術與方法
• ISBN：9787302365440
• 定價：59元
• 裝幀：平裝
• 印刷日期：2014-10-10
• 印次：1-1

圖書簡介

本書介紹了“面向函式調用路徑測試技術和方法”的相關概念、技術和方法，結合當前軟體開發的兩種模式： 面向過程和面向對象的技術特點，提出了面向過程和面向對象兩種函式調用路徑靜態提取的技術方法，建立以此為基礎的路徑測試策略和測試模型，有效解決了集成測試、系統測試，特別是回歸測試中，測試用例的有效性問題，包括： 不可達路徑的檢測、動態測試路徑拆分、測試過程可視化跟蹤、軟體變更可視化跟蹤、回歸測試用例精簡等。

本書可以供從事軟體測試研究的高校教師、企業軟體測試高層管理者、軟體測試科研人員參考，也可作為高等院校計算機相關專業研究生的教材和參考書。

目錄

第1章緒論

1.1軟體測試

1.1.1軟體測試的目的與意義

1.1.2軟體測試分類

1.1.3國內外軟體測試現狀

1.2回歸測試

1.2.1回歸測試概念

1.2.2為什麼要進行回歸測試

1.2.3回歸測試與其他測試的區別

1.2.4回歸測試過程

1.3面向對象的軟體測試

1.3.1面向對象的軟體測試概念

1.3.2面向對象的軟體測試模型

1.4路徑覆蓋測試

1.4.1路徑覆蓋測試概念

1.4.2為什麼要進行路徑覆蓋測試

1.4.3路徑覆蓋測試方法

1.5基於函式調用關係的路徑覆蓋測試

1.5.1基於函式調用關係的路徑覆蓋測試概念

1.5.2為什麼要進行基於函式調用關係的路徑覆蓋測試

1.5.3基於函式調用關係的路徑覆蓋測試方法

1.6本章小結

第2章面向過程的函式靜態調用路徑生成

2.1靜態分析研究現狀

2.1.1代碼解析

2.1.2函式包含關係

2.1.3函式路徑測試原理

2.2面向C語言的函式靜態調用路徑生成

2.2.1相關概念

2.2.2控制結構的轉化

2.2.3模型設計

2.2.4靜態分析算法

2.2.5函式路徑提取算法

2.2.6C語言函式調用路徑提取實例

2.3面向嵌入式系統的函式靜態調用路徑生成

2.3.1嵌入式系統測試現狀

2.3.2嵌入式軟體測試技術

2.3.3嵌入式函式調用路徑提取

2.3.4嵌入式函式調用路徑提取實例

2.4本章小結

第3章面向對象的函式靜態調用路徑生成

3.1面向對象的技術特點

3.1.1封裝

3.1.2繼承

3.1.3多態

3.2面向對象的軟體測試研究現狀

3.3面向C++的函式靜態調用路徑生成

3.3.1系統框架

3.3.2代碼精簡模組

3.3.3C++靜態分析

3.3.4重載唯一性確定

3.3.5多態唯一性確定

3.3.6模板唯一性確定

3.3.7C++函式調用路徑生成

3.3.8C++函式靜態調用路徑實例

3.4面向Java的函式靜態調用路徑生成

3.4.1多態性

3.4.2反射技術

3.4.3執行緒池技術

3.4.4Soot編譯最佳化工具

3.4.5多態唯一性確定

3.4.6Java函式靜態調用路徑提取實例

3.5本章小結

第4章面向函式調用關係的覆蓋分析

4.1覆蓋分析

4.1.1覆蓋分析概念

4.1.2覆蓋分析方法

4.1.3基於覆蓋分析的測試過程

4.2覆蓋分析技術現狀

4.2.1控制流覆蓋

4.2.2數據流覆蓋

4.2.3功能覆蓋

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.1.3測試用例集約簡的技術現狀

5.1.4重複的動態路徑

5.1.5冗餘的動態路徑

5.1.6必不可少的動態路徑

5.1.7代表集與最優代表集

5.1.8測試用例約簡算法

5.1.9測試用例約簡實例

5.2面向函式調用關係的測試用例優先權排序

5.2.1測試用例優先權排序概念

5.2.2為什麼要進行測試用例優先權排序

5.2.3測試用例優先權排序的技術現狀

5.2.4相關概念

5.2.5測試覆蓋矩陣生成

5.2.6測試用例優先權排序算法

5.2.7測試用例優先權排序實例

5.3本章小結

第6章面向函式調用關係的測試用例自動生成

6.1測試用例自動生成

6.1.1測試用例自動生成概念

6.1.2為什麼要進行測試用例自動生成

6.1.3測試用例生成的過程

6.2測試用例自動生成技術現狀

6.3測試用例自動生成算法

6.3.1函式調用關係樹

6.3.2帶控制條件的函式調用路徑生成

6.3.3擴展信息流分析規則

6.3.4控制流影響分析

6.3.5測試用例自動生成

6.4測試用例自動生成實例

6.4.1測試用例覆蓋率分析

6.4.2測試用例生成效率分析

6.5本章小結

第7章面向函式調用關係的軟體變更影響分析

7.1軟體變更影響分析

7.1.1軟體變更影響分析概念

7.1.2為什麼要進行軟體變更影響分析

7.1.3軟體變更影響分析的過程

7.2軟體變更影響分析技術現狀

7.3軟體變更函式路徑分析

7.3.1基本思想

7.3.2最長公共序列算法

7.3.3分治策略

7.3.4改進的最長公共序列算法

7.3.5無效變更分析

7.4熱點路徑

7.4.1熱點路徑的概念

7.4.2C語言常見記憶體錯誤

7.4.3熱點路徑的實現

7.5軟體變更函式路徑分析實例

7.5.1實驗評測

7.5.2效果展示

7.6本章小結

第8章Visual Studio依賴圖生成工具介紹

8.1工具簡介

8.2DGML的套用價值

8.2.1可視化依賴關係

8.2.2查找項目代碼存在的問題

8.2.3實例介紹

8.3其他

8.3.1Code Maps

8.3.2DGQL

8.4本章小結

第9章Regression Test 2.0工具介紹

9.1Regression Test for C/C++ 2.0簡介

9.2Regression Test for C/C++ 2.0的套用價值

9.3工具介紹

9.3.1系統架構

9.3.2主界面介紹

9.3.3其他界面展示

9.3.4界面操作步驟

9.4本章小結

第10章DTS工具介紹

10.1DTS工具簡介

10.2DTS的套用價值

10.3工具介紹

10.3.1系統概述

10.3.2界面簡介

10.3.3使用流程

10.3.4輔助工具

10.4本章小結

附錄AWindows API繪圖程式

參考文獻

後記