微軟技術(shù)模版-軟件可靠性和安全性設(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ī)軟件質(zhì)量保證計(jì)劃規(guī)范GB/T xxxxx計(jì)算機(jī)軟件配置管理計(jì)劃規(guī)范GB/T xx

2、xxx信息處理一一程序構(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)鍵功能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硬件軟件可靠性指標(biāo)的分配原則此處加入硬件軟件可靠性指標(biāo)的分配原則4 .1.3容錯(cuò)設(shè)計(jì)此處加入容錯(cuò)設(shè)計(jì)4 .1

3、.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 .3.2功能需求此處加入功能需求4.3.2.1 輸入此處加入輸入4.3.2.2 處理4.3.2.3 輸岀此處加入輸岀4.3.2.4 特殊要求此處

4、加入特殊要求4 33性能需求此處加入性能需求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)境需求此處加入環(huán)境需求4.3.6.1 硬件此處加入硬件4.3.6.2 軟件此處加入軟件4 .3.7軟件可靠性和安全性需求此處加入軟件可靠性和安全性需求4 .3.8其它需求4

5、39采樣的確定原則此處加入采樣的確定原則 4 .4軟件設(shè)計(jì)4 41一般要求此處加入一般要求442功能設(shè)計(jì)與分配此處加入功能設(shè)計(jì)與分配 4 43控制流與數(shù)據(jù)流此處加入控制流與數(shù)據(jù)流 4 44資源分配及余量此處加入資源分配及余量 445設(shè)計(jì)限制此處加入設(shè)計(jì)限制4 46安全關(guān)鍵功能的設(shè)計(jì)此處加入安全關(guān)鍵功能的設(shè)計(jì)4 .4.7冗余設(shè)計(jì)4.4.7.1 恢復(fù)塊此處加入恢復(fù)塊4.4.7.2 信息冗余此處加入信息冗余4 48 接口設(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

6、 .4.9軟件健壯性設(shè)計(jì)4.4.9.1 電源失效處理4.4.9.2 系統(tǒng)不穩(wěn)定的處理此處加入系統(tǒng)不穩(wěn)定的處理4.4.9.3 接口故障處理錯(cuò)誤操作處理此處加入錯(cuò)誤操作處理4 410 簡(jiǎn)化設(shè)計(jì)4.4.10.1 模塊的單入口和單岀口此處加入模塊的單入口和單岀口4.4.10.2 模塊的獨(dú)立性此處加入模塊的獨(dú)立性4.4.10.3 模塊的扇入扇岀此處加入模塊的扇入扇岀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

7、.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.2McCabe 指數(shù)McCabe指數(shù)為8。4 .5.3 參數(shù)化此處加入?yún)?shù)化4 .5.44 .5.5公用數(shù)據(jù)和公共變量4 .5.64 .5.7 標(biāo)志此處加入標(biāo)志4 .5.8文件此處加入文件4 .5.9數(shù)據(jù)區(qū)隔離此處加入數(shù)據(jù)區(qū)隔離4 .5.104 .5.11安全關(guān)鍵信息的要求此處加入安全關(guān)鍵信息的要求4 .5.124 .5.13程序單元的規(guī)模此處加入程序單元的規(guī)模4 .5.144 .5.15 命名要求此處加入命名要求4 .5.164 .5.17程序格式化要求此處加入程序格式化要求4 .5.184 .5.19程序注