軟體測試(實踐者方法)

作者：編者:孫志安//李源//韓啟龍//豆康康//費琪|責編:徐薔薇
出版社：電子工業
ISBN：9787121487187

出版日期：2024/09/01
裝幀：平裝
頁數：549

人民幣：RMB 200 元售價：元

內容大鋼

本書基於軟體測試過程模型，構建軟體測試價值模型、能力模型及基於能力戰略的軟體測試策略框架，討論軟體測試終止、測試預言、測試生成問題。基於圖結構、圖元素及軟體失效行為，介紹邏輯驅動、數據驅動、剖面驅動的基礎理論、基礎技術及實踐者方法。基於技術創新及軟體測試發展需求，構建面向服務、大數據及應用、軟硬體一體化測試的技術框架，討論基於服務模型的形式化描述及求解、服務實體及基於時間波動的服務實時性測試、大數據演算法及應用性能測試、基於環境剖面及多域任務場景綜合的一體化測試技術的最新研究成果及實踐者方法。基於能力戰略的軟體測試策略，構建基於質量、效率驅動的軟體測試框架，結合實際案例，討論文檔類、代碼類、數據類、功能類、性能類、介面類和專項類軟體測試的技術要求、測試策略、環境構建及實踐者方法。本書可供軟體測試人員、軟體質量管理人員、軟體工程管理人員、軟體開發人員及軟體工程專業本科高年級學生、研究生使用和參考。

作者介紹

編者:孫志安//李源//韓啟龍//豆康康//費琪|責編:徐薔薇

第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  基於功能圖分析的測試設計流程
    6.6.3  基於功能圖分析的播放器測試設計
  6.7  場景驅動
    6.7.1  基於事件觸發的場景
    6.7.2  基於場景驅動的測試設計流程
    6.7.3  基於場景驅動的在線購物系統
測試設計
  6.8  正交試驗設計
    6.8.1  正交試驗設計原理
    6.8.2  正交試驗設計流程
    6.8.3  基於正交試驗的某網路系統
登錄測試
    6.8.4  基於正交試驗的某超短波跳頻
分組無線網傳輸時延測試
  6.9  均勻試驗設計
    6.9.1  均勻試驗設計原理
    6.9.2  均勻試驗設計的特點
    6.9.3  均勻試驗設計與正交試驗設計比較
    6.9.4  基於UDE的信息錄入與信息查詢
測試
  6.10  組合測試
    6.10.1  輸入及組合覆蓋問題
    6.10.2  組合測試分類及覆蓋類型
    6.10.3  成對組合覆蓋
    6.10.4  可變力度組合模型
    6.10.5  成對組合測試方法比較
  6.11  被動測試
    6.11.1  有限狀態機測試
    6.11.2  EFSM測試
    6.11.3  基於不變性的被動測試
第7章  面向服務軟體測試
  7.1  面向服務架構
    7.1.1  架構
    7.1.2  服務
    7.1.3  環境
    7.1.4  實現
  7.2  面向服務測試的主要問題和框架
    7.2.1  面向服務測試的主要問題
    7.2.2  面向服務測試框架
    7.2.3  面向服務測試對象
  7.3  服務模型的形式化描述及求解
    7.3.1  服務模型的形式化描述
    7.3.2  形式化樹模型
    7.3.3  領域數據約束
    7.3.4  領域數據語義描述

    7.3.5  數據約束模型
  7.4  服務實體測試
    7.4.1  軟體行為建模
    7.4.2  測試框架
    7.4.3  靜態缺陷檢測
    7.4.4  測試設計模型
    7.4.5  測試數據生成
    7.4.6  單個操作基本測試用例生成
  7.5  有狀態服務實體測試
    7.5.1  模型及定義
    7.5.2  操作序列測試路徑生成
    7.5.3  服務操作序列測試
  7.6  基於時間波動的服務實時性測試
    7.6.1  基於時間波動的服務實時性
測試框架
    7.6.2  基於併發機制的單個服務訪問
頻率預測
    7.6.3  服務實體訪問場景構建
    7.6.4  服務響應時間波動分析
    7.6.5  服務實時性測試
    7.6.6  性能測試用例生成與執行
第8章  剖面驅動測試
  8.1  軟體可靠性測試的基本問題
    8.1.1  基於運行周期的軟體可靠性風險
    8.1.2  與傳統軟體測試的差異
    8.1.3  軟體可靠性測試的必備條件
    8.1.4  軟體可靠性測試的空間覆蓋
    8.1.5  軟體可靠性測試的不確定性
  8.2  軟體可靠性測試策略
    8.2.1  基於風險的可靠性測試方案
    8.2.2  一種理想化情況
    8.2.3  完全隨機的測試策略
    8.2.4  混合測試策略
    8.2.5  非均勻測試
    8.2.6  最小測試集確定
  8.3  軟體可靠性建模
    8.3.1  軟體可靠性建模的基本問題
    8.3.2  隨機過程類模型
    8.3.3  非隨機過程類模型
    8.3.4  基於構件的軟體可靠性模型
    8.3.5  模型評價、選擇及合併
  8.4  軟體可靠性度量
    8.4.1  度量模型視圖
    8.4.2  常用可靠性度量
    8.4.3  複雜性度量
  8.5  軟體可靠性增長測試
    8.5.1  軟體可靠性增長預計
    8.5.2  基於FTA的可靠性增長測試
    8.5.3  充分性準則
  8.6  軟體可靠性驗證測試

    8.6.1  無失效執行時間驗證測試
    8.6.2  定時可靠性驗證測試
    8.6.3  序貫驗證測試
    8.6.4  驗證測試方案
    8.6.5  充分性準則
  8.7  基於蒙特卡羅方法的軟體可靠性測試
    8.7.1  蒙特卡羅方法
    8.7.2  測試過程模型
    8.7.3  基於蒙特卡羅方法的測試應用
第9章  大數據及應用測試
  9.1  大數據架構
    9.1.1  大數據架構模型
    9.1.2  大數據處理
  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  大數據應用性能測試
    9.4.1  影響大數據應用性能的因素
    9.4.2  大數據應用性能指標及監控
    9.4.3  測試數據
    9.4.4  負載模型及測試
  9.5  大數據應用安全性測試
    9.5.1  大數據應用安全要素
    9.5.2  架構安全性測試
    9.5.3  數據安全性測試
    9.5.4  應用安全等級保護測試
第10章  軟硬體一體化測試
  10.1  一體化測試框架
    10.1.1  基於MBSE的一體化測試
    10.1.2  基於能力的一體化測試
    10.1.3  多域任務場景下的一體化測試
  10.2  一體化測試剖面構造
    10.2.1  壽命剖面
    10.2.2  任務剖面
    10.2.3  環境剖面設計
    10.2.4  面向任務的一體化測試剖面設計
    10.2.5  一體化測試剖面設計
  10.3  基於實測應力的綜合環境應力剖面生成
    10.3.1  應力測量
    10.3.2  振動應力分析與歸納處理
    10.3.3  溫度應力分析與歸納處理
    10.3.4  基於實測應力的綜合環境剖面
生成
    10.3.5  基於實測應力的顯控設備綜合

環境試驗剖面生成
  10.4  基於退化模型的一體化測試
    10.4.1  在環系統失效機理
    10.4.2  基於特徵的功能性能退化模型
    10.4.3  基於退化模型的系統可靠性評價
  10.5  多域任務場景驅動的一體化測試
    10.5.1  基於任務剖面的一體化測試用例
生成
    10.5.2  測試用例載入
    10.5.3  基於場景模式感知的測試用例
載入
    10.5.4  測試用例執行
第11章  質量、效率驅動的測試實踐
  11.1  測試過程治理
    11.1.1  測試過程模型
    11.1.2  測試過程式控制制
    11.1.3  基於系統特徵狀態的充分性度量
    11.1.4  測試評價及改進
  11.2  測試範圍及測試類型
    11.2.1  測試範圍
    11.2.2  測試類型
  11.3  文檔類測試
    11.3.1  基於審查單的文檔審查
    11.3.2  基於問題驅動的文檔審查
    11.3.3  文檔審查問題
    11.3.4  性能指標描述審查
  11.4  代碼類測試
    11.4.1  代碼審查
    11.4.2  代碼走查
    11.4.3  靜態分析
    11.4.4  邏輯測試
    11.4.5  內存使用缺陷測試
    11.4.6  軟體成分分析
  11.5  數據類測試
    11.5.1  數據審查
    11.5.2  數據處理測試
  11.6  功能類測試
    11.6.1  功能測試
    11.6.2  邊界測試
    11.6.3  安裝性測試
    11.6.4  恢復性測試
  11.7  性能類測試
    11.7.1  性能測試
    11.7.2  余量測試
    11.7.3  容量測試
    11.7.4  強度測試
  11.8  介面類測試
    11.8.1  介面測試
    11.8.2  人機交互界面測試
  11.9  專項類測試

    11.9.1  安全性測試
    11.9.2  互操作性測試
    11.9.3  兼容性測試
參考文獻

同類熱銷排行榜

最近瀏覽的商品

軟體測試(實踐者方法)