嵌入式软件测试实用技术

《嵌入式软件测试实用技术》以当前嵌入式软件测试需求为背景，针对嵌入式应用的复杂性、硬件的多样性、资源的有限性、响应及处理的实时性及技术应用的不确定性等所带来的嵌入式软件测试一系列问题，进行基础准备、知识讲解、技术分析、工具举例等内容的科学组织，使读者深入浅出，既能学习到一些基本的嵌入式软件测试技术，又能够拓宽眼界，了解嵌入式软件测试的一些边缘的或前沿的知识，而且对如何运用工具开展嵌入式软件测试能够有一定的认识和想法。
第一本真正以嵌入式软件测试技术为核心内容的嵌入式软件测试书籍
作者多年学术研究、项目研发及专业咨询的成果和经验的提炼与总结
交叉开发、质量度量、测试验证、交叉调测、半实物及全数字仿真、虚拟仪器、虚拟样机、软硬件协同验证和FPGA测试
集各种嵌入式软件测试技术和工具应用于一体，理论与实践并重

《嵌入式软件测试实用技术》是作者多年从事嵌入式软件测试研究、开发、咨询及培训经验的总结。全书共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.1EDA设计技术
1.4.2嵌入式DSP处理器
1.4.3ARM
1.4.4SoC
1.4.5SoPC
1.4.6FPGA
1.5应用领域与发展趋势
习题与思考题

第2章嵌入式软件设计方法
2.1软件设计技术
2.2实时切儿设计
2.2.1UML概述
2.2.2UML的实时扩展
2.2.3使用RationalRoseRT
习题与思考题

第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.2DDCI的SCORE
4.2.3WindowsCEPlatformBuilder
4.2.4Eclipse平台
习题与思考题

第5章嵌入式软件测试基础
5.1嵌入式软件静态测试
5.1.1MISRAC编程规范
5.1.2嵌入式软件质量度量
5.1.3嵌入式软件错误检测
5.1.4静态测试
5.2嵌入式软件动态测试
5.2.1DO178B标准
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.1FPGA芯片介绍
6.5.2FPGA测试基础
6.5.3FPGA的“黑盒”测试
6.5.4.FPGA的逻辑资源测试
6.5.5FPGA的互连资源测试
习题与思考题

第7章嵌入式软件静态分析工具
7.1代码质量分析工具——LogiscopeRuleChaec／Audit
7.1.1软件质量分析工具——Audit
7.1.2代码规范性检测工具——RuleChecker
7.2代码缺陷分析工具
7.2.IMathworksPolySpace
7.2.2ParasoftInsusre
7.2.3IBMRationalPurify
习题与思考题

第8章嵌入式软件动态测试工具
8.1嵌入式软件单元测试工具
8.1.1VectorSoftware公司的VectorCAST
8.1.2ParaSofl公司的C++est
8.2嵌入式软件“白盒”测试江具
8.2.1嵌入式软件测试与分析工具CodeTEST
82.2领测科技的“白盒”测试工具——VcTester
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.1NI公司的LabVIEW虚拟仪器
8.6.2嵌入式仿真平台构造工具——EuroSim
8.6.3仿真工作流程设计工具——SPINEware
习题与思考题

第9章嵌入式软件综合测试工具——RTRT
9.1RTRT的测试过程及组件架构
9.1.1测试过程
9.1.2组件架构
9.2RTRT功能
9.2.1RTRT功能概述
9.2.2RTRT功能详述
9.3RTRT应用举例
9.3.1RTRT搭建单元测试环境的基本过程
9.3.2函数codeint(intx，char*buffer)的测试过程
习题与思考题
参考文献