基本介紹
- 中文名：軟體代碼可靠性測試實踐
- 作者：趙國亮、霍亞格、陳敬恆
- 定價：50元
- 印次：2-1
- ISBN：9787302420866
- 出版日期：2015.11.01
內容簡介,圖書目錄,
內容簡介
本書重點介紹軟體代碼可靠性測試的概念、方法和技術，並將測試計畫、測試用例、測試數據的相關知識融入其中，提出軟體代碼可靠性測試理論，簡單介紹測試管理工具和缺陷管理工具，從軟體代碼靜態測試、動態測試、白盒測試等方面濃墨重彩地描述軟體代碼可靠性測試的實施過程及工程解決方案。 本書將理論與實踐相結合，列舉了大量實例並提供了被測樣例系統，力爭通過實踐方式讓軟體測試的內容更容易被理解和接受。 本書將軟體測試技術、方法與實際工程樣例系統及主流測試工具相結合，可作為軟體測試實踐指導用書；本書適用於高等院校軟體測試專業及計算機相關專業，可作為高校或國內軟體工程、軟體測試培訓機構的軟體測試課程教材或參考用書，也可作為軟體開發和軟體測試專業技術人員參考用書。
圖書目錄
第1章代碼可靠性測試 1
1.1軟體代碼可靠性測試 1
1.1.1軟體可靠性 2
1.1.2軟體不可靠的原因 3
1.1.3軟體代碼可靠性測試 3
1.2軟體代碼可靠性測試分析、設計與實現 4
1.2.1軟體需求分析 5
1.2.2軟體需求實現 5
1.2.3軟體設計實現 7
1.2.4軟體代碼可靠性分析 8
1.2.5軟體代碼可靠性設計 9
1.2.6軟體代碼可靠性編程 12
1.2.7軟體代碼可靠性保障因素 14
1.2.8軟體代碼可靠性測試需求 17
1.3代碼可靠性測試的方法、過程與技術 19
1.3.1測試方法 20
1.3.2測試過程 21
1.3.3測試技術 27
1.4代碼可靠性測試計畫、用例(測試數據)設計 28
1.4.1測試計畫 28
1.4.2測試報告 29
1.4.3測試數據 29
1.4.4測試用例 30
1.5代碼可靠性測試缺陷管理與跟蹤 32
1.5.1缺陷的定義與分類 32
1.5.2缺陷管理 33
1.5.3缺陷報告 34
1.6實踐環節：測試管理工具
TestLink與缺陷管理工具Mantis 35
1.6.1測試管理工具TestLink 35
1.6.2缺陷管理工具Mantis 36
1.6.3測試計畫編寫與測試報告模板 36
1.6.4本章各類模板說明 38
第2章被測樣例系統 43
2.1被測樣例系統一的需求說明 43
2.1.1引言 43
2.1.2系統概述 44
2.1.3功能性需求 45
2.1.4非功能性需求 47
2.1.5外部接口說明 48
2.2被測樣例系統一的設計說明 48
2.2.1引言 48
2.2.2系統架構圖 49
2.2.3全局數據說明 49
2.2.4功能設計說明 57
2.3被測樣例系統二的需求說明 68
2.3.1引言 68
2.3.2系統概述 68
2.3.3功能性需求 69
2.3.4非功能性需求 70
2.3.5外部接口說明 70
2.4被測樣例系統二的設計說明 70
2.4.1引言 70
2.4.2系統架構設計 71
2.4.3資料庫設計 72
2.4.4主窗體的格局設計 74
2.4.5功能設計說明 77
第3章軟體質量度量 93
3.1軟體質量 93
3.1.1軟體質量定義 94
3.1.2軟體質量特性 95
3.1.3軟體質量模型 97
3.2軟體質量度量與評價 104
3.2.1產品質量度量的分類 104
3.2.2軟體質量評價策略 105
3.2.3軟體質量評價過程 107
3.3軟體質量度量方法 110
3.3.1行數度量 110
3.3.2扇入/扇出數度量 111
3.3.3McCabe度量 111
3.4軟體質量度量實踐 116
3.4.1軟體質量度量工具 116
3.4.2被測樣例系統質量度量實踐 122
第4章軟體代碼靜態分析 151
4.1軟體代碼靜態分析的概念 151
4.2C語言編碼規範 152
4.2.1編碼規範 152
4.2.2MISRA-C2004編碼規範 153
4.3MISRA-C2004典型編碼規範介紹 155
4.3.1數據類型及數據類型轉換規範 155
4.3.2初始化規範 159
4.3.3指針的規範 160
4.3.4表達式規範 163
4.3.5程式流的控制規範 167
4.4軟體代碼靜態分析實踐 176
4.4.1代碼靜態分析工具 176
4.4.2被測樣例系統靜態分析
實踐 186
第5章代碼安全性檢查 195
5.1軟體代碼安全性檢查的概念 195
5.2軟體代碼安全性檢查的原理 196
5.2.1數據流分析 196
5.2.2控制流分析 198
5.2.3接口分析 199
5.2.4表達式分析 199
5.3典型錯誤分析 199
5.3.1緩衝區溢出 199
5.3.2記憶體泄漏 202
5.3.3引用未初始化變數 205
5.3.4指針與數組錯誤 206
5.4軟體代碼安全性檢查的實踐 210
5.4.1代碼安全性檢查工具 210
5.4.2被測樣例系統代碼安全性檢查 221
第6章動態白盒測試 231
6.1軟體白盒測試概述 231
6.1.1白盒測試的基本概念 231
6.1.2白盒測試的原則 232
6.1.3白盒測試的意義 232
6.2軟體動態白盒測試方法和
技術 234
6.2.1動態白盒測試 234
6.2.2對邏輯結構的測試 234
6.2.3對路徑的測試 243
6.2.4對循環的測試 250
6.2.5對變數的測試 253
6.2.6動態白盒測試策略 254
第7章軟體單元測試 255
7.1單元測試概述 255
7.1.1單元測試基本概念 256
7.1.2單元測試的重要性 257
7.1.3單元測試的內容 257
7.1.4單元測試的原則 260
7.2單元測試方法和技術 261
7.2.1單元測試方法 261
7.2.2單元測試技術 261
7.2.3單元測試要求 262
7.3單元測試策略和過程 263
7.3.1單元測試策略 263
7.3.2單元測試過程 264
7.3.3單元測試環境 267
7.4單元測試實踐 269
7.4.1C/C++應用程式單元測試 269
7.4.2被測樣例系統一單元測試實踐 274
7.4.3Java應用程式單元測試工具 309
7.4.4被測樣例系統二單元測試實踐 324
第8章軟體集成測試 337
8.1集成測試概述 337
8.1.1集成測試的基本概念 338
8.1.2集成測試的重要性 338
8.1.3集成測試的主要內容 339
8.2集成測試用例設計方法和技術 341
8.2.1集成測試用例的設計方法 341
8.2.2集成測試設計用例技術要求 342
8.3集成測試方法和過程 343
8.3.1集成測試方法 343
8.3.2集成測試過程 350
8.3.3集成測試環境 355
8.3.4集成測試原則 356
8.4集成測試實踐 357
8.4.1C/C++集成測試工具 357
8.4.2被測樣例系統一集成測試實踐 357
8.4.3Java集成測試工具 382
8.4.4被測樣例系統二集成測試實踐 382
