Practical techniques for embedded software testing

　　第Ⅰ部分 嵌入式软件开发技术
　　第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)的测试过程
　　 习题与思考题
　　参考文献