一種軟件防危性增長測評方法,包括步驟如下:設定軟件防危性指標:將軟件風險作為軟件防危性指標,記為R;生成關聯風險剖面,確定軟件安全關鍵運行產生的風險:將安全關鍵運行的概率Pc與該運行產生失效引起的后果即加權值ε的乘積作為生成關聯風險剖面的風險值;計算安全關鍵運行在關聯風險剖面的取樣概率,生成測試用例;根據重要性取樣原理,計算測試中的軟件總風險值Ra,如果Ra小于R,表明防危性達標,測試停止。本發明的防危性增長測評選擇對失效風險較大的運行和操作進行測試,能快速找到問題所在,并解決問題,從而達到防危性增長測評的目標,即產生關聯風險剖面,根據關聯風險剖面產生測試用例,有效分析能引起重大事故的缺陷。
聲明:
“軟件防危性增長測評方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)