思维导图备注

软件工程师可信计算基础 - [美]莱特（Knight,J.）,古廷阳
首页 收藏书籍 阅读记录
  • 书签 我的书签
  • 添加书签 添加书签 移除书签 移除书签

习题

浏览 1 扫码
  • 小字体
  • 中字体
  • 大字体
2024-04-30 10:29:20
请 登录 再阅读
上一篇:
下一篇:
  • 书签
  • 添加书签 移除书签
  • 封面
  • 版权信息
  • 《可靠性维修性保障性学术专著译丛》编审委员会
  • 《可靠性维修性保障性学术专著译丛》总序
  • PREFACE
  • 序
  • 译者序
  • 序言
  • 引言
  • 第一章　概述
    • 1.1　可信性的元素
    • 1.2　软件工程师的角色
    • 1.3　对于计算机的依赖
    • 1.4　一些遗憾的失效
    • 1.5　失效的后果
    • 1.6　对于可信性的需求
    • 1.7　系统和它们的可信性需求
    • 1.8　我们要去往何方
    • 1.9　本书的组织结构
    • 习题
  • 第二章　可信性需求
    • 2.1　为什么需要可信性需求
    • 2.2　可信性概念的演变过程
    • 2.3　术语的作用
    • 2.4　什么是系统
    • 2.5　需求和规格说明
    • 2.6　失效
    • 2.7　可信性及其属性
    • 2.8　系统、软件和可信性
    • 2.9　定义可信性需求
    • 2.10　低至合理可行ALARP
    • 习题
  • 第三章　错误、故障和危险
    • 3.1　错误
    • 3.2　错误状态的复杂性
    • 3.3　故障和可信性
    • 3.4　故障的表现
    • 3.5　退化故障
    • 3.6　设计故障
    • 3.7　拜占庭故障
    • 3.8　组件失效语义
    • 3.9　可信性的基本原理
    • 3.10　预期故障
    • 3.11　危险
    • 3.12　构造可信系统
    • 习题
  • 第四章　可信性分析
    • 4.1　预期故障
    • 4.2　泛化危险的概念
    • 4.3　故障树分析
    • 4.4　失效模式、影响和严酷度分析
    • 4.5　危险和可操作性分析
    • 习题
  • 第五章　故障处理
    • 5.1　故障及其处理
    • 5.2　故障避免
    • 5.3　故障消除
    • 5.4　容错
    • 5.5　故障预测
    • 5.6　四种故障处理方法的应用
    • 5.7　拜占庭故障处理
    • 习题
  • 第六章　退化故障和软件
    • 6.1　对于软件的影响
    • 6.2　冗余
    • 6.3　冗余结构
    • 6.4　量化冗余的效益
    • 6.5　分布式系统和失效停止计算机
    • 习题
  • 第七章　软件可信性
    • 7.1　故障和软件生命周期
    • 7.2　形式化技术
    • 7.3　通过模型检验进行验证
    • 7.4　通过构造获得正确性
    • 7.5　通过构造获得正确性的方法
    • 7.6　通过构造获得正确性——综合
    • 7.7　通过构造获得正确性——精化
    • 7.8　软件故障避免
    • 7.9　软件故障消除
    • 7.10　管理软件故障避免和故障消除
    • 7.11　有关软件可信性的误解
    • 习题
  • 第八章　软件需求规格说明中的故障避免
    • 8.1　需求规格说明的作用
    • 8.2　自然语言的问题
    • 8.3　需求规格说明的问题
    • 8.4　形式化语言
    • 8.5　基于模型的需求规格说明
    • 8.6　声明性语言Z
    • 8.7　一个简单的例子
    • 8.8　一个详细的例子
    • 8.9　形式化需求规格说明开发概述
    • 习题
  • 第九章　软件实现中的故障避免
    • 9.1　软件实现
    • 9.2　编程语言
    • 9.3　Ada语言概述
    • 9.4　编程标准
    • 9.5　通过构造获得正确性——SPARK
    • 习题
  • 第十章　软件故障消除
    • 10.1　为什么要故障消除
    • 10.2　审查
    • 10.3　测试
    • 习题
  • 第十一章　软件容错
    • 11.1　遭受设计故障的部件
    • 11.2　容错设计的有关问题
    • 11.3　软件复制
    • 11.4　设计多样性
    • 11.5　数据多样性
    • 11.6　定向容错
    • 习题
  • 第十二章　可信性评价
    • 12.1　评价方法
    • 12.2　定量评价
    • 12.3　法定标准
    • 12.4　严格的论证
    • 12.5　论证的适用性
    • 习题
  • 参考文献
  • 索引
  • 内容简介
暂无相关搜索结果！
    展开/收起文章目录

    二维码

    手机扫一扫，轻松掌上学

    《软件工程师可信计算基础 - [美]莱特（Knight,J.）,古廷阳》电子书下载

    请下载您需要的格式的电子书，随时随地，享受学习的乐趣！
    EPUB 电子书

    书签列表

      阅读记录

      阅读进度: 0.00% ( 0/0 ) 重置阅读进度