本书以当前嵌入式软件测试需求为背景，针对嵌入式应用的复杂性、硬件的多样性、资源的有限性、响应及处理的实时性及技术应用的不确定性等所带来的嵌入式软件测试一系列问题，进行基础准备、知识讲解、技术分析、工具举例等内容的科学组织，使读者深入浅出，既能学习到一些基本的嵌入式软件测试技术，又能够拓宽眼界，了解嵌入式软件测试的一些边缘的或前沿的知识，而且对如何运用工具开展嵌入式软件测试能够有一定的认识和想法。

本书是作者多年从事嵌入式软件测试研究、开发、咨询及培训经验的总结。全书共9章，分为3部分：第Ⅰ部分(第1～4章)是对嵌入式软件开发技术的介绍，涉及嵌入式软件开发所用到技术的一些基本概念和基础知识，如嵌入式应用的基础知识、嵌入式软件设计的各种方法、嵌入式应用开发的相关技术以及嵌入式软件开发的集成环境等；第Ⅱ部分(第5、6章)是本书的重点，讲述了嵌入式软件测试的一些基本概念、重要技术和经典方法，包括嵌入式软件的静态测试、动态测试、测试过程、自动化测试、可靠性测试等嵌入式软件测试的基础知识，以及嵌入式软件测试仿真、虚拟仪器与虚拟样机应用、软硬件协同验证、FPGA测试等技术和方法：第Ⅲ部分(第7～9章)是对嵌入式软件测试工具的全面介绍，覆盖了嵌入式软件测试各个方面的实际应用需求，书中的工具选型主要以嵌入式软件测试技术支撑、方法应用和在国内应用有其代表性为出发点，重点介绍了包括IBM Rational、Parasoft、Vector Sottware、FreeScale、领测科技、北航14系、NI、荷兰宇航和国家实验室(NLR)以及北京奥吉通等多家著名公司在内的嵌入式软件测试产品或工具，形成了一整套的嵌入式软件测试解决方案。

本书取材先进、设计新颖、内容翔实、知识面广、技术性强，特别具有实用性和指导性。本书覆盖了嵌入式软件测试技术的方方面面，介绍了各种各样的嵌入式软件测试工具，给出了大大小小的嵌入式软件测试案例，对读者从事嵌入式软件测试工作具有相当大的帮助作用。本书可作为高等院校高年级本科生及研究生的“嵌入式软件测试”课程的教材，同时也可作为嵌入式软件测试培训机构的培训用书或嵌入式软件测试人员的自学书籍。

第Ⅰ部分 嵌入式软件开发技术

第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 实时UML设计

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 嵌入式GUI

 3.3 实时嵌入式软件应用模式

3.3.1 运行时系统结构

3.3.2 基于裸板系统与带操作系统的应用模式

 3.4 嵌入式软件开发过程

3.4.1 开发流程

3.4.2 嵌入式软件的交叉开发

 3.5 嵌入式软件运行调试方法

3.5.1 “crash and burn”的运行调试方法

3.5.2 软件模拟的运行调试方法

3.5.3 目标机监控的运行调试方式

3.5.4 在线仿真的运行调试方式

 习题与思考题

第4章 嵌入式软件开发环境

 4.1 嵌入式软件集成开发环境

 4.2 集成开发环境实例

4.2.1 基于VxWorks的Tomado/Workbench

4.2.2 DDC-I的SCORE

4.2.3 Windows CE Platform Builder

4.2.4 Eclipse平台

 习题与思考题

第Ⅱ部分 嵌入式软件测试技术

第5章 嵌入式软件测试基础

 5.1 嵌入式软件静态测试

5.1.1 MISRA C编程规范

5.1.2 嵌入式软件质量度量

5.1.3 嵌入式软件错误检测

5.1.4 静态测试

 5.2 嵌入式软件动态测试

5.2.1 DO-178B标准

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 RuleCheclo/Audit

7.1.1 软件质量分析工具——Audit

7.1.2 代码规范性检测工具——RuleChecker

 7.2 代码缺陷分析工具

7.2.1 Mathworks PolySpace

7.2.2 Parasoft Insure++

7.2.3 IBM Rational Purify

 习题与思考题

第8章 嵌入式软件动态测试工具

 8.1 嵌入式软件单元测试工具

8.1.1 Vector Software公司的VectorCAST

8.1.2 ParaSoft公司的C++test

 8.2 嵌入式软件“白盒”测试工具

8.2.1 嵌入式软件测试与分析工具CodeTEST

8.2.2 领测科技的“白盒”测试工具——VcTester

 8.3 嵌入式软件“黑盒”测试工具

8.3.1 通用嵌入式系统测试环境

8.3.2 系统级自动测试设备ADS-2

8.3.3 嵌入式系统实时仿真系统——dSPACE

 8.4 嵌入式软件“灰盒”测试工具

8.4.1 荷兰CHESS Engineering公司的SHAM

8.4.2 德国Lauterbach公司的TRACE32

 8.5 全数字仿真测试工具

8.5.1 比利时SPACEBEL公司的ERC-32/1750.Target Simulator

8.5.2 北京奥吉通的CRESTS系列产品

 8.6 嵌入式应用仿真工具

8.6.1 NI公司的LabVIEW虚拟仪器

8.6.2 嵌入式仿真平台构造工具——EuroSim

8.6.3 仿真工作流程设计工具——SPINEware

 习题与思考题

第9章 嵌入式软件综合测试工具——RTRT

 9.1 RTDT的测试过程及组件架构

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 函数code_int(mt x，char*buffer)的测试过程

 习题与思考题

参考文献