软件保证举证方法及其应用

正版新书新华官方库房直发可开电子发票

67.35 7.5折 89.8 全新

库存11件

江苏无锡

认证卖家担保交易快速发货售后保障

作者编者:曾福萍|责编:刘盛平

出版社人民邮电出版社

ISBN9787115624727

出版时间2024-04

装帧平装

纸张胶版纸

定价89.8元

货号ZJ:9787115624727

上书时间2024-12-20

已实名已认证进店收藏店铺

商品描述: 内容简介:
本书介绍了ISO/IEC 15026系列标准中的系统和软件保证方法——软件保证举证。全书共6章，首先概述了软件保证举证的相关知识，接着详细介绍了软件安全性举证、软件可靠性举证、软件保密性举证和软件可信性举证的基础知识、举证框架、论证模式及应用实例，最后给出了基于非形式逻辑理论的软件保证举证信心评定方法。
本书适合从事软件安全性、软件可靠性、软件保密性及软件可信性举证理论与技术研究的科技人员和实际应用的工程人员阅读，也可作为高等院校质量和可靠性工程专业的教师、高年级本科生和研究生的参考书。

— 没有更多了 —