關鍵性分析是核電廠軟件驗證與確認過程最初始的環(huán)節(jié),也是其他V&V工作的基礎。該文針對核電廠安全相關級系統(tǒng)的軟件,結合IEEE Std 1012標準,建立了一種適用于軟件開發(fā)各個階段的關鍵性分析的具體執(zhí)行方法,最大限度地對核電廠安全相關級軟件關鍵性分析工作進行了標準化,從而有效提高了軟件驗證與確認工作的效力。 

【文章來源】：電腦知識與技術. 2020,16(05)

【文章頁數(shù)】：2 頁

【部分圖文】：

概念階段可追蹤性分析方法示意圖


本文編號：3600238