|
题名:
|
软件保证举证方法及其应用 [ 专著] ruan jian bao zheng ju zheng fang fa ji qi ying yong / 曾福萍主编 , |
|
ISBN:
|
978-7-115-62472-7 价格： CNY89.80 |
|
语种:
|
chi |
|
载体形态:
|
279页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 人民邮电出版社 出版日期： 2024 |
|
内容提要:
|
本书介绍了ISO/IEC 15026系列标准中的系统和软件保证方法一一软件保证举证。本书共6章,首先概述了软件保证举证的相关知识,接着详细介绍了软件安全性举证、软件可靠性举证、软件保密性举证和软件可信性举证的基础知识、举证框架、论证模式及应用实例,最后给出了基于非形式逻辑理论的软件保证举证信心评定方法。 |
|
主题词:
|
软件开发 安全技术 |
|
中图分类法:
|
TP311.52 版次： 5 |
|
主要责任者:
|
曾福萍 zeng fu ping 主编 |
|
附注:
|
工信学术出版基金 |