軟件可靠性和安全性設(shè)計(jì)指南

1、文檔1文檔編號(hào)產(chǎn)品版本密級(jí)xk-dn-2000-10-11-09v1.0產(chǎn)品名稱：共頁(yè)軟件可靠性和安全性設(shè)計(jì)指南文檔作者： 開(kāi)發(fā)/測(cè)試經(jīng)理：產(chǎn)品經(jīng)理：管理辦：（僅供內(nèi)部使用）日期： /日期： /日期： /日期： /請(qǐng)?jiān)谶@里輸入公司名稱版權(quán)所有不得復(fù)制軟件可靠性和安全性設(shè)計(jì)指南1 范圍1 .1 主題內(nèi)容 此處加入主題內(nèi)容2 .2適用范圍 此處加入適用范圍3 引用標(biāo)準(zhǔn)gbxxxx 信息處理數(shù)據(jù)流程圖、程序流程圖、系統(tǒng)流程圖、程序網(wǎng)絡(luò)圖和系統(tǒng)資源圖的文件編制符號(hào)及約定。gb/txxx 軟件工程術(shù)語(yǔ)gb/txxxxxx 計(jì)算機(jī)軟件質(zhì)量保證計(jì)劃規(guī)范gb/txxxxx 計(jì)算機(jī)軟件配置管理計(jì)劃規(guī)范gb/tx

2、xxxx 信息處理程序構(gòu)造及其表示的約定gjbxxxx 系統(tǒng)安全性通用大綱gjbxxxxx 系統(tǒng)電磁兼容性要求gbxxxx 電能質(zhì)量標(biāo)準(zhǔn)大綱gbxxxxx 電能質(zhì)量標(biāo)準(zhǔn)術(shù)語(yǔ)4 定義 此處加入定義5 .1 失效容限 此處加入失效容限3 .2 扇入 此處加入扇入 4 .1.9 分離安全關(guān)鍵功能3 .3 扇出 此處加入扇出 3 .4 安全關(guān)鍵信息 此處加入安全關(guān)鍵信息3 .5 安全關(guān)鍵功能 此處加入安全關(guān)鍵功能3 .6 軟件安全性 此處加入軟件安全性4 設(shè)計(jì)準(zhǔn)則和要求4 .1 對(duì)計(jì)算機(jī)應(yīng)用系統(tǒng)設(shè)計(jì)的有關(guān)要求4 .1.1 硬件軟件功能的分配原則 此處加入硬件軟件功能的分配原則 4 .1.2 硬件軟件可

3、靠性指標(biāo)的分配原則 此處加入硬件軟件可靠性指標(biāo)的分配原則 4 .1.3 容錯(cuò)設(shè)計(jì) 此處加入容錯(cuò)設(shè)計(jì)4 .1.4 安全關(guān)鍵功能的人工確認(rèn) 此處加入安全關(guān)鍵功能的人工確認(rèn) 4 .1.5 設(shè)計(jì)安全性內(nèi)核 此處加入設(shè)計(jì)安全性內(nèi)核4 .1.6 記錄系統(tǒng)故障 此處加入記錄系統(tǒng)故障4 .1.7 禁止回避檢測(cè)出的不安全狀態(tài) 此處加入禁止回避檢測(cè)出的不安全狀態(tài)4 .1.8 安全性關(guān)鍵軟件的標(biāo)識(shí)原則 此處加入分離安全關(guān)鍵功能4 .2對(duì)硬件設(shè)計(jì)的有關(guān)要求 此處加入對(duì)硬件設(shè)計(jì)的有關(guān)要求4 .3 軟件需求分析4 .3.1 一般要求 此處加入一般要求4 .3.2 功能需求 此處加入功能需求4.3.2.1 輸入 此處加入輸

4、入 4.3.2.2 處理 此處加入處理4.3.2.3 輸出 此處加入輸出4.3.2.4 特殊要求 此處加入特殊要求4.3.2.5 .3.3 性能需求 此處加入性能需求4.3.3.1 精度 此處加入精度4.3.3.2 容量 此處加入容量4.3.3.3 時(shí)間特性 此處加入時(shí)間特性4.3.3.4 靈活性 此處加入靈活性4 .3.4 接口需求 此處加入接口需求4.3.4.1 與外部設(shè)備的接口 此處加入與外部設(shè)備的接口4.3.4.2 與其它系統(tǒng)的接口 此處加入與其它系統(tǒng)的接口4.3.4.3 人機(jī)接口 此處加入人機(jī)接口 4.3.4.4 .3.5 數(shù)據(jù)需求 此處加入數(shù)據(jù)需求4.3.4.5 .3.6 環(huán)境需求

5、 此處加入環(huán)境需求4.3.6.1 硬件 此處加入硬件4.3.6.2 軟件 此處加入軟件4 .3.7 軟件可靠性和安全性需求 此處加入軟件可靠性和安全性需求4 .3.8 其它需求 此處加入其它需求4 .3.9 采樣的確定原則 此處加入采樣的確定原則 4 .4 軟件設(shè)計(jì)4 .4.1 一般要求 此處加入一般要求4 .4.2 功能設(shè)計(jì)與分配 此處加入功能設(shè)計(jì)與分配4.4.9.3 接口故障處理 此處加入控制流與數(shù)據(jù)流4 .4.4 資源分配及余量 此處加入資源分配及余量4 .4.5 設(shè)計(jì)限制 此處加入設(shè)計(jì)限制 4 .4.6 安全關(guān)鍵功能的設(shè)計(jì) 此處加入安全關(guān)鍵功能的設(shè)計(jì)4 .4.7 冗余設(shè)計(jì)4.4.7.1

6、 恢復(fù)塊 此處加入恢復(fù)塊 4.4.7.2 信息冗余 此處加入信息冗余4 .4.8 接口設(shè)計(jì)4.4.8.1 一般要求 此處加入一般要求4.4.8.2 人機(jī)界面設(shè)計(jì) 此處加入人機(jī)界面設(shè)計(jì)4.4.8.3 報(bào)警設(shè)計(jì) 此處加入報(bào)警設(shè)計(jì)4.4.8.4 軟件接口設(shè)計(jì) 此處加入軟件接口設(shè)計(jì)4 .4.9 軟件健壯性設(shè)計(jì)4.4.9.1 電源失效處理4.4.9.2 系統(tǒng)不穩(wěn)定的處理 此處加入接口故障處理4.4.9.4 錯(cuò)誤操作處理 此處加入錯(cuò)誤操作處理4.4.9.5 .4.10 簡(jiǎn)化設(shè)計(jì)4.4.10.1 模塊的單入口和單出口 此處加入模塊的單入口和單出口 4.4.10.2 模塊的獨(dú)立性 此處加入模塊的獨(dú)立性4.4.

7、10.3 模塊的扇入扇出 此處加入模塊的扇入扇出 4.4.10.4 模塊的耦合方式 此處加入模塊的耦合方式4.4.10.5 模塊的內(nèi)聚方式 此處加入模塊的內(nèi)聚方式4.4.10.6 .4.11 數(shù)據(jù)設(shè)計(jì)4.4.11.1 屬性控制 此處加入屬性控制 4.4.11.2 數(shù)值運(yùn)算范圍控制 此處加入數(shù)值運(yùn)算范圍控制 4.4.11.3 精度控制 此處加入精度控制 4.4.11.4 合理性檢查 此處加入合理性檢查4.4.11.5 特殊問(wèn)題 此處加入特殊問(wèn)題 4 .5.14 多余物的處理4 .5.1 語(yǔ)言要求 此處加入語(yǔ)言要求4 .5.2mccabe 指數(shù)mccabe 指數(shù)為 8 。4 .5.3 參數(shù)化 此處加入?yún)?shù)化 4 .5.4 公用數(shù)據(jù)和公共變量 此處加入公用數(shù)據(jù)和公共變量4 .5.5 標(biāo)志 此處加入標(biāo)志4 .5.6 文件 此處加入文件4 .5.7 數(shù)據(jù)區(qū)隔離 此處加入數(shù)據(jù)區(qū)隔離4 .5.8 安全關(guān)鍵信息的要求 此處加入安全關(guān)鍵信息的要求4 .5.9 程序單元的規(guī)模 此處加入程序單元的規(guī)模 4 .5.10 命名要求 此處加入命名要求4 .5.11 程序格式