安徽科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

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

ISBN及定价:

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

载体形态项:

279页, [4] 页图版:图;24cm

并列正题名:

Software assurance case methods and applications

个人责任者:

曾福萍 主编

学科主题:

软件开发-安全技术

中图法分类号:

TP311.52

一般附注:

工信学术出版基金

责任者附注:

曾福萍, 女, 北京航空航天大学讲师, 硕士生导师。硕士毕业后一直在北京航空航天大学可靠性工程研究所从事与软件可靠性、软件安全性、软件测试相关的教学、科研、工程和管理工作, 期间获得了在职博士学位。主要研究方向为软件可靠性设计、软件安全性分析与评估、软件测试、软件代码分析等技术的研究与应用。

书目附注:

有书目

提要文摘附注:

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

使用对象附注:

本书适用于计算机相关专业人员

豆瓣简介：