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

软件可靠性和安全性设计指南 XK-DN-2000-10-11-09 文档 1 文 档 编 号 产品版本 密级 XK-DN-2000-10-11-09 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。Page: 6 程序单元的圈复杂性（即McCabe指数）应小于10。 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 覆盖的处理 [此处加入覆盖的处理] 7 仅供内部使用