xxxfreesexmoves-haodiaocao这里只有精品视频-欧美性受黑人性爽-欧美性受xxxxxx黑人xyx性爽|www.jsyyzsb.com

《嵌入式軟件測(cè)試與實(shí)踐》反映嵌入式軟件主流測(cè)試需求，將技術(shù)分析與應(yīng)用指導(dǎo)完美融為一體，技術(shù)先進(jìn)，內(nèi)容豐富。《嵌入式軟件測(cè)試與實(shí)踐》濃墨重彩地描述嵌入式軟件測(cè)試基本概念、特點(diǎn)、分類、需求、體系架構(gòu)和實(shí)用技術(shù)，介紹嵌入式軟件的編碼規(guī)范、質(zhì)量度量、軟件工程化、安全認(rèn)證等相關(guān)標(biāo)準(zhǔn)，詳述自動(dòng)化測(cè)試、可靠性測(cè)試、安全性測(cè)試等重要技術(shù)，*后深入講解FPGA軟件的設(shè)計(jì)規(guī)范、測(cè)試標(biāo)準(zhǔn)、測(cè)試流程和測(cè)試方法。

《嵌入式軟件測(cè)試與實(shí)踐》系統(tǒng)論述嵌入式軟件測(cè)試的技術(shù)體系架構(gòu)，講述嵌入式軟件及測(cè)試技術(shù)的關(guān)鍵部分，闡述嵌入式軟件特性、嵌入式軟件測(cè)試技術(shù)、嵌入式軟件測(cè)試工具與應(yīng)用等方面，從嵌入式軟件測(cè)試基礎(chǔ)、嵌入式軟件測(cè)試方法與技術(shù)、基于FPGA 的嵌入式軟件測(cè)試等方面對(duì)嵌入式軟件測(cè)試進(jìn)行了詳細(xì)論述，將技術(shù)分析與應(yīng)用指導(dǎo)融為一體。可以說這是一本反映嵌入式軟件主流測(cè)試需求、集各類嵌入式軟件測(cè)試技術(shù)及應(yīng)用為一體的軟件測(cè)試專業(yè)書籍，對(duì)嵌入式軟件測(cè)試從業(yè)人員及有志于學(xué)習(xí)研究嵌入式軟件測(cè)試的讀者大有裨益。

趙國(guó)亮，特聘教授、碩士研究生導(dǎo)師、研究員、航天中認(rèn)軟件測(cè)評(píng)科技有限責(zé)任公司總經(jīng)理、中國(guó)航天軟件評(píng)測(cè)中心副主任，從事軟件工程與軟件評(píng)測(cè)相關(guān)工作近20年，具有扎實(shí)的理論基礎(chǔ)和豐富的實(shí)踐經(jīng)驗(yàn)，負(fù)責(zé)過載人航天工程、探月工程、2008北京奧運(yùn)安保系統(tǒng)等大型工程軟件測(cè)評(píng)工作。目前擔(dān)任國(guó)家科技專家?guī)鞂＜遥瑖?guó)家認(rèn)監(jiān)委檢測(cè)認(rèn)證技術(shù)委員會(huì)委員，中國(guó)廣核集團(tuán)有限公司軟件質(zhì)量保證專家咨詢委員會(huì)委員，中國(guó)航天科工集團(tuán)706所科技委委員。主要研究方向包括：軟件工程、嵌入式及分布式軟件測(cè)試、虛擬化測(cè)試、代碼可靠性測(cè)試、云測(cè)試等，曾撰寫《軟件代碼可靠性測(cè)試實(shí)踐》等專著，在中文核心期刊及學(xué)術(shù)會(huì)議發(fā)表學(xué)術(shù)論文10余篇。

目 錄

第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è)試過程 213

5.1 嵌入式軟件測(cè)試過程模型 213

5.1.1 軟件測(cè)試過程模型 213

5.1.2 軟件代碼可靠性測(cè)試
Z模型 219

5.2 嵌入式軟件測(cè)試過程
管理工具SQATest-TM 222

5.2.1 SQATest-TM簡(jiǎn)介 222

5.2.2 SQATest-TM測(cè)試過程
管理功能 224

習(xí)題與思考題 229

第6章 嵌入式軟件測(cè)試自動(dòng)化 230

6.1 嵌入式軟件測(cè)試自動(dòng)化
技術(shù) 230

6.1.1 嵌入式軟件測(cè)試自動(dòng)化
過程模型 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 軟件故障樹分析 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 嵌入式軟件安全性過程 288

8.2.2 嵌入式軟件安全性
測(cè)試類型 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è)試開發(fā)
支持 312

9.3 半實(shí)物仿真測(cè)試 314

9.3.1 半實(shí)物仿真測(cè)試
技術(shù)及環(huán)境 314

9.3.2 半實(shí)物仿真開環(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)開發(fā)過程 349

10.1.4 FPGA系統(tǒng)開發(fā)工具
支持 353

10.2 FPGA設(shè)計(jì)規(guī)范要求 361

10.2.1 語法設(shè)計(jì)要求 361

10.2.2 通用設(shè)計(jì)要求 363

10.2.3 跨時(shí)鐘域設(shè)計(jì)要求 367

10.2.4 常見設(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