嵌入式軟件測試實用技術（簡體書）

《嵌入式軟件測試實用技術》是作者多年從事嵌入式軟件測試研究、開發、諮詢及培訓經驗的總結。全書共9章，分為3部分：第1部分（第1～4章）是對嵌入式軟件開發技術的介紹，涉及嵌入式軟件開發所用到技術的一些基本概念和基礎知識，如嵌入式應用的基礎知識、嵌入式軟件設計的各種方法、嵌入式應用開發的相關技術以及嵌入式軟件開發的集成環境等；第2部分（第5、6章）是《嵌入式軟件測試實用技術》的重點，講述了嵌入式軟件測試的一些基本概念、重要技術和經典方法，包括嵌入式軟件的靜態測試、動態測試、測試過程、自動化測試、可靠性測試等嵌入式軟件測試的基礎知識，以及嵌入式軟件測試仿真、虛擬儀器與虛擬樣機應用、軟硬件協同驗證、FPGA測試等技術和方法；第3部分（第7-9章）是對嵌入式軟件測試工具的全面介紹，覆蓋了嵌入式軟件測試各個方面的實際應用需求，書中的工具選型主要以嵌入式軟件測試技術支撐、方法應用和在國內應用有其代表性為出發點，重點介紹了包括IBMRational、Parasoft、VectorSoftware、FreeScale、領測科技、北航14系、NI、荷蘭宇航和國家實驗室（NLR）以及北京奧吉通等多家著名公司在內的嵌入式軟件測試產品或工具，形成了一整套的嵌入式軟件測試解決方案。
《嵌入式軟件測試實用技術》取材先進、設計新穎、內容翔實、知識面廣、技術性強，特別具有實用性和指導性。《嵌入式軟件測試實用技術》覆蓋了嵌入式軟件測試技術的方方面面，介紹了各種各樣的嵌入式軟件測試工具，給出了大大小小的嵌入式軟件測試案例，對讀者從事嵌入式軟件測試工作具有相當大的幫助作用。《嵌入式軟件測試實用技術》可作為高等院校高年級本科生及研究生的“嵌入式軟件測試”課程的教材，同時也可作為嵌入式軟件測試培訓機構的培訓用書或嵌入式軟件測試人員的自學書籍。

蔡建平，教授，北京工業大學軟件學院院長助理、軟件與網絡工程系主任。在原總裝備部某研究所工作十余年，一直從事該所負責的全軍軍用共性軟件系統項目的論證和研究，并在其中發揮重要作用，得到有關領導和專家的認可和好評。獲軍隊科技進步一等獎、二等獎、三等獎多項；發表各類學術論文30多篇，與他人合作著書一部。
在某公司任技術總監期間，除負責國防有關單位的軟件工程、軟件質量保證、軟件測試以及嵌入式開發的技術諮詢、提供解決方案和技術支撐外，還主持開發了一系列軟件測試工具，并成功用于國防軟件的測試。
2005年9月在北京工業大學軟件學院任職教授以來，除了多年講授軟件測試課程和多次對外開展嵌入式軟件測試技術培訓外，在學院的學科建設、專業建設，如實驗室建設、實踐教學改革與創新、數字藝術方向和數字媒體技術專業建設、“211工程”建設、教育部和北京市特色專業建設，以及科研基地——科技創新平臺建設等方面做了大量的工作，取得了突破性成果，獲國家教學優秀成果二等獎一項（排名第三）。

第1章 嵌入式應用基礎
1.1 嵌入式系統的特點與分類
1.1.1 嵌入式系統的定義
1.1.2 嵌入式系統的特點
1.1.3 嵌入式系統的分類
1.2 嵌入式系統的體系結構
1.2.1 嵌入式處理器
1.2.2 嵌入式外圍設備
1.2.3 嵌入式應用軟件
1.3 嵌入式操作系統
1.3.1 應用與發展概況
1.3.2 實時理論
1.3.3 主流嵌入式操作系統舉例
1.4 相關的硬件技術
1.4.1 EDA設計技術
1.4.2 嵌入式DSP處理器
1.4.3 ARM
1.4.4 SoC
1.4.5 SoPC
1.4.6 FPGA
1.5 應用領域與發展趨勢
習題與思考題

第2章 嵌入式軟件設計方法
2.1 軟件設計技術
2.2 實時切兒設計
2.2.1 UML概述
2.2.2 UML的實時擴展
2.2.3 使用Rational Rose RT
習題與思考題

第3章 嵌入式應用開發支持
3.1 嵌入式軟件編程語言
3.1.1 實時嵌入式高級編程語言——Ada
3.1.2 嵌入式C++語言——EC++
3.2 嵌入式應用開發基本支撐
3.2.1 實時編程及最小編程環境
3.2.2 板級支持包BSP
3.2.3 實時內核和實時操作系統
3.2.4 實時數據庫
3.2.5 嵌入式實時中間件
3.2.6 嵌入式GLI
3.3 實時嵌入式軟件應用模式
3.3.1 運行時系統結構
3.3.2 基於裸板系統與帶操作系統的應用模式
3.4 嵌入式軟件開發過程
3.4.1 開發流程
3.4.2 嵌入式軟件的交叉開發
3.5 嵌入式軟件運行調試方法
3.5.1 “crashandbum”的運行調試方法
3.5.2 軟件模擬的運行調試方法
3.5.3 目標機監控的運行調試方式
3.5.4 在線仿真的運行調試方式
習題與思考題

第4章 嵌入式軟件開發環境
4.1 嵌入式軟件集成開發環境
4.2 集成開發環境實例
4.2.1 基於VxWorks的Tomado／Workbench
4.2.2 DDCI的SCORE
4.2.3 Windows CE Platform Builder
4.2.4 Eclipse平臺
習題與思考題

第5章 嵌入式軟件測試基礎
5.1 嵌入式軟件靜態測試
5.1.1 MISRAC編程規範
5.1.2 嵌入式軟件質量度量
5.1.3 嵌入式軟件錯誤檢測
5.1.4 靜態測試
5.2 嵌入式軟件動態測試
5.2.1 DO178B標準
5.2.2 程序插樁技術
5.2.3 嵌入式軟件“白盒”測試
5.2.4 嵌入式軟件單元測試
5.2.5 嵌入式軟件“黑盒”測試
5.2.6 嵌入式軟件“灰盒”測試
5.2.7 嵌入式軟件運行時錯誤檢測
5.3 嵌入式軟件測試過程
5.3.1 軟件測試過程模型
5.3.2 嵌入式軟件結構化測試方法——TEmb
5.4 嵌入式軟件測試自動化
5.4.1 嵌入式軟件測試自動化過程模型
5.4.2 嵌入式軟件測試自動化工作原理
5.4.3 嵌入式軟件測試自動化框架
5.5 嵌入式軟件可靠性測試
5.5.1 嵌入式軟件可靠性的內涵
5.5.2 嵌入式軟件可靠性測試方法
習題與思考題

第6章 嵌入式軟件測試技術與方法
6.1 全實物、半實物、全數字仿真測試
6.1.1 各種仿真測試概念
6.1.2 基於仿真環境的測試策略
6.1.3 基於交叉調試的測試策略
6.2 基於虛擬儀器的嵌入式軟件測試
6.2.1 儀器儀表與虛擬儀器的概念
6.2.2 虛擬儀器技術在測試中的應用
6.3 基於虛擬樣機的嵌入式系統仿真測試
6.3.1 虛擬樣機技術的概念
6.3.2 虛擬樣機及虛擬測試
6.4 嵌入式軟硬件協同仿真驗證與測試
6.4.1 軟硬件協同仿真
6.4.2 軟硬件協同設計
6.4.3 軟硬件協同仿真驗證
6.5 基於FPGA的嵌入式系統測試
6.5.1 FPGA芯片介紹
6.5.2 FPGA測試基礎
6.5.3 FPGA的“黑盒”測試
6.5.4.FPGA的邏輯資源測試
6.5.5 FPGA的互連資源測試
習題與思考題

第7章 嵌入式軟件靜態分析工具
7.1 代碼質量分析工具——Logiscope RuleChaec／Audit
7.1.1 軟件質量分析工具——Audit
7.1.2 代碼規範性檢測工具——RuleChecker
7.2 代碼缺陷分析工具
7.2.I Mathworks Poly Space
7.2.2 Parasoft Insusre
7.2.3 IBM Rational Purify
習題與思考題

第8章 嵌入式軟件動態測試工具
8.1 嵌入式軟件單元測試工具
8.1.1 Vector Software公司的 Vector CAST
8.1.2 Para Sofl公司的C++est
8.2 嵌入式軟件“白盒”測試江具
8.2.1 嵌入式軟件測試與分析工具 CodeTEST
82.2 領測科技的“白盒”測試工具——Vc Tester
8.3 嵌入式軟件“黑盒”測試工具
8.3.1 通用嵌入式系統測試環境
8.3.2 系統級自動測試設備ADS.2
8.3.3 嵌入式系統實時仿真系統——dSPACE
8.4 嵌入式軟件“灰盒”測試工具
8.4.1 荷蘭CHESSEngineering公司的SHAM
8.4.2 德國Lauterbach公司的TRACE32
8.5 全數字仿真測試工具
8.5.1 比利時SPACEBEL公司的ERC32／1750TargetSimulator
8.5.2 北京奧吉通的CRESTS系列產品嵌入式應用仿真工具
8.6.1 NI公司的LabVIEW虛擬儀器
8.6.2 嵌入式仿真平臺構造工具——EuroSim
8.6.3 仿真工作流程設計工具——SPIN Eware
習題與思考題

第9章 嵌入式軟件綜合測試工具——RTRT
9.1 RTRT的測試過程及組件架構
9.1.1 測試過程
9.1.2 組件架構
9.2 RTRT功能
9.2.1 RTRT功能概述
9.2.2 RTRT功能詳述
9.3 RTRT應用舉例
9.3.1 RTRT搭建單元測試環境的基本過程
9.3.2 函數codeint(intx， char*buffer)的測試過程
習題與思考題
參考文獻