[CAPESE標(biāo)準(zhǔn)淺談] GJB 900A-2012《裝備安全性工作通用要求》（五）

鄭公書館298 2016-06-01

展開全文

d) 軟件設(shè)計(jì)安全性分析（工作項(xiàng)目603）

1) 利用可追溯性矩陣，保證在設(shè)計(jì)中編入了所有的安全性需求，標(biāo)識(shí)了安全性關(guān)鍵部件、單元和數(shù)據(jù)；

2) 在軟件設(shè)計(jì)評(píng)審時(shí)，應(yīng)對(duì)軟件設(shè)計(jì)的可測試性、改善軟件可測試性的建議，以及安全性關(guān)鍵部件的獨(dú)立性給予特別關(guān)注；

3) 在安全性關(guān)鍵任務(wù)中，應(yīng)重點(diǎn)考慮中斷、時(shí)序、事件隊(duì)列、硬件失效、通訊等問題對(duì)安全關(guān)鍵功能的影響；

4) 在《軟件設(shè)計(jì)說明》中以獨(dú)立條款明確記錄軟件設(shè)計(jì)安全性分析結(jié)果，記錄發(fā)現(xiàn)的問題，提交設(shè)計(jì)評(píng)審。

e) 軟件代碼安全性分析（工作項(xiàng)目604）

1) 可利用可追溯性矩陣，確認(rèn)在代碼中編入了所有安全關(guān)鍵軟件需求和設(shè)計(jì)元素；

2) 驗(yàn)證實(shí)現(xiàn)安全性關(guān)鍵需求/設(shè)計(jì)的所有源代碼文件，起始處有一個(gè)注釋區(qū)，指出這些文件是安全性關(guān)鍵的；

3) 依照編碼標(biāo)準(zhǔn)，可利用工具對(duì)代碼進(jìn)行標(biāo)準(zhǔn)符合性檢查；

4) 對(duì)代碼的邏輯、數(shù)據(jù)、接口、中斷和潛在路徑等進(jìn)行分析，并標(biāo)識(shí)出未使用的代碼；

5) 將發(fā)現(xiàn)的問題和危險(xiǎn)，提交危險(xiǎn)跟蹤閉環(huán)系統(tǒng)。

f) 軟件安全性測試分析（工作項(xiàng)目605）

1) 驗(yàn)證徹底地測試了所有軟件安全性需求；

2) 通過測試驗(yàn)證安全關(guān)鍵軟件在載荷、應(yīng)力、硬件失效和操作員錯(cuò)誤等多種條件下，都能正常運(yùn)行；

3) 通過測試驗(yàn)證其他非安全性關(guān)鍵的軟件設(shè)計(jì)元素的失效不會(huì)危及安全性關(guān)健功能的執(zhí)行；

4) 利用可追溯性矩陣，驗(yàn)證測試覆蓋了所有軟件安全性需求；

5) 利用測試覆蓋工具，驗(yàn)證測試覆蓋了所有軟件安全性關(guān)鍵設(shè)計(jì)元素；

6) 不能通過測試驗(yàn)證的需求，可通過代碼審查驗(yàn)證，并報(bào)相關(guān)管理部門批準(zhǔn)；

7) 在《軟件測試報(bào)告》中以獨(dú)立章節(jié)明確安全性驗(yàn)證分析內(nèi)容，統(tǒng)計(jì)驗(yàn)證的安全性關(guān)鍵需求、軟件單元、相關(guān)的記錄文檔，以及與預(yù)期要求不一致的全部問題或質(zhì)疑；

8)《軟件測試報(bào)告》應(yīng)提交評(píng)審；

9) 如果發(fā)現(xiàn)了新的危險(xiǎn)，應(yīng)協(xié)助系統(tǒng)人員進(jìn)行危險(xiǎn)分析，并確定必須采取的措施。

g) 運(yùn)行階段的軟件安全性工作（工作項(xiàng)目606）

1) 組織有關(guān)專家對(duì)軟件運(yùn)行文檔進(jìn)行審查，保證在文檔中清晰地標(biāo)識(shí)了所有安全性相關(guān)的命令、數(shù)據(jù)、輸入序列等系統(tǒng)安全運(yùn)行所必需的全部信息，包括錯(cuò)誤消息描述和糾正措施；

2) 制定運(yùn)行階段的軟件安全性工作計(jì)劃，策劃軟件維護(hù)(更改與升級(jí))、培訓(xùn)等活動(dòng)中軟件安全性相關(guān)工作的要求、流程、完成形式、人員等，提出產(chǎn)生、實(shí)現(xiàn)、追溯和驗(yàn)證安全性關(guān)鍵需求的機(jī)制；

3) 任何安全性關(guān)健軟件需求的更改，必須報(bào)相關(guān)管理部門批準(zhǔn)；

4) 任何軟件的維護(hù)(更改與升級(jí))，必須進(jìn)行軟件更改影響分析，確定回歸測試的范圍與層次；

5) 在軟件交付之前，完成回歸測試、驗(yàn)證覆蓋分析和相關(guān)評(píng)審。

輕松一刻

鯊魚看著一個(gè)滑浪風(fēng)帆運(yùn)動(dòng)員說：“招待真周到。既有早餐，又有盤子和餐巾?！?/section>

本站是提供個(gè)人知識(shí)管理的網(wǎng)絡(luò)存儲(chǔ)空間，所有內(nèi)容均由用戶發(fā)布，不代表本站觀點(diǎn)。請注意甄別內(nèi)容中的聯(lián)系方式、誘導(dǎo)購買等信息，謹(jǐn)防詐騙。如發(fā)現(xiàn)有害或侵權(quán)內(nèi)容，請點(diǎn)擊一鍵舉報(bào)。

轉(zhuǎn)藏 分享

QQ空間 QQ好友新浪微博微信

獻(xiàn)花（0） +1

來自：鄭公書館298 > 《光電成像探測與夜視》

舉報(bào)/認(rèn)領(lǐng)