嵌入式軟件測(cè)試與實(shí)踐

目 錄

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