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

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

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

【部分圖文】：

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


本文編號(hào)：3600238