嵌入式软件测试实用技术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　ARM 19

1.4.4　SoC 20

1.4.5　SoPC 20

1.4.6　FPGA 21

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 RT 45

习题与思考题 52

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

3.1　嵌入式软件编程语言 53

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

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

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

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

3.2.2　板级支持包BSP 61

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

3.2.4　实时数据库 63

3.2.5　嵌入式实时中间件 65

3.2.6　嵌入式GUI 66

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/Workbench 86

4.2.2　DDC-I的SCORE 108

4.2.3　Windows CE Platform Builder 110

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　嵌入式软件结构化测试方法——TEmb 216

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

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

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

7.2　代码缺陷分析工具 318

7.2.1　MathworksPolySpace 319

7.2.2　Parasoft Insure++ 323

7.2.3　IBM Rational Purify 335

习题与思考题 336

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

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

8.1.1　Vector Software公司的VectorCAST 338

8.1.2　ParaSoft公司的C++Test 345

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

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

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

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

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

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

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

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

8.4.1　荷兰CHESS Engineering公司的SHAM 380

8.4.2　德国Lauterbach公司的TRACE32 385

8.5　全数字仿真测试工具 388

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

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

8.6　嵌入式应用仿真工具 408

8.6.1　NI公司的LabVIEW虚拟仪器 408

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

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

习题与思考题 428

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

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