軟件可靠性和安全性設(shè)計指引

1、文檔1文檔編號廣品版本密級XK-DN-2000-10-11-09V1.0產(chǎn)品名稱：共頁軟件可靠性和安全性設(shè)計指南（僅供內(nèi)部使用）文檔作者：開發(fā)/測試經(jīng)理:產(chǎn)品經(jīng)理：管理辦:日期：/日期：/日期：/日期：/請在這里輸入公司名稱版權(quán)所有不得復(fù)制軟件可靠性和安全性設(shè)計指南1范圍1.1主題內(nèi)容此處加入主題內(nèi)容1.2適用范圍此處加入適用范圍2引用標準GBxxxx信息處理一一數(shù)據(jù)流程圖、程序流程圖、系統(tǒng)流程圖、程序網(wǎng)絡(luò)圖和系統(tǒng)資源圖的文件編制符號及約定。GB/Txxx軟件工程術(shù)語GB/Txxxxxx計算機軟件質(zhì)量保證計劃規(guī)范GB/Txxxxx計算機軟件配置管理計劃規(guī)范GB/Txxxxx信息處理一一程序構(gòu)造

2、及其表示的約定GJBxxxx系統(tǒng)安全性通用大綱GJBxxxxx系統(tǒng)電磁兼容性要求GBxxxx電能質(zhì)量標準大綱GBxxxxx電能質(zhì)量標準術(shù)語3定義此處加入定義3.1失效容限此處加入失效容限3.2扇入此處加入扇入3.3扇出此處加入扇出3.4安全關(guān)鍵信息此處加入安全關(guān)鍵信息3.5安全關(guān)鍵功能此處加入安全關(guān)鍵功能3.6軟件安全性此處加入軟件安全性4設(shè)計準則和要求4.1對計算機應(yīng)用系統(tǒng)設(shè)計的有關(guān)要求4.1.1硬件軟件功能的分配原則此處加入硬件軟件功能的分配原則4.1.2硬件軟件可靠性指標的分配原則此處加入硬件軟件可靠性指標的分配原則4.1.3容錯設(shè)計此處加入容錯設(shè)計4.1.4安全關(guān)鍵功能的人工確認此處加

3、入安全關(guān)鍵功能的人工確認4.1.5設(shè)計安全性內(nèi)核此處加入設(shè)計安全性內(nèi)核4.1.6記錄系統(tǒng)故障此處加入記錄系統(tǒng)故障4.1.7禁止回避檢測出的不安全狀態(tài)此處加入禁止回避檢測出的不安全狀態(tài)4.1.8安全性關(guān)鍵軟件的標識原則此處加入安全性關(guān)鍵軟件的標識原則4.1.9分離安全關(guān)鍵功能此處加入分離安全關(guān)鍵功能4.2對硬件設(shè)計的有關(guān)要求此處加入對硬件設(shè)計的有關(guān)要求4.3軟件需求分析4.3.1一般要求此處加入一般要求4.3.2功能需求此處加入功能需求4.3.2.1 輸入此處加入輸入4.3.2.2 處理此處加入處理此處加入特殊要求4.3.2.3 .3.3性能需求此處加入性能需求4.3.3.1 精度此處加入精度4

4、.3.3.2 容量此處加入容量4.3.3.3 時間特性此處加入時間特性4.3.3.4 靈活性此處加入靈活性4.3.3.5 .3.4接口需求此處加入接口需求4.3.4.1 與外部設(shè)備的接口此處加入與外部設(shè)備的接口4.3.4.2 與其它系統(tǒng)的接口此處加入與其它系統(tǒng)的接口4.3.4.3 人機接口此處加入人機接口4.3.4.4 .3.5數(shù)據(jù)需求此處加入數(shù)據(jù)需求4.3.4.5 .3.6環(huán)境需求此處加入環(huán)境需求4.3.6.1硬件此處加入硬件4.3.6.2軟件此處加入軟件4.3.7軟件可靠性和安全性需求此處加入軟件可靠性和安全性需求4.3.8其它需求此處加入其它需求4.4.1一般要求此處加入一般要求4.4.

5、2功能設(shè)計與分配此處加入功能設(shè)計與分配4.4.3控制流與數(shù)據(jù)流此處加入控制流與數(shù)據(jù)流4.4.4資源分配及余量此處加入資源分配及余量4.4.5設(shè)計限制此處加入設(shè)計限制4.4.6安全關(guān)鍵功能的設(shè)計此處加入安全關(guān)鍵功能的設(shè)計4.4.7冗余設(shè)計4.4.7.1 恢復(fù)塊此處加入恢復(fù)塊4.4.7.2 信息冗余此處加入信息冗余4.4.7.3 .4.8接口設(shè)計4.4.8.1 一般要求此處加入一般要求4.4.8.2 人機界面設(shè)計此處加入人機界面設(shè)計4.4.8.3 報警設(shè)計此處加入報警設(shè)計4.4.8.4 軟件接口設(shè)計此處加入軟件接口設(shè)計4.4.8.5 .4.9軟件健壯性設(shè)計4.4.9.1 電源失效處理4.4.9.2

6、 系統(tǒng)不穩(wěn)定的處理此處加入系統(tǒng)不穩(wěn)定的處理4.4.9.3 接口故障處理此處加入接口故障處理4.4.9.4 錯誤操作處理此處加入錯誤操作處理4.4.10.1 模塊的單入口和單出口此處加入模塊的單入口和單出口4.4.10.2 模塊的獨立性此處加入模塊的獨立性4.4.10.3 模塊的扇入扇出此處加入模塊的扇入扇出4.4.10.4 模塊的耦合方式此處加入模塊的耦合方式4.4.10.5 模塊的內(nèi)聚方式此處加入模塊的內(nèi)聚方式4.4.10.6 .4.11數(shù)據(jù)設(shè)計1 .4.11.1屬性控制此處加入屬性控制2 .4.11.2數(shù)值運算范圍控制此處加入數(shù)值運算范圍控制3 .4.11.3精度控制此處加入精度控制4 .4.11.4合理性檢查此處加入合理性檢查5 .4.11.5特殊問題此處加入特殊問題6 .5軟件實現(xiàn)7 .5.1語言要求此處加入語言要求8 .5.2McCabe指數(shù)McCabe指數(shù)為8。9 .5.3參數(shù)化此處加入?yún)?shù)化10 .5.4公用數(shù)據(jù)和公共變量此處加入公用數(shù)據(jù)和公共變量11 .5.5標志此處加入標志此處加入數(shù)據(jù)區(qū)隔離4.5.8安全關(guān)鍵信息的要求此處加入安全關(guān)鍵信息的要求4.5.9程序單元的規(guī)模此處加入程序單元的規(guī)模4.5.10命名要求此處加入命名要求4.5.11程序格式化要求此處加入程序格式化要求4.5.12程序注釋要求