软件可信性定量评估:模型、方法与实施

作者:张卫祥、刘文红、吴欣

出版:清华大学出版社

年代:2015 更多图书信息

图书简介

本书把软件可信性与软件评价技术相结合,以跨越整个软件开发生存周期的软件可信性定量评估为主线,阐述了软件可信性定量评估所需的模型、技术和方法,主要包括:软件可信性定量评估模型,软件需求分析、软件设计、编码实现、软件测试等开发生存周期各阶段的可信性度量策略、度量指标和度量方法,软件可信性数据融合与推理技术等。本书主题明确、内容系统、可读性好,结合工程实例给出了软件可信性定量评估的实施指南,实用性和指导性强。本书适合从事软件质量控制的项目管理人员、过程控制人员、质量管理人员使用,也可供软件开发人员、软件技术人员以及高等院校或科研机构相关专业的高年级学生和研究人员参考。

(展开)

目录

第1章  概论
  1.1 软件可信性
  1.2 全开发生存周期的软件可信性评估
  1.3 本书的组织与结构
第2章  软件与软件质量
  2.1 概述
  2.2 软件失效造成的灾难
  2.3 软件与软件工程
  2.4 软件质量评价
  2.5 软件质量模型
    2.5.1 Beohm质量模型
    2.5.2 McCall质量模型
    2.5.3 ISO 9126质量模型
    2.5.4 GB/T 16260质量模型
    2.5.5 ISO 25010 质量模型
  2.6 本章小结
第3章  软件开发生存周期
  3.1 概述
  3.2 软件生存周期过程
  3.3 软件生存周期模型
    3.3.1 瀑布模型
    3.3.2 快速原型开发模型
    3.3.3 增量开发模型
    3.3.4 极限编程模型
    3.3.5 螺旋模型
  3.4 软件开发过程
    3.4.1 软件需求分析
    3.4.2 软件设计
    3.4.3 软件编码实现
    3.4.4 软件测试
  3.5 本章小结
第4章  软件可信性评估模型
  4.1 概述
  4.2 模型结构
  4.3 可信属性与可信子属性
  4.4 可信度量与度量指标
  4.5 本章小结
第5章  需求分析阶段的可信度量
  5.1 需求分析阶段度量策略
  5.2 在需求分析阶段度量软件可用性
    5.2.1 适合性的度量
    5.2.2 准确性的度量
    5.2.3 互操作性的度量
    5.2.4 易操作性的度量
    5.2.5 依从性的度量
  5.3 在需求分析阶段度量实时性
    5.3.1 处理及时性的度量
    5.3.2 实时稳定性的度量
  5.4 在需求分析阶段度量可靠性
    5.4.1 成熟性的度量
    5.4.2 容错性的度量
    5.4.3 持续性的度量
  5.5 在需求分析阶段度量安全性
    5.5.1 安全保密性的度量
    5.5.2 完整性的度量
    5.5.3 防危性的度量
  5.6 在需求分析阶段度量可生存性
    5.6.1 易恢复性的度量
    5.6.2 健壮性的度量
  5.7 在需求分析阶段度量效能性
    5.7.1 时间有效性的度量
    5.7.2 资源有效性的度量
  5.8 在需求分析阶段度量可维护性
    5.8.1 易分析性的度量
    5.8.2 易改变性的度量
    5.8.3 易测试性的度量
    5.8.4 易学性的度量
    5.8.5 易替换性的度量
  5.9 需求分析阶段的过程度量
  5.10 本章小结
第6章  软件设计阶段的可信度量
  6.1 软件设计阶段度量策略
  6.2 在设计阶段度量软件可用性
    6.2.1 适合性的度量
    6.2.2 准确性的度量
    6.2.3 互操作性的度量
    6.2.4 易操作性的度量
    6.2.5 依从性的度量
  6.3 在设计阶段度量实时性
    6.3.1 处理及时性的度量
    6.3.2 实时稳定性的度量
  6.4 在设计阶段度量可靠性
    6.4.1 成熟性的度量
    6.4.2 容错性的度量
    6.4.3 持续性的度量
  6.5 在设计阶段度量安全性
    6.5.1 安全保密性的度量
    6.5.2 完整性的度量
    6.5.3 防危性的度量
  6.6 在设计阶段度量可生存性
    6.6.1 易恢复性的度量
    6.6.2 健壮性的度量
  6.7 在设计阶段度量效能性
    6.7.1 时间有效性的度量
    6.7.2 资源有效性的度量
  6.8 在设计阶段度量可维护性
    6.8.1 易分析性的度量
    6.8.2 易改变性的度量
    6.8.3 易测试性的度量
    6.8.4 易学性的度量
    6.8.5 易替换性的度量
  6.9 设计阶段的过程度量
  6.10 本章小结
第7章  编码实现阶段的可信度量
  7.1 编码实现阶段度量策略
  7.2 在编码实现阶段度量软件可用性
    7.2.1 适合性的度量
    7.2.2 准确性的度量
    7.2.3 互操作性的度量
    7.2.4 易操作性的度量
    7.2.5 依从性的度量
  7.3 在编码实现阶段度量实时性
    7.3.1 处理及时性的度量
    7.3.2 实时稳定性的度量
  7.4 在编码实现阶段度量可靠性
    7.4.1 成熟性的度量
    7.4.2 容错性的度量
    7.4.3 持续性的度量
  7.5 在编码实现阶段度量安全性
    7.5.1 安全保密性的度量
    7.5.2 完整性的度量
    7.5.3 防危性的度量
  7.6 在编码实现阶段度量可生存性
    7.6.1 易恢复性的度量
    7.6.2 健壮性的度量
  7.7 在编码实现阶段度量效能性
    7.7.1 时间有效性的度量
    7.7.2 资源有效性的度量
  7.8 在编码实现阶段度量可维护性
    7.8.1 易分析性的度量
    7.8.2 易改变性的度量
    7.8.3 易测试性的度量
    7.8.4 易学性的度量
    7.8.5 易替换性的度量
  7.9 编码实现阶段的过程度量
  7.10 本章小结
第8章  软件测试阶段的可信度量
  8.1 软件测试阶段度量策略
  8.2 在软件测试阶段度量软件可用性
    8.2.1 适合性的度量
    8.2.2 准确性的度量
    8.2.3 互操作性的度量
    8.2.4 易操作性的度量
    8.2.5 依从性的度量
  8.3 在软件测试阶段度量实时性
    8.3.1 处理及时性的度量
    8.3.2 实时稳定性的度量
  8.4 在软件测试阶段度量可靠性
    8.4.1 成熟性的度量
    8.4.2 容错性的度量
    8.4.3 持续性的度量
  8.5 在软件测试阶段度量安全性
    8.5.1 安全保密性的度量
    8.5.2 完整性的度量
    8.5.3 防危性的度量
  8.6 在软件测试阶段度量可生存性
    8.6.1 易恢复性的度量
    8.6.2 健壮性的度量
  8.7 在软件测试阶段度量效能性
    8.7.1 时间有效性的度量
    8.7.2 资源有效性的度量
  8.8 在软件测试阶段度量可维护性
    8.8.1 易分析性的度量
    8.8.2 易改变性的度量
    8.8.3 易测试性的度量
    8.8.4 易学性的度量
    8.8.5 易替换性的度量
  8.9 软件测试阶段的过程度量
  8.10 本章小结
第9章  软件可信性评估方法
  9.1 概述
  9.2 一般性数学模型
  9.3 知识发现与权值获取
    9.3.1 知识发现基础
    9.3.2 基于知识发现的权值获取
  9.4 效用统一与数据处理
    9.4.1 效用理论基础
    9.4.2 定性指标度量值预处理
    9.4.3 定量指标度量值预处理
    9.4.4 效用的统一
  9.5 证据理论与数据融合
    9.5.1 证据理论基础
    9.5.2 Dempster合成规则
    9.5.3 基于层次模型的融合算法
  9.6 其他推理技术
    9.6.1 不确定性推理
    9.6.2 概率推理
    9.6.3 模糊推理
  9.7 本章小结
第10章  软件可信性评估指南
  10.1 概述
  10.2 对待评估软件的要求
  10.3 评估实施指南
  10.4 可信性评估软件TREAT
  10.5 数据处理软件(DPS)评估实例
  10.6 可信性评估文档
  10.7 本章小结
附录A  DPS的实例化模型
附录B  DPS的评估结果
附录C  软件可信性评估文档模板
  C.1 评估需求规格说明
  C.2 评估计划
  C.3 评估报告
参考文献
(展开)

书页展示

更多图书信息
数据来源于网络,如有问题,请反馈至此邮箱:service@bookask.com

作者:张卫祥、刘文红、吴欣
出版:清华大学出版社

ISBN:9787302405351

出版日期:2015-07-01

清华大学出版社

清华大学出版社

清华大学出版社成立于1980年6月,是由教育部主管、清华大学主办的综合出版单位。植根于“清华”这座久负盛名的高等学府,秉承清华人“自强不息,厚德载物”的人文精神,清华大学出版社在短短二十多年的时间里,迅速成长起来。作为来自一流大学的出版单位,清华大学出版社始终坚持弘扬科技文化产业、服务科教兴国战略的出版方向,把出版高等学校教学用书和科技图书作为主要任务,并为促进学术交流、繁荣出版事业设立了多项出版基金,逐渐形成了以出版高水平的教材和学术专著为主的鲜明特色,在教育出版领域树立了强势品牌。目前,清华版教材已在全国一百多所院校得到广泛使用。高品质、多层次的计算机图书是清华大学出版社的一大品牌支柱。20世纪80年代末,在席卷全球的信息化浪潮中,清华大学出版社快速切入计算机图书市场,逐渐成为并一直保持这一市场的领先地位,为发展中国计算机教育做出了巨大贡献。

(展开)

使用移动设备
扫描二维码下载客户端

注:目前仅提供安卓客户端下载

相关书卡
书卡里除了这本书,还有更多经典等你读!

Copyright ©2020  BookAsk 书问  |  京ICP证160134号   |  

京公网安备 11010802026432号

  |  出版物经营许可证新出发京零字第海150168号   |  营业执照:91110108318038279C   |  网站地图   |  关于我们   |  合作伙伴   |  商务合作   |  友情链接