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

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

2、件質(zhì)量保證計(jì)劃規(guī)范GB/T xxxxx 計(jì)算機(jī)軟件配置管理計(jì)劃規(guī)范GB/T xxxxx 信息處理程序構(gòu)造及其表示的約定GJBxxxx 系統(tǒng)安全性通用大綱GJBxxxxx 系統(tǒng)電磁兼容性要求GBxxxx 電能質(zhì)量標(biāo)準(zhǔn)大綱GBxxxxx 電能質(zhì)量標(biāo)準(zhǔn)術(shù)語(yǔ)3 定義此處加入定義3 .1 失效容限此處加入失效容限3 .2 扇入此處加入扇入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 硬件軟件功能的分配原則此處加入硬件軟件功能的分配原

3、則4 .1.2 硬件軟件可靠性指標(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ì)安全性?xún)?nèi)核此處加入設(shè)計(jì)安全性?xún)?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)鍵軟件的標(biāo)識(shí)原則4 .1.9 分離安全關(guān)鍵功能此處加入分離安全關(guān)鍵功能4 .2 對(duì)硬件設(shè)計(jì)的有關(guān)要求此處加入對(duì)硬件設(shè)計(jì)的有關(guān)要求4 .3 軟件需求分析4 .3.1 一般要求此處加入一般要求4

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 時(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.5 數(shù)據(jù)需求此處加入數(shù)據(jù)需求4 .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.3 控制流與數(shù)據(jù)流此處加入控制流與數(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 恢復(fù)塊此處加入恢復(fù)塊4.4.

6、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)定的處理此處加入系統(tǒng)不穩(wěn)定的處理4.4.9.3 接口故障處理此處加入接口故障處理4.4.9.4 錯(cuò)誤操作處理此處加入錯(cuò)誤操作處理4 .4.10 簡(jiǎn)化設(shè)計(jì)4.4.10.1 模塊的單入口和單出口此處加入模塊的單入口和單出口4.4.10.2 模塊的獨(dú)立性此處加入模塊的獨(dú)立性4.4.10.3 模塊

7、的扇入扇出此處加入模塊的扇入扇出4.4.10.4 模塊的耦合方式此處加入模塊的耦合方式4.4.10.5 模塊的內(nèi)聚方式此處加入模塊的內(nèi)聚方式4 .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 軟件實(shí)現(xiàn)4 .5.1 語(yǔ)言要求此處加入語(yǔ)言要求4 .5.2 McCabe指數(shù)McCabe指數(shù)為8。Page: 6程序單元的圈復(fù)雜性（即McCabe指數(shù)）應(yīng)小于10。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 程序格式化要求此處加入程序格式化要求4 .5.1