軟件安全性測試ppt課件-資料下載頁
2025-01-08 22:11本頁面
【正文】 出可能導(dǎo)致關(guān)鍵功能模塊失效的原因 。 根據(jù)故障重新計算頂事件的發(fā)生概率 ， 達(dá)不到預(yù)定要求 ， 則重新分析 ， 根據(jù)變化了的情況重建故障樹（ 由于程序改動以及某些關(guān)聯(lián)的因素發(fā)生變化 ， 因而第二次建的樹可能和第一次不一樣 ） ， 對它進(jìn)行分析 ，找出另一個可能引起頂事件發(fā)生的關(guān)鍵功能模塊 。 有時需要反復(fù)多次 。 例：某應(yīng)用軟件中 ， 其中的一個部件由七 個模塊組成 ， 分別設(shè)為x1,x2,x3,x4,x5,x6,x7。 各模塊的失效概率為：Fx1=Fx2=、 Fx3=、 Fx4=、Fx5=Fx6=、 Fx7=(此數(shù)據(jù)可由軟件可靠性分配或通過軟件可靠性預(yù)計得到 ),經(jīng)過采用上述的方法進(jìn)行分析 ，得到故障樹 ， 如下圖所示 。 從以上的分析可以看出 ， K2割集的故障發(fā) 生概率 最大 ， 其次為 K1， 這和定性分析的結(jié)果 有一定 的相似性 。 由于各底事件的故障較小 ， 因而系 統(tǒng)的故障概率可近似計算為各最小割集故障概率之和 ， 即 P(T)=+++ += 10—3 假如系統(tǒng)要求失效概率小于 ,則系統(tǒng)改進(jìn)的最好辦法是提高 x4模塊的可靠性 ,降低它的故障發(fā)生概率 。 敬請批評指正 ! 謝謝 !
試題試卷相關(guān)推薦
鄂ICP備17016276號-1