《嵌入式軟體測試與實踐》是2018年1月清華大學出版社出版的圖書，作者是趙國亮、葉東升、董麗、趙琪、周健、辛中臣。
基本介紹
- 書名：嵌入式軟體測試與實踐
- 作者：趙國亮、葉東升、董麗、趙琪、周健、辛中臣
- ISBN：9787302486022
- 定價：79.80元
- 出版社：清華大學出版社
- 出版時間：2018年1月
內容簡介,圖書目錄,
內容簡介
《嵌入式軟體測試與實踐》反映嵌入式軟體主流測試需求，將技術分析與套用指導完美融為一體，技術先進，內容豐富。《嵌入式軟體測試與實踐》濃墨重彩地描述嵌入式軟體測試基本概念、特點、分類、需求、體系架構和實用技術，介紹嵌入式軟體的編碼規範、質量度量、軟體工程化、安全認證等相關標準，詳述自動化測試、可靠性測試、安全性測試等重要技術，最後深入講解FPGA軟體的設計規範、測試標準、測試流程和測試方法。
圖書目錄
第1章 嵌入式軟體測試概述 1
1.1 嵌入式軟體及其特性 2
1.1.1 嵌入式軟體概述 2
1.1.2 嵌入式軟體設計方法 3
1.1.3 嵌入式軟體測試的意義
和要求 8
1.2 嵌入式軟體測試基礎 11
1.2.1 嵌入式軟體靜態測試 12
1.2.2 嵌入式軟體動態測試 12
1.2.3 嵌入式軟體測試管理 13
習題與思考題 22
第2章 國內外嵌入式軟體相關
重要標準及規範介紹 23
2.1 國外標準及規範 23
2.1.1 嵌入式軟體編碼規範 23
2.1.2 軟體工程化標準 32
2.1.3 軟體安全認證標準 37
2.1.4 軟體測試標準 40
2.2 國內標準及規範 42
2.2.1 嵌入式軟體質量度量 43
2.2.2 嵌入式軟體編碼規範 46
2.2.3 軟體工程化標準及規範 51
2.2.4 嵌入式軟體測試指南 65
習題與思考題 69
第3章 嵌入式軟體靜態測試 70
3.1 嵌入式軟體質量度量 70
3.1.1 嵌入式軟體質量模型 71
3.1.2 嵌入式軟體質量模型的
度量元 87
3.2 嵌入式軟體靜態分析 95
3.2.1 編碼規則檢查 95
3.2.2 安全性檢查 115
3.3 嵌入式軟體代碼分析 119
3.3.1 錯誤檢測主要內容 120
3.3.2 運行時錯誤檢測 121
3.4 軟體代碼審查 132
3.5 靜態測試工具實踐 136
3.5.1 軟體靜態測試工具 136
3.5.2 代碼分析工具 140
習題與思考題 146
第4章 嵌入式軟體動態測試 147
4.1 嵌入式軟體測試技術 147
4.1.1 嵌入式軟體黑盒測試 147
4.1.2 嵌入式軟體白盒測試 151
4.2 嵌入式軟體測試級別 156
4.2.1 單元測試 156
4.2.2 集成測試 161
4.2.3 配置項測試 175
4.2.4 系統測試 178
4.3 嵌入式軟體動態測試工具 189
4.3.1 白盒測試工具 189
4.3.2 黑盒測試工具 208
習題與思考題 212
第5章 嵌入式軟體測試過程 213
5.1 嵌入式軟體測試過程模型 213
5.1.1 軟體測試過程模型 213
5.1.2 軟體代碼可靠性測試
Z模型 219
5.2 嵌入式軟體測試過程
管理工具SQATest-TM 222
5.2.1 SQATest-TM簡介 222
5.2.2 SQATest-TM測試過程
管理功能 224
習題與思考題 229
第6章 嵌入式軟體測試自動化 230
6.1 嵌入式軟體測試自動化
技術 230
6.1.1 嵌入式軟體測試自動化
過程模型 230
6.1.2 嵌入式軟體自動化測試
工作原理 232
6.2 嵌入式軟體自動化
測試框架 233
6.2.1 “黑盒”測試的自動化 234
6.2.2 單元測試的自動化 237
6.3 嵌入式軟體自動化
工具ETest 238
習題與思考題 245
第7章 嵌入式軟體可靠性測試 246
7.1 軟體可靠性分析 251
7.1.1 軟體失效模式及影響分析 252
7.1.2 軟體故障樹分析 257
7.2 軟體可靠性測試 260
7.2.1 軟體可靠性增長測試 262
7.2.2 軟體可靠性驗證測試 263
7.2.3 軟體可靠性摸底測試 266
7.2.4 軟體可靠性測試用例
設計方法 266
7.3 軟體可靠性評估 273
7.3.1 軟體可靠性評估參數 273
7.3.2 軟體可靠性模型 274
7.3.3 操作剖面的構造 277
7.4 軍工軟體可靠性工程 281
習題與思考題 283
第8章 嵌入式軟體安全性測試 284
8.1 嵌入式軟體安全性分析 284
8.1.1 嵌入式軟體安全性需求 284
8.1.2 嵌入式軟體安全性定義 286
8.2 嵌入式軟體安全性測試要求 288
8.2.1 嵌入式軟體安全性過程 288
8.2.2 嵌入式軟體安全性
測試類型 292
8.3 嵌入式軟體安全性測試
技術及方法 294
8.3.1 嵌入式軟體安全性
測試技術 294
8.3.2 嵌入式軟體安全性
測試方法 300
8.4 安全裝備軟體認證 303
8.4.1 安全裝備軟體定義 303
8.4.2 安全裝備軟體認證及
方法 304
習題與思考題 308
第9章 嵌入式軟體測試平台及環境 309
9.1 全實物仿真測試 309
9.1.1 全實物仿真測試概念 310
9.1.2 全實物仿真測試套用 310
9.2 全數字仿真測試 311
9.2.1 全數字仿真測試
技術及環境 311
9.2.2 全數字仿真測試開發
支持 312
9.3 半實物仿真測試 314
9.3.1 半實物仿真測試
技術及環境 314
9.3.2 半實物仿真開環測試 316
9.3.3 半實物仿真閉環測試 317
9.3.4 半實物仿真測試的
技術發展 317
9.4 仿真測試策略 318
9.4.1 基於仿真環境的測試
策略 318
9.4.2 基於交叉調試的測試
策略 321
9.5 基於虛擬儀器的嵌入式
軟體測試 324
9.5.1 虛擬儀器的概念 324
9.5.2 虛擬儀器技術在測試中的
套用 327
9.6 基於虛擬樣機的嵌入式
系統仿真測試 332
9.6.1 虛擬樣機技術的概念 332
9.6.2 虛擬樣機及虛擬測試 333
9.7 嵌入式仿真測試工具 335
9.7.1 全數字仿真測試工具 335
9.7.2 嵌入式套用仿真工具 342
習題與思考題 346
第10章 基於FPGA的嵌入式
軟體測試基礎 347
10.1 FPGA介紹 347
10.1.1 FPGA原理 347
10.1.2 FPGA套用基礎 348
10.1.3 FPGA系統開發過程 349
10.1.4 FPGA系統開發工具
支持 353
10.2 FPGA設計規範要求 361
10.2.1 語法設計要求 361
10.2.2 通用設計要求 363
10.2.3 跨時鐘域設計要求 367
10.2.4 常見設計缺陷 368
10.3 FPGA相關標準規範 370
10.3.1 Actel器件編碼規範 371
10.3.2 Altera器件編碼規範 374
習題與思考題 375
第11章 基於FPGA的嵌入式
軟體測試技術 376
11.1 FPGA測試流程及
基本方法 376
11.2 FPGA靜態測試 378
11.2.1 FPGA編碼錯誤檢測 379
11.2.2 靜態時序分析方法 379
11.2.3 時序約束分析 381
11.2.4 功耗分析測試 384
11.2.5 邏輯資源分析測試 385
11.2.6 靜態測試工具介紹 385
11.3 FPGA仿真測試 396
11.3.1 FPGA仿真測試技術
介紹 396
11.3.2 FPGA仿真測試驗證
方法 396
11.3.3 測試激勵及測試腳本
要求 397
11.3.4 仿真測試內容與測試
工具 398
11.3.5 仿真測試工作準備 401
11.3.6 仿真測試工作步驟 401
11.3.7 仿真測試工具使用流程 403
11.4 FPGA軟體形式驗證 407
11.4.1 FPGA軟體形式
驗證介紹 407
11.4.2 形式驗證內容與
驗證工具 407
11.4.3 形式驗證測試條件與
測試準備 408
11.4.4 等價性檢查工作步驟 410
11.4.5 等價性檢查工具
使用流程 410
11.5 SOC系統驗證 416
習題與思考題 417
參考文獻 418
