图书介绍
嵌入式软件测试与实践PDF|Epub|txt|kindle电子书版本下载
- 赵国亮，叶东升，董丽，赵琪，周健著 著
- 出版社： 北京：清华大学出版社
- ISBN：9787302486020
- 出版时间：2018
- 标注页数：422页
- 文件大小：56MB
- 文件页数：434页
- 主题词：
PDF下载
下载说明
嵌入式软件测试与实践PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1章 嵌入式软件测试概述1
1.1嵌入式软件及其特性2
1.1.1嵌入式软件概述2
1.1.2嵌入式软件设计方法3
1.1.3嵌入式软件测试的意义和要求8
1.2嵌入式软件测试基础11
1.2.1嵌入式软件静态测试12
1.2.2嵌入式软件动态测试12
1.2.3嵌入式软件测试管理13
习题与思考题22
第2章 国内外嵌入式软件相关重要标准及规范介绍23
2.1国外标准及规范23
2.1.1嵌入式软件编码规范23
2.1.2软件工程化标准32
2.1.3软件安全认证标准37
2.1.4软件测试标准40
2.2国内标准及规范42
2.2.1嵌入式软件质量度量43
2.2.2嵌入式软件编码规范46
2.2.3软件工程化标准及规范51
2.2.4嵌入式软件测试指南65
习题与思考题69
第3章 嵌入式软件静态测试70
3.1嵌入式软件质量度量70
3.1.1嵌入式软件质量模型71
3.1.2嵌入式软件质量模型的度量元87
3.2嵌入式软件静态分析95
3.2.1编码规则检查95
3.2.2安全性检查115
3.3嵌入式软件代码分析119
3.3.1错误检测主要内容120
3.3.2运行时错误检测121
3.4软件代码审查132
3.5静态测试工具实践136
3.5.1软件静态测试工具136
3.5.2代码分析工具140
习题与思考题146
第4章 嵌入式软件动态测试147
4.1嵌入式软件测试技术147
4.1.1嵌入式软件黑盒测试147
4.1.2嵌入式软件白盒测试151
4.2嵌入式软件测试级别156
4.2.1单元测试156
4.2.2集成测试161
4.2.3配置项测试175
4.2.4系统测试178
4.3嵌入式软件动态测试工具189
4.3.1白盒测试工具189
4.3.2黑盒测试工具208
习题与思考题212
第5章 嵌入式软件测试过程213
5.1嵌入式软件测试过程模型213
5.1.1软件测试过程模型213
5.1.2软件代码可靠性测试Z模型219
5.2嵌入式软件测试过程管理工具SQATest-TM222
5.2.1 SQATest-TM简介222
5.2.2 SQATest-TM测试过程管理功能224
习题与思考题229
第6章 嵌入式软件测试自动化230
6.1嵌入式软件测试自动化技术230
6.1.1嵌入式软件测试自动化过程模型230
6.1.2嵌入式软件自动化测试工作原理232
6.2嵌入式软件自动化测试框架233
6.2.1“黑盒”测试的自动化234
6.2.2单元测试的自动化237
6.3嵌入式软件自动化工具ETest238
习题与思考题245
第7章 嵌入式软件可靠性测试246
7.1软件可靠性分析251
7.1.1软件失效模式及影响分析252
7.1.2软件故障树分析257
7.2软件可靠性测试260
7.2.1软件可靠性增长测试262
7.2.2软件可靠性验证测试263
7.2.3软件可靠性摸底测试266
7.2.4软件可靠性测试用例设计方法266
7.3软件可靠性评估273
7.3.1软件可靠性评估参数273
7.3.2软件可靠性模型274
7.3.3操作剖面的构造277
7.4军工软件可靠性工程281
习题与思考题283
第8章 嵌入式软件安全性测试284
8.1嵌入式软件安全性分析284
8.1.1嵌入式软件安全性需求284
8.1.2嵌入式软件安全性定义286
8.2嵌入式软件安全性测试要求288
8.2.1嵌入式软件安全性过程288
8.2.2嵌入式软件安全性测试类型292
8.3嵌入式软件安全性测试技术及方法294
8.3.1嵌入式软件安全性测试技术294
8.3.2嵌入式软件安全性测试方法300
8.4安全装备软件认证303
8.4.1安全装备软件定义303
8.4.2安全装备软件认证及方法304
习题与思考题308
第9章 嵌入式软件测试平台及环境309
9.1全实物仿真测试309
9.1.1全实物仿真测试概念310
9.1.2全实物仿真测试应用310
9.2全数字仿真测试311
9.2.1全数字仿真测试技术及环境311
9.2.2全数字仿真测试开发支持312
9.3半实物仿真测试314
9.3.1半实物仿真测试技术及环境314
9.3.2半实物仿真开环测试316
9.3.3半实物仿真闭环测试317
9.3.4半实物仿真测试的技术发展317
9.4仿真测试策略318
9.4.1基于仿真环境的测试策略318
9.4.2基于交叉调试的测试策略321
9.5基于虚拟仪器的嵌入式软件测试324
9.5.1虚拟仪器的概念324
9.5.2虚拟仪器技术在测试中的应用327
9.6基于虚拟样机的嵌入式系统仿真测试332
9.6.1虚拟样机技术的概念332
9.6.2虚拟样机及虚拟测试333
9.7嵌入式仿真测试工具335
9.7.1全数字仿真测试工具335
9.7.2嵌入式应用仿真工具342
习题与思考题346
第10章 基于FPGA的嵌入式软件测试基础347
10.1 FPGA介绍347
10.1.1 FPGA原理347
10.1.2 FPGA应用基础348
10.1.3 FPGA系统开发过程349
10.1.4 FPGA系统开发工具支持353
10.2 FPGA设计规范要求361
10.2.1语法设计要求361
10.2.2通用设计要求363
10.2.3跨时钟域设计要求367
10.2.4常见设计缺陷368
10.3 FPGA相关标准规范370
10.3.1 Actel器件编码规范371
10.3.2 Altera器件编码规范374
习题与思考题375
第11章 基于FPGA的嵌入式软件测试技术376
11.1 FPGA测试流程及基本方法376
11.2 FPGA静态测试378
11.2.1 FPGA编码错误检测379
11.2.2静态时序分析方法379
11.2.3时序约束分析381
11.2.4功耗分析测试384
11.2.5逻辑资源分析测试385
11.2.6静态测试工具介绍385
11.3 FPGA仿真测试396
11.3.1 FPGA仿真测试技术介绍396
11.3.2 FPGA仿真测试验证方法396
11.3.3测试激励及测试脚本要求397
11.3.4仿真测试内容与测试工具398
11.3.5仿真测试工作准备401
11.3.6仿真测试工作步骤401
11.3.7仿真测试工具使用流程403
11.4 FPGA软件形式验证407
11.4.1 FPGA软件形式验证介绍407
11.4.2形式验证内容与验证工具407
11.4.3形式验证测试条件与测试准备408
11.4.4等价性检查工作步骤410
11.4.5等价性检查工具使用流程410
11.5 SOC系统验证416
习题与思考题417
参考文献418