图书介绍
软件验证与确认PDF|Epub|txt|kindle电子书版本网盘下载
- 刘斌主编 著
- 出版社： 北京：国防工业出版社
- ISBN：9787118073065
- 出版时间：2011
- 标注页数：264页
- 文件大小：17MB
- 文件页数：276页
- 主题词：武器装备－应用软件－软件可靠性
PDF下载
下载说明
软件验证与确认PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1章 绪论1
1.1 软件概念及其特点1
1.2 软件质量基本概念3
1.3 软件质量与可靠性管理的发展4
1.4 软件验证与确认技术简介5
第2章 基本概念和活动6
2.1 基本概念6
2.1.1 软件质量模型6
2.1.2 软件生命周期8
2.1.3 软件的生命周期模型10
2.1.4 软件完整性级别18
2.1.5 软件验证20
2.1.6 软件确认20
2.1.7 软件测试20
2.1.8 软件评审22
2.1.9 软件审查23
2.1.10 独立软件验证和确认24
2.1.11 软件独立第三方测试25
2.2 基本活动28
2.2.1 软件验证目标28
2.2.2 软件验证活动29
第3章 验证与确认过程32
3.1 验证与确认模型32
3.2 软件的V＆V过程32
3.2.1 过程：管理32
3.2.2 过程：获取38
3.2.3 过程：供应39
3.2.4 过程：开发40
3.2.5 过程：运行60
3.2.6 过程：维护61
3.3 装备软件全生命周期的验证与确认活动63
第4章 验证与确认方法66
4.1 软件测试66
4.1.1 软件测试概念66
4.1.2 软件测试分类方法67
4.1.3 静态测试方法68
4.2 软件测试技术87
4.2.1 软件单元测试87
4.2.2 软件集成测试90
4.2.3 软件配置项测试91
4.2.4 软件系统测试95
4.2.5 软件验收测试96
4.2.6 软件回归测试97
4.3 软件评审97
4.3.1 软件评审的作用97
4.3.2 软件评审方式97
4.3.3 软件评审点的设置98
4.3.4 软件开发各阶段的评审99
4.4 软件验证118
4.4.1 软件形式化验证概述118
4.4.2 程序正确性证明128
第5章 软件测评过程154
5.1 软件测试流程154
5.1.1 软件文档审查154
5.1.2 软件代码走查155
5.1.3 测试用例设计155
5.1.4 测试用例审查156
5.1.5 测试程序设计和调试156
5.1.6 测试程序和测试结果审查156
5.1.7 测试覆盖分析157
5.1.8 测试过程中发现问题的处理157
5.1.9 生成软件测试报告158
5.2 软件测试管理158
5.2.1 组织项目人员158
5.2.2 建立测试环境159
5.2.3 评审测试用例159
5.2.4 监控项目进展160
5.2.5 测试项目质量管理161
5.2.6 测试项目配置管理162
5.2.7 测试结果审查164
5.2.8 软件测试质量评价165
第6章 验证与确认工具171
6.1 静态分析工具171
6.1.1 静态分析工具简介171
6.1.2 常见静态分析工具173
6.1.3 其他静态分析工具174
6.1.4 静态分析工具小结176
6.2 单元测试工具176
6.2.1 单元测试工具简介176
6.2.2 常见单元测试工具176
6.2.3 单元测试工具小结178
6.3 自动化功能测试工具179
6.3.1 自动化功能测试工具简介179
6.3.2 常见的自动化功能测试工具180
6.3.3 自动化功能测试工具小结182
6.4 自动化性能测试工具182
6.4.1 自动化性能测试工具简介182
6.4.2 常用的自动化性能测试工具183
6.4.3 自动化性能测试工具小结185
6.5 嵌入式软件验证与确认工具186
6.5.1 嵌入式软件白盒测试工具186
6.5.2 嵌入式软件黑盒仿真验证工具189
6.6 软件故障诊断工具198
6.6.1 Delta Debug工具198
6.6.2 不变式发现工具200
6.6.3 程序切片工具202
6.6.4 内存类诊断工具203
6.7 软件验证与确认管理工具206
6.7.1 配置管理工具206
6.7.2 需求管理工具209
6.7.3 测试辅助工具210
6.7.4 测试管理工具210
6.7.5 测试用例管理工具211
6.7.6 Bug管理工具213
6.8 逆向工程工具214
6.9 形式化验证工具215
6.10 对工具的选择与使用217
6.10.1 对软件测试工具的认识误区217
6.10.2 测试工具的选择218
6.10.3 使用工具应注意的问题219
第7章 软件验证与确认文档220
7.1 V＆V报告220
7.1.1 V＆V任务报告220
7.1.2 V＆V活动摘要报告220
7.1.3 V＆V异常报告221
7.1.4 V＆V最终报告221
7.1.5 可选的V＆V报告221
7.2 V＆V管理222
7.2.1 异常解决方案和报告222
7.2.2 任务重复策略224
7.2.3 偏离策略225
7.2.4 控制规程225
7.2.5 标准、惯例和约定227
7.3 V＆V文档要求228
7.3.1 验证与确认计划228
7.3.2 测试文档232
附录1 软件V＆V过程文档模板237
附录2 文档审查单245
附录3 裁剪后的静态分析编码规则261
参考文献263