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

（仅供内部使用）

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

请在这里输入公司名称

版权所有不得复制

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

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

处理

］

］

［此处加入处理］

432.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 43

控制流与数据流

［此处加入控制流与数据流 ］ 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

参数化

［此处加入参数化］ 4T4

公用数据和公共变量

［此处加入公用数据和公共变量 ］ 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

覆盖的处理

［此处加入覆盖的处理］