广东职业技术学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

软件保证举证方法及其应用/曾福萍主编

出版发行项:

北京:人民邮电出版社,2024

ISBN及定价:

978-7-115-62472-7/CNY89.80

载体形态项:

279页;24cm

并列正题名:

Software assurance case methods and applications

个人责任者:

曾福萍 (女, 1977-) 主编

学科主题:

软件开发-安全技术

中图法分类号:

TP311.522

一般附注:

工信学术出版基金

提要文摘附注:

本书介绍了ISO/IEC 15026系列标准中的系统和软件保证方法——软件保证举证。全书共6章，首先概述了软件保证举证的相关知识，接着介绍了软件安全性举证、软件可靠性举证、软件保密性举证和软件可信性举证的基础知识、举证框架、论证模式及应用实例，最后给出了基于非形式逻辑理论的软件保证举证信心评定方法。

豆瓣简介：