← 返回

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

著者主编曾福萍
ISBN9787115624727
分类号TP311.522 自动化技术、计算机技术
学科工学
版次第1版
出版社人民邮电出版社
丛书名—
出版年2024
价格¥89.80
页码279, [4] 图版页
类型 📄 纸质书
核心评分8.9/10
读者对象—
主题词软件开发,ruan jian kai fa,安全技术——软件工程及软件方法学,计算机安全——计算机科学与技术
内容简介：本书介绍了ISO/IEC 15026系列标准中的系统和软件保证方法软件保证举证。全书共6章, 首先概述了软件保证举证的相关知识, 接着详细介绍了软件安全性举证、软件可靠性举证、软件保密性举证和软件可信性举证的基础知识、举证框架、论证模式及应用实例, 最后给出了基于非形式逻辑理论的软件保证举证信心评定方法。
登录后可荐购