思维导图备注

软件工程师可信计算基础 - [美]莱特（Knight,J.）,古廷阳

首页收藏书籍阅读记录

我的书签
添加书签移除书签

8.2　自然语言的问题

浏览 8 扫码

小字体
中字体
大字体

2024-04-30 10:28:37

请登录再阅读

封面
版权信息
《可靠性维修性保障性学术专著译丛》编审委员会
《可靠性维修性保障性学术专著译丛》总序
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 ) 重置阅读进度

8.2 自然语言的问题

8.2　自然语言的问题