1、软件可靠性和安全性设计指南 XK-DN-2000-10-11-09 文档 1文 档 编 号产品版本密级XK-DN-2000-10-11-09V 1.0产品名称： 共 页软件可靠性和安全性设计指南(仅供内部使用)文 档 作 者：_ 日期：_/_/_开发/测试经理：_ 日期：_/_/_产 品 经 理： _ 日期：_/_/_管 理 办： _ 日期：_/_/_请在这里输入公司名称版权所有 不得复制软件可靠性和安全性设计指南1 范围1 .1 主题内容此处加入主题内容1 .2 适用范围此处加入适用范围2 引用标准GBxxxx 信息处理数据流程图、程序流程图、系统流程图、程序网络图和系统资源图的文件编制符号
2、及约定。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 对计算机应用系统设计的有关要
3、求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、求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 人机接口此处加入人机
5、接口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 安全关键功能的设计此处加入安全关键功能的设计
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
7、.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程序单元的圈复杂性
8、（即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仅供内部使用