4.23文创礼盒,买2个减5元 读书月福利
欢迎光临中图网 请 | 注册
> >
软件可信性度量评估与增强规范

软件可信性度量评估与增强规范

出版社:科学出版社出版时间:2019-11-01
开本: 24cm 页数: 176页
中 图 价:¥76.5(8.6折) 定价  ¥89.0 登录后可看到会员价
暂时缺货 收藏
运费6元,满69元免运费
?快递不能达地区使用邮政小包,运费14元起
云南、广西、海南、新疆、青海、西藏六省,部分地区快递不可达
本类五星书更多>

软件可信性度量评估与增强规范 版权信息

软件可信性度量评估与增强规范 本书特色

软件可信性度量评估与增强规范是目前计算机科学与软件工程的一个重要研究领域,其研究成果对可信软件开发等方向有重大的理论价值和实际意义。《软件可信性度量评估与增强规范》融入了作者及其研究团队近十年来承担完成国家重要研发任务的研究与应用成果,深入系统地论述了软件可信性层次化度量模型构建、分级评估体系设计以及增强规范制定等**研究成果。《软件可信性度量评估与增强规范》共分为7章,包括:软件可信性概论、软件可信性层次化模型、基于属性的软件可信性度量模型、面向源代码的软件可信性度量模型与规范、软件可信性量化分级评估方法、软件可信性增强方法、基于出厂报告的软件可信性度量评估与增强规范。

软件可信性度量评估与增强规范 内容简介

本书系统地总结课题组在研发国家重大研究任务所完成科研成果, 介绍软件可信度量及其验证的研究背景和发展现状基础上, 重点介绍软件可信属性量化关系模型、软件可信度量模型的公理化方法与度量结构方法、航天嵌入式软件可信度量与评估体系与可信性增强规范以及基于属性与过程的软件可信度量与评估。

软件可信性度量评估与增强规范 目录

目录序前言第1章 软件可信性概论11.1 引言 11.2 软件可信性相关定义 11.3 软件可信性度量研究现状 31.3.1 面向产品的软件可信性度量研究进展 31.3.2 面向过程的软件可信性度量研究进展 111.4 软件可信性度量验证研究现状 121.4.1 软件可信性度量理论验证研究进展 131.4.2 软件可信性度量经验验证研究进展 141.5 软件可信性度量及验证面临挑战 201.5.1 面向软件行为和结果的用户预期建模研究有待提升 201.5.2 依据度量结果对软件可信性改进进行指导研究有待改进 211.5.3 可信属性间量化关系模型有待加强 211.5.4 软件可信性度量验证有待关注 221.6 本章小结 22第2章 软件可信性层次化模型 232.1 软件可信属性模型 232.1.1 中国可信软件基础研究可信属性模型 232.1.2 美国国家标准技术研究所可信属性模型 232.1.3 德国奥尔登堡TrustSoft研究生院可信属性模型 232.1.4 航空嵌入式软件可信属性模型 242.1.5 基于全生命周期的可信属性模型 242.1.6 基于出厂报告的可信属性模型 262.2 软件可信属性分层模型 272.2.1 经典软件质量属性分层模型 272.2.2 国防科技大学可信属性分层模型 302.2.3 基于全生命周期的可信属性分层模型 312.2.4 基于出厂报告的可信属性分层模型 322.3 软件可信度量元模型 352.3.1 基于全生命周期的可信度量元模型 362.3.2 基于出厂报告的可信度量元模型 472.4 本章小结 48第3章 基于属性的软件可信性度量模型 503.1 概述 503.2 基于属性的软件可信性度量性质 503.3 基于属性的软件可信性度量模型 533.4 基于属性划分的软件可信性度量模型 603.5 基于属性分解的软件可信性度量性质 673.6 基于属性分解的软件可信性度量模型 693.7 本章小结 73第4章 面向源代码的软件可信性度量模型与规范 744.1 度量理论基本概念 744.2 软件度量领域中常用度量结构 784.3 面向源代码的软件可信性度量模型 804.3.1 软件可信性经验关系系统 804.3.2 基于Extensive结构的线性可加软件可信性度量模型 834.3.3 面向模块的非线性加法软件可信性度量模型 854.4 非线性加法模型验证的公理化验证方法 864.4.1 基于模块的软件可信性度量性质 864.4.2 度量模型的理论验证 874.5 示例 884.6 面向源代码的软件可信性规范 904.7 本章小结 94第5章 软件可信性量化分级评估方法 955.1 软件可信性度量评估体系结构 955.2 软件可信性度量方法 975.2.1 度量元计算模型 975.2.2 子属性计算模型 995.2.3 属性计算模型 995.2.4 软件可信性计算模型 995.2.5 全生命周期的可信性度量计算 1005.3 软件可信性分级模型 1015.4 属性权重计算方法 1025.4.1 层次分析法与正互反判断矩阵 1025.4.2 层次分析中常见的排序方法 1035.4.3 合理层次分析排序方法应满足的一般性质 1075.4.4 排序方法性能比较 1085.4.5 基于层次分析排序方法的组合方法 1095.4.6 示例 1125.5 本章小结 114第6章 软件可信性增强方法 1156.1 软件可信性分配 1156.1.1 软件可信性分配模型 1156.1.2 软件可信性分配算法 1176.1.3 软件可信性分配示例 1206.2 软件属性可信性分配 1226.2.1 软件属性可信性分配模型 1236.2.2 软件属性可信性分配算法 1256.2.3 软件属性可信性分配示例 1286.3 软件可信性再分配 1306.3.1 软件可信性再分配模型1306.3.2 软件可信性再分配算法1326.3.3 软件可信性再分配示例1356.4 本章小结 137第7章 基于出厂报告的软件可信性度量评估与增强规范 1387.1 基于出厂报告的软件可信性层次化模型 1387.2 基于出厂报告的软件可信性量化分级评估方法 1477.3 基于出厂报告的软件可信性分级评估方法应用 1497.4 基于出厂报告的某类安全攸关软件可信性增强规范 1517.5 本章小结 160参考文献162索引 174
展开全部
商品评论(0条)
暂无评论……
书友推荐
编辑推荐
返回顶部
中图网
在线客服