软件可靠性和安全性设计指南

产品版本 V 1.0

密级

共 页

软件牢靠性和安全性设计指南

文 档 作 者： 开发/测试经理：产 品 经 理： 管

理 办：

(仅供内部使用)

日期： 日期：

日期：

日期：请在这里输入公司名称

版权全部 不得复制

/ / / / / /

/

/

软件牢靠性和安全性设计指南

1 范围

1 .1 主题内容 [此处参加主题内容] 1 .2 适用范围 [此处参加适用范围]

2 引用标准

GBxxxx 信息处理——数据流程图、程序流程图、系统流程图、程序网络图和系统资源图的文件编制符号及商定。

GB/Txxx 软件工程术语

GB/Txxxxxx 计算机软件质量保证打算标准GB/T xxxxx 计算机软件配置治理打算标准 GB/T xxxxx

信息处理——程序构造及其表示的商定GJBxxxx 系统安全性通用大纲 GJBxxxxx 系统电磁兼容性要求GBxxxx 电能质量标准大纲GBxxxxx 电能质量标准术语

3 定义

[此处参加定义] 3 .1 失效容限 [此处参加失效容限] 3 .2 扇入 [此处参加扇入] 3 .3 扇出 [此处参加扇出] 3 .4 安全关键信息 [此处参加安全关键信息] 3 .5 安全关键功能 [此处参加安全关键功能]

3 .6 软件安全性 [此处参加软件安全性]

4

设计准则和要求

4 .1 对计算机应用系统设计的有关要求 4 .1.1

硬件软件功能的安排原则

[此处参加硬件软件功能的安排原则] 4 .1.2

硬件软件牢靠性指标的安排原则

[此处参加硬件软件牢靠性指标的安排原则] 4 .1.3

容错设计

[此处参加容错设计] 4 .1.4

安全关键功能的人工确认

[此处参加安全关键功能的人工确认] 4 .1.5

设计安全性内核

[此处参加设计安全性内核] 4 .1.6

记录系统故障

[此处参加记录系统故障] 4 .1.7

制止回避检测出的担忧全状态

[此处参加制止回避检测出的担忧全状态] 4 .1.8

安全性关键软件的标识原则

[此处参加安全性关键软件的标识原则] 4 .1.9 分别安全关键功能 [此处参加分别安全关键功能] 4 .2

对硬件设计的有关要求

[此处参加对硬件设计的有关要求] 4 .3 软件需求分析 4 .3.1

一般要求

[此处参加一般要求] 4 .3.2

功能需求

[此处参加功能需求]

4.3.2.1 输入

[此处参加输入]

4.3.2.2 处理

[此处参加处理]

4.3.2.3 输出

[此处参加输出]

4.3.2.4 特别要求

[此处参加特别要求] 4 .3.3 性能需求

[此处参加性能需求]

4.3.3.1 精度

[此处参加精度]

4.3.3.2 容量

[此处参加容量]

4.3.3.3 时间特性

[此处参加时间特性]

4.3.3.4 敏捷性

[此处参加敏捷性] 4 .3.4 接口需求 [此处参加接口需求]

4.3.4.1 与外部设备的接口

[此处参加与外部设备的接口]

4.3.4.2 与其它系统的接口

[此处参加与其它系统的接口]

4.3.4.3 人机接口

[此处参加人机接口] 4 .3.5 数据需求 [此处参加数据需求] 4 .3.6 环境需求 [此处参加环境需求]

4.3.6.1 硬件

[此处参加硬件]

4.3.6.2 软件

[此处参加软件] 4 .3.7 软件牢靠性和安全性需求

[此处参加软件牢靠性和安全性需求] 4 .3.8 其它需求

[此处参加其它需求] 4 .3.9 采样确实定原则[此处参加采样确实定原则]

4 .4 4 .4.1

软件设计 一般要求

[此处参加一般要求] 4 .4.2

功能设计与安排

[此处参加功能设计与安排] 4 .4.3

掌握流与数据流

[此处参加掌握流与数据流] 4 .4.4

资源安排及余量

[此处参加资源安排及余量] 4 .4.5

设计

[此处参加设计] 4 .4.6

安全关键功能的设计

[此处参加安全关键功能的设计] 4 .4.7

冗余设计

4.4.7.1 恢复块

[此处参加恢复块]

4.4.7.2 信息冗余

[此处参加信息冗余] 4 .4.8

接口设计

4.4.8.1 一般要求

[此处参加一般要求]

4.4.8.2 人机界面设计

[此处参加人机界面设计]

4.4.8.3 报警设计

[此处参加报警设计]

4.4.8.4 软件接口设计

[此处参加软件接口设计] 4 .4.9

软件强健性设计

4.4.9.1 电源失效处理 4.4.9.2 系统不稳定的处理

[此处参加系统不稳定的处理]

4.4.9.3 接口故障处理

[此处参加接口故障处理]

4.4.9.4 错误操作处理

[此处参加错误操作处理]

4 .4.10 简化设计

4.4.10.1 模块的单入口和单出口

[此处参加模块的单入口和单出口]

4.4.10.2 模块的性

[此处参加模块的性]

4.4.10.3 模块的扇入扇出

[此处参加模块的扇入扇出]

4.4.10.4 模块的耦合方式

[此处参加模块的耦合方式]

4.4.10.5 模块的内聚方式

[此处参加模块的内聚方式] 4 .4.11 数据设计

4.4.11.1 属性掌握

[此处参加属性掌握]

4.4.11.2 数值运算范围掌握

[此处参加数值运算范围掌握]

4.4.11.3 精度掌握

[此处参加精度掌握]

4.4.11.4 合理性检查

[此处参加合理性检查]

4.4.11.5 特别问题

[此处参加特别问题] 4 .5 软件实现 4 .5.1 语言要求 [此处参加语言要求] 4 .5.2 McCabe 指数McCabe 指数为 8。 4 .5.3 参数化 [此处参加参数化] 4 .5.4 公用数据和公共变量[此处参加公用数据和公共变量] 4 .5.5 标志

[此处参加标志] 4 .5.6 文件

[此处参加文件]

4 .5.7 数据区隔离

[此处参加数据区隔离] 4 .5.8

安全关键信息的要求

[此处参加安全关键信息的要求] 4 .5.9

程序单元的规模

[此处参加程序单元的规模] 4 .5.10

命名要求

[此处参加命名要求] 4 .5.11

程序格式化要求

[此处参加程序格式化要求] 4 .5.12

程序注释要求与方法

[此处参加程序注释要求与方法] 4 .5.13

程序设计风格

[此处参加程序设计风格] 4 .5.14

多余物的处理

4.5.14.1 文档中未记载特征的去除

[此处参加文档中未记载特征的去除]

4.5.14.2 掩盖的处理

[此处参加掩盖的处理]