嵌入式软件测试实用技术PDF|Epub|txt|kindle电子书版本网盘下载

嵌入式软件测试实用技术PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第Ⅰ部分 嵌入式软件开发技术第1章　嵌入式应用基础3

1.1　嵌入式系统的特点与分类3

1.1.1　嵌入式系统的定义3

1.1.2　嵌入式系统的特点4

1.1.3　嵌入式系统的分类5

1.2　嵌入式系统的体系结构5

1.2.1　嵌入式处理器6

1.2.2　嵌入式外围设备6

1.2.3　嵌入式应用软件7

1.3　嵌入式操作系统7

1.3.1　应用与发展概况8

1.3.2　实时理论10

1.3.3　主流嵌入式操作系统举例12

1.4　相关的硬件技术17

1.4.1　EDA设计技术17

1.4.2　嵌入式DSP处理器18

1.4.3　ARM19

1.4.4　SoC20

1.4.5　SoPC20

1.4.6　FPGA21

1.5　应用领域与发展趋势22

习题与思考题23

第2章　嵌入式软件设计方法24

2.1　软件设计技术24

2.2　实时UML设计29

2.2.1　UML概述29

2.2.2　UML的实时扩展42

2.2.3　使用Rational Rose RT45

习题与思考题52

第3章　嵌入式应用开发支持53

3.1　嵌入式软件编程语言53

3.1.1　实时嵌入式高级编程语言——Ada54

3.1.2　嵌入式C++语言——EC++60

3.2　嵌入式应用开发基本支撑61

3.2.1 实时编程及最小编程环境61

3.2.2　板级支持包BSP61

3.2.3　实时内核和实时操作系统62

3.2.4　实时数据库63

3.2.5　嵌入式实时中间件65

3.2.6　嵌入式GUI66

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

3.3.1　运行时系统结构70

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

3.4　嵌入式软件开发过程73

3.4.1　开发流程73

3.4.2　嵌入式软件的交叉开发73

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

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

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

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

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

习题与思考题82

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

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

4.2　集成开发环境实例85

4.2.1　基于VxWorks的Tornado/Workbench86

4.2.2　DDC-I的SCORE108

4.2.3　Windows CE Platform Builder110

4.2.4　Eclipse平台116

习题与思考题119

第Ⅱ部分 嵌入式软件测试技术第5章　嵌入式软件测试基础123

5.1　嵌入式软件静态测试123

5.1.1　MISRAC编程规范124

5.1.2　嵌入式软件质量度量139

5.1.3　嵌入式软件错误检测153

5.1.4　静态测试157

5.2　嵌入式软件动态测试162

5.2.1　DO-178B标准164

5.2.2　程序插桩技术174

5.2.3　嵌入式软件“白盒”测试181

5.2.4　嵌入式软件单元测试188

5.2.5　嵌入式软件“黑盒”测试192

5.2.6　嵌入式软件“灰盒”测试200

5.2.7　嵌入式软件运行时错误检测203

5.3　嵌入式软件测试过程207

5.3.1　软件测试过程模型207

5.3.2　嵌入式软件结构化测试方法——TEmb216

5.4　嵌入式软件测试自动化220

5.4.1　嵌入式软件测试自动化过程模型221

5.4.2　嵌入式软件测试自动化工作原理222

5.4.3　嵌入式软件测试自动化框架224

5.5　嵌入式软件可靠性测试230

5.5.1　嵌入式软件可靠性的内涵230

5.5.2　嵌入式软件可靠性测试方法233

习题与思考题237

第6章　嵌入式软件测试技术与方法239

6.1　全实物、半实物、全数字仿真测试240

6.1.1　各种仿真测试概念240

6.1.2　基于仿真环境的测试策略247

6.1.3　基于交叉调试的测试策略250

6.2　基于虚拟仪器的嵌入式软件测试252

6.2.1 仪器仪表与虚拟仪器的概念253

6.2.2　虚拟仪器技术在测试中的应用270

6.3　基于虚拟样机的嵌入式系统仿真测试274

6.3.1　虚拟样机技术的概念274

6.3.2　虚拟样机及虚拟测试276

6.4　嵌入式软硬件协同仿真验证与测试278

6.4.1　软硬件协同仿真278

6.4.2　软硬件协同设计279

6.4.3　软硬件协同仿真验证284

6.5　基于FPGA的嵌入式系统测试293

6.5.1　FPGA芯片介绍293

6.5.2　FPGA测试基础295

6.5.3　FPGA的“黑盒”测试301

6.5.4　FPGA的逻辑资源测试303

6.5.5　FPGA的互连资源测试305

习题与思考题306

第Ⅲ部分 嵌入式软件测试常用工具第7章　嵌入式软件静态分析工具309

7.1　代码质量分析工具——Logiscope RuleCheck/Audit309

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

7.1.2　代码规范性检测工具——Rule Checker317

7.2　代码缺陷分析工具318

7.2.1　MathworksPolySpace319

7.2.2　Parasoft Insure++323

7.2.3　IBM Rational Purify335

习题与思考题336

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

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

8.1.1　Vector Software公司的VectorCAST338

8.1.2　ParaSoft公司的C++Test345

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

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

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

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

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

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

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

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

8.4.1　荷兰CHESS Engineering公司的SHAM380

8.4.2　德国Lauterbach公司的TRACE32385

8.5　全数字仿真测试工具388

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

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

8.6　嵌入式应用仿真工具408

8.6.1　NI公司的LabVIEW虚拟仪器408

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

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

习题与思考题428

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

9.1　RTRT的测试过程及组件架构430

9.1.1　测试过程430

9.1.2　组件架构431

9.2　RTRT功能433

9.2.1　RTRT功能概述433

9.2.2　RTRT功能详述433

9.3　RTRT应用举例452

9.3.1　RTRT搭建单元测试环境的基本过程452

9.3.2　函数code_int（int x,char*buffer）的测试过程454

习题与思考题463

参考文献465