軟件測試-實踐者方法 孫志安 9787121487187 【台灣高等教育出版社】
圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：電子工業
物品所在地：中國大陸
原出版社：電子工業
NT$1,272
商品編號:
供貨狀況:
尚有庫存
加入最愛
此商品 「 最高 」可以折抵紅利
0
點
(約等於 NT$0 )
商品介紹
| *完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考，以到貨標的為正確資訊。 印行年月：202409*若逾兩年請先於私訊洽詢存貨情況，謝謝。 台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。 書名：軟件測試-實踐者方法 ISBN：9787121487187 出版社：電子工業 著編譯者：孫志安 頁數：549 所在地：中國大陸 *此為代購商品 書號：1678096 可大量預訂，請先連絡。 內容簡介 本書基於軟體測試過程模型，構建軟體測試價值模型、能力模型及基於能力戰略的軟體測試策略框架，討論軟體測試終止、測試預言、測試生成問題。基於圖結構、圖元素及軟體失效行為，介紹邏輯驅動、數據驅動、剖面驅動的基礎理論、基礎技術及實踐者方法。基於技術創新及軟體測試發展需求，構建面向服務、大數據及應用、軟硬體一體化測試的技術框架，討論基於服務模型的形式化描述及求解、服務實體及基於時間波動的服務實時性測試、大數據演算法及應用性能測試、基於環境剖面及多域任務場景綜合的一體化測試技術的最新研究成果及實踐者方法。基於能力戰略的軟體測試策略，構建基於質量、效率驅動的軟體測試框架，結合實際案例，討論文檔類、代碼類、數據類、功能類、性能類、介面類和專項類軟體測試的技術要求、測試策略、環境構建及實踐者方法。本書可供軟體測試人員、軟體質量管理人員、軟體工程管理人員、軟體開發人員及軟體工程專業本科高年級學生、研究生使用和參考。作者簡介 孫志安，中國船舶工業軟體測試中心研究員，裝備軟體工程標準化技術委員會委員，主要從事軟體測試、軟體可靠性工程研究。目錄 第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 基於功能圖分析的測試設計流程 詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。 |
