软件验证与确认
￥ 47.75 ￥ 45 九五品
仅1件
北京通州
认证卖家担保交易快速发货售后保障
作者刘斌
出版社国防工业出版社
ISBN9787118073065
出版时间2011-04
版次1
装帧平装
开本16开
纸张胶版纸
页数264页
字数99999千字
定价45元
上书时间2024-12-04
商品详情
- 品相描述：九五品
- 商品描述
-
基本信息
书名:软件验证与确认
定价：45.00元
作者:刘斌
出版社：国防工业出版社
出版日期：2011-04-01
ISBN：9787118073065
字数：305000
页码：264
版次：1
装帧：平装
开本：12开
商品重量：
编辑推荐
可靠性 维修性 保障性工程技术丛书：《可靠性 维修性 保障性工程基础》（1）《可靠性维修性保障性要求论证》（2）《可靠性设计与分析》（3）《可靠性与寿命试验》（4）《可靠性数据分析》（5）《软件可靠性工程》（6）《维修性设计分析与验证》（7）《测试性设计分析与验证》（8）《保障性设计分析与评价》（9）《安全性设计分析与验证》（10）《电子元器件使用可靠性保证》（11）《软件验证与确认》（12）
内容提要
本书理论联系实际，由浅入深地对软件验证与确认的相关概念进行了介绍，并结合我国装备软件的研制过程对验证与确认过程进行了详细的阐述，本书对测试、评审和形式化验证等方法进行了介绍，并对当前装备软件研制中的软件测试过程进行了深入的探讨。另外，本书还从实践的角度出发介绍了软件验证与确认活动的自动化辅助工具以及过程文档模板，具有极强的工程参考价值。本书可供高等院校软件工程、计算机及相关专业的研究生作为学习参考，同时还可作为从事装备软件研发、软件测试以及软件验证与质量保证人员的工作参考书。
目录
章 绪论1.1 软件概念及其特点1.2 软件质量基本概念1.3 软件质量与可靠性管理的发展1.4 软件验证与确认技术简介第2章 基本概念和活动2.1 基本概念2.1.1 软件质量模型2.1.2 软件生命周期2.1.3 软件的生命周期模型2.1.4 软件完整性级别2.1.5 软件验证2.1.6 软件确认2.1.7 软件测试2.1.8 软件评审2.1.9 软件审查2.1.10 独立软件验证和确认2.1.11 软件独立第三方测试2.2 基本活动2.2.1 软件验证目标2.2.2 软件验证活动第3章 验证与确认过程3.1 验证与确认模型3.2 软件的V&V过程3.2.1 过程：管理3.2.2 过程：获取3.2.3 过程：供应3.2.4 过程：开发3.2.5 过程：运行3.2.6 过程：维护3.3 装备软件全生命周期的验证与确认活动第4章 验证与确认方法4.1 软件测试4.1.1 软件测试概念4.1.2 软件测试分类方法4.1.3 静态测试方法4.2 软件测试技术4.2.1 软件单元测试4.2.2 软件集成测试4.2.3 软件配置项测试4.2.4 软件系统测试4.2.5 软件验收测试4.2.6 软件回归测试4.3 软件评审4.3.1 软件评审的作用4.3.2 软件评审方式4.3.3 软件评审点的设置4.3.4 软件开发各阶段的评审4.4 软件验证4.4.1 软件形式化验证概述4.4.2 程序正确性证明第5章 软件测评过程5.1 软件测试流程5.1.1 软件文档审查5.1.2 软件代码走查5.1.3 测试用例设计5.1.4 测试用例审查5.1.5 测试程序设计和调试5.1.6 测试程序和测试结果审查5.1.7 测试覆盖分析5.1.8 测试过程中发现问题的处理……第6章 验证与确认工具第7章 软件验证与确认文档附录1 软件V&V过程文档模板附录2 文档审查单附录3 裁剪后的静态分析编码规则参考文献
作者介绍
序言
-
【封面】
— 没有更多了 —
以下为对购买帮助不大的评价