书目详细信息
： 软件验证与确认
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-118-07306-5:CNY45.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 软件验证与确认/.刘斌主编/.王轶辰等副主编 |
| 出版发行项： | 北京:,国防工业出版社:,2011 |
| 载体形态项： | 264页:;+图:;+23cm |
| 丛编项： | 可靠性·维修性·保障性技术丛书 |
| 提要文摘： | 本书理论联系实际，由浅入深地对软件验证与确认的相关概念进行了介绍，并结合我国装备软件的研制过程对验证与确认过程进行了详细的阐述，本书对测试、评审和形式化验证等方法进行了介绍，并对当前装备软件研制中的软件测试过程进行了深入的探讨。 |
| 并列题名： | Software verification and validation eng |
| 题名主题： | 软件可靠性 验证 |
| 题名主题： | 验证 |
| 中图分类： | TJ02-39 |
| 个人名称等同： | 刘斌 主编 |
| 个人名称次要： | 王轶辰 副主编 |
| 个人名称次要： | 杨顺昆 副主编 |
| 个人名称次要： | 殷永峰 副主编 |