MARC状态:审校 文献类型:中文图书 浏览次数:34
- 题名/责任者:
- 软件验证与确认/主编刘斌
- 出版发行项:
- 北京:国防工业出版社,2011
- ISBN及定价:
- 978-7-118-07306-5/CNY45.00
- 载体形态项:
- 264页:图;23cm
- 丛编项:
- 可靠性·维修性·保障性技术丛书;12
- 个人责任者:
- 刘斌 主编
- 学科主题:
- 武器装备-应用软件-软件可靠性
- 中图法分类号:
- TJ02-39
- 书目附注:
- 有书目 (第263-264页)
- 提要文摘附注:
- 本书理论联系实际,由浅入深地对软件验证与确认的相关概念进行了介绍,并结合我国装备软件的研制过程对验证与确认过程进行了详细的阐述,本书对测试、评审和形式化验证等方法进行了介绍,并对当前装备软件研制中的软件测试过程进行了深入的探讨。
全部MARC细节信息>>