本書基於軟件測試過程模型，構建軟件測試價值模型、能力模型及基於能力戰略的軟件測試策略框架，討論軟件測試終止、測試預言、測試生成問題。基於圖結構、圖元素及軟件失效行為，介紹邏輯驅動、數據驅動、剖面驅動的基礎理論、基礎技術及實踐者方法。
基於技術創新及軟件測試發展需求，構建面向服務、大數據及應用、軟硬件一體化測試的技術框架，討論基於服務模型的形式化描述及求解、服務實體及基於時間波動的服務實時性測試、大數據算法及應用性能測試、基於環境剖面及多域任務場景綜合的一體化測試技術的近期新研究成果及實踐者方法。
基於能力戰略的軟件測試策略，構建基於質量、效率驅動的軟件測試框架，結合實際案例，討論文檔類、代碼類、數據類、功能類、性能類、接口類和專項類軟件測試的技術要求、測試策略、環境構建及實踐者方法。
本書可供軟件測試人員、軟件質量管理人員、軟件工程管理人員、軟件開發人員及軟件工程專業本科高年級學生、研究生使用和參考。
| FindBook |
|
有 1 項符合
孫志安的圖書 |
 |
$ 1044 | 軟件測試：實踐者方法
作者：孫志安 出版社：電子工業出版社 出版日期：2024-09-01 語言：簡體中文 規格：平裝 / 549頁 / 19 x 26 x 2.75 cm / 普通級/ 1-1  博客來 - 計算機概論
- 來源網頁  看圖書介紹
|
|
|
圖書介紹 - 資料來源：博客來 評分：
圖書名稱：軟件測試：實踐者方法
內容簡介
目錄
第1章 軟件測試進展
1.1 軟件賦能、賦值與賦智
1.2 軟件質量現狀
1.3 軟件測試發展歷程
1.4 軟件測試發展展望
1.4.1 軟件測試面臨的挑戰
1.4.2 軟件測試發展趨勢
第2章 軟件測試基礎
2.1 軟件質量
2.1.1 軟件質量架構
2.1.2 軟件質量模型
2.1.3 質量模型的GDQA應用框架
2.2 軟件測試
2.2.1 測試的充分性
2.2.2 測試的追溯性
2.2.3 測試的時機
2.2.4 測試的針對性
2.2.5 測試與調試
2.3 軟件可測試性
2.3.1 可測試性生命週期過程模型
2.3.2 可測試性特徵
2.3.3 不同級別的可測試性問題
2.4 軟件可靠性
2.5 軟件錯誤、缺陷、故障及失效
2.5.1 軟件錯誤、缺陷及故障
2.5.2 軟件失效
2.6 時間問題
2.6.1 基於時間的可靠性度量
2.6.2 Musa執行時間
2.6.3 時間問題再思考
2.7 運行剖面
第3章 軟件測試模型
3.1 軟件測試過程模型
3.1.1 軟件測試過程
3.1.2 軟件測試過程活動
3.1.3 基於流程的測試過程模型
3.1.4 基於RUP的測試過程模型
3.2 軟件測試成熟度模型
3.2.1 模型框架
3.2.2 能力成熟度等級
3.2.3 測試能力評價體系
3.2.4 評價模型
3.3 測試過程模型選擇
第4章 軟件測試策略
4.1 軟件測試價值模型及測試體系
4.1.1 軟件測試價值模型
4.1.2 軟件測試目標體系
4.1.3 軟件測試體系
4.2 基於風險、能力的測試策略
4.2.1 基於風險的測試策略
4.2.2 基於能力的測試策略
4.3 基於架構的測試策略
4.3.1 分層架構
4.3.2 事件驅動架構
4.3.3 微服務架構
4.3.4 雲架構
4.4 基於對象及環境的測試策略
4.4.1 測試對象模型
4.4.2 測試環境分析
4.5 基於流程及組織的測試策略
4.5.1 測試策略螺旋結構模型
4.5.2 測試流程
4.5.3 測試組織
4.6 軟件測試思維
4.6.1 系統思維
4.6.2 分析思維
4.6.3 結構化思維
4.7 不確定性及控制
4.8 測試策劃的實踐者方法
第5章 邏輯驅動測試
5.1 靜態分析
5.1.1 靜態分析技術架構
5.1.2 技術評審
5.1.3 代碼走查
5.1.4 代碼審查
5.1.5 動態測試
5.1.6 靜態分析方法比較
5.2 邏輯覆蓋
5.2.1 語句覆蓋
5.2.2 判定覆蓋
5.2.3 條件覆蓋
5.2.4 判定?條件覆蓋
5.2.5 條件組合覆蓋
5.2.6 修正條件判定覆蓋
5.3 路徑覆蓋
5.3.1 圖結構
5.3.2 控制流
5.3.3 獨立路徑
5.3.4 圖形矩陣
5.3.5 基本路徑覆蓋用例設計
5.4 循環結構覆蓋
5.4.1 循環結構
5.4.2 循環結構測試
5.4.3 Z路徑覆蓋下的循環測試
5.4.4 最少測試用例數估算
5.5 符號執行
5.5.1 符號執行原理
5.5.2 符號執行技術
5.5.3 符號表達式簡化
5.5.4 約束條件求解
5.6 流敏感指針分析
5.6.1 流敏感分析背景
5.6.2 靜態單賦值問題
5.6.3 LLVM的內部表示
5.6.4 稀疏流敏感指針分析
5.6.5 訪問等效性
5.6.6 算法
5.7 面向對象軟件的邏輯驅動測試
5.7.1 類在UML中的描述
5.7.2 錯誤表徵
5.7.3 類測試設計
5.7.4 類測試數據
5.7.5 類測試延伸
5.7.6 測試流程及方法
5.8 邏輯驅動測試的邊界值
5.8.1 數據類型的邊界值
5.8.2 數組的邊界值
5.8.3 分支判斷語句的邊界值
5.9 同源檢測
5.9.1 代碼克隆類型
5.9.2 同源檢測技術原理
5.9.3 代碼克隆檢測原理及流程
5.9.4 代碼大數據庫構建
5.9.5 分析元模型
5.9.6 基於代碼大數據庫的克隆檢測
5.10 靜態分析融合
5.10.1 靜態分析融合框架
5.10.2 基於語義的跨語言文本聚類
5.10.3 基於語義的檢測結果與規則集
聚類
第6章 數據驅動測試
6.1 軟件可用性問題
6.2 等價類劃分
6.2.1 測試輸入問題
6.2.2 等價類劃分規則
6.2.3 等價類劃分流程
6.2.4 等價類劃分方法
6.2.5 基於等價類劃分的加法器測試
6.3 邊界值分析
6.3.1 基於不同視角的邊界
6.3.2 單缺陷假設及多缺陷假設
6.3.3 汽車轉速控制邊界值分析
6.4 決策表驅動
6.4.1 決策表表示
6.4.2 決策表結構
6.4.3 決策表建立步驟
6.4.4 基於決策表驅動的三角形類型
判斷測試
6.5 因果圖分析
6.5.1 因果圖符號及關係
6.5.2 基於因果圖分析的測試設計流程
6.5.3 基於因果圖分析的自動售貨軟件
測試設計
6.6 功能圖分析
6.6.1 功能圖模型
6.6.2 基於功能圖分析的測試設計流程
1.1 軟件賦能、賦值與賦智
1.2 軟件質量現狀
1.3 軟件測試發展歷程
1.4 軟件測試發展展望
1.4.1 軟件測試面臨的挑戰
1.4.2 軟件測試發展趨勢
第2章 軟件測試基礎
2.1 軟件質量
2.1.1 軟件質量架構
2.1.2 軟件質量模型
2.1.3 質量模型的GDQA應用框架
2.2 軟件測試
2.2.1 測試的充分性
2.2.2 測試的追溯性
2.2.3 測試的時機
2.2.4 測試的針對性
2.2.5 測試與調試
2.3 軟件可測試性
2.3.1 可測試性生命週期過程模型
2.3.2 可測試性特徵
2.3.3 不同級別的可測試性問題
2.4 軟件可靠性
2.5 軟件錯誤、缺陷、故障及失效
2.5.1 軟件錯誤、缺陷及故障
2.5.2 軟件失效
2.6 時間問題
2.6.1 基於時間的可靠性度量
2.6.2 Musa執行時間
2.6.3 時間問題再思考
2.7 運行剖面
第3章 軟件測試模型
3.1 軟件測試過程模型
3.1.1 軟件測試過程
3.1.2 軟件測試過程活動
3.1.3 基於流程的測試過程模型
3.1.4 基於RUP的測試過程模型
3.2 軟件測試成熟度模型
3.2.1 模型框架
3.2.2 能力成熟度等級
3.2.3 測試能力評價體系
3.2.4 評價模型
3.3 測試過程模型選擇
第4章 軟件測試策略
4.1 軟件測試價值模型及測試體系
4.1.1 軟件測試價值模型
4.1.2 軟件測試目標體系
4.1.3 軟件測試體系
4.2 基於風險、能力的測試策略
4.2.1 基於風險的測試策略
4.2.2 基於能力的測試策略
4.3 基於架構的測試策略
4.3.1 分層架構
4.3.2 事件驅動架構
4.3.3 微服務架構
4.3.4 雲架構
4.4 基於對象及環境的測試策略
4.4.1 測試對象模型
4.4.2 測試環境分析
4.5 基於流程及組織的測試策略
4.5.1 測試策略螺旋結構模型
4.5.2 測試流程
4.5.3 測試組織
4.6 軟件測試思維
4.6.1 系統思維
4.6.2 分析思維
4.6.3 結構化思維
4.7 不確定性及控制
4.8 測試策劃的實踐者方法
第5章 邏輯驅動測試
5.1 靜態分析
5.1.1 靜態分析技術架構
5.1.2 技術評審
5.1.3 代碼走查
5.1.4 代碼審查
5.1.5 動態測試
5.1.6 靜態分析方法比較
5.2 邏輯覆蓋
5.2.1 語句覆蓋
5.2.2 判定覆蓋
5.2.3 條件覆蓋
5.2.4 判定?條件覆蓋
5.2.5 條件組合覆蓋
5.2.6 修正條件判定覆蓋
5.3 路徑覆蓋
5.3.1 圖結構
5.3.2 控制流
5.3.3 獨立路徑
5.3.4 圖形矩陣
5.3.5 基本路徑覆蓋用例設計
5.4 循環結構覆蓋
5.4.1 循環結構
5.4.2 循環結構測試
5.4.3 Z路徑覆蓋下的循環測試
5.4.4 最少測試用例數估算
5.5 符號執行
5.5.1 符號執行原理
5.5.2 符號執行技術
5.5.3 符號表達式簡化
5.5.4 約束條件求解
5.6 流敏感指針分析
5.6.1 流敏感分析背景
5.6.2 靜態單賦值問題
5.6.3 LLVM的內部表示
5.6.4 稀疏流敏感指針分析
5.6.5 訪問等效性
5.6.6 算法
5.7 面向對象軟件的邏輯驅動測試
5.7.1 類在UML中的描述
5.7.2 錯誤表徵
5.7.3 類測試設計
5.7.4 類測試數據
5.7.5 類測試延伸
5.7.6 測試流程及方法
5.8 邏輯驅動測試的邊界值
5.8.1 數據類型的邊界值
5.8.2 數組的邊界值
5.8.3 分支判斷語句的邊界值
5.9 同源檢測
5.9.1 代碼克隆類型
5.9.2 同源檢測技術原理
5.9.3 代碼克隆檢測原理及流程
5.9.4 代碼大數據庫構建
5.9.5 分析元模型
5.9.6 基於代碼大數據庫的克隆檢測
5.10 靜態分析融合
5.10.1 靜態分析融合框架
5.10.2 基於語義的跨語言文本聚類
5.10.3 基於語義的檢測結果與規則集
聚類
第6章 數據驅動測試
6.1 軟件可用性問題
6.2 等價類劃分
6.2.1 測試輸入問題
6.2.2 等價類劃分規則
6.2.3 等價類劃分流程
6.2.4 等價類劃分方法
6.2.5 基於等價類劃分的加法器測試
6.3 邊界值分析
6.3.1 基於不同視角的邊界
6.3.2 單缺陷假設及多缺陷假設
6.3.3 汽車轉速控制邊界值分析
6.4 決策表驅動
6.4.1 決策表表示
6.4.2 決策表結構
6.4.3 決策表建立步驟
6.4.4 基於決策表驅動的三角形類型
判斷測試
6.5 因果圖分析
6.5.1 因果圖符號及關係
6.5.2 基於因果圖分析的測試設計流程
6.5.3 基於因果圖分析的自動售貨軟件
測試設計
6.6 功能圖分析
6.6.1 功能圖模型
6.6.2 基於功能圖分析的測試設計流程
|
