軟件故障樹分析技術(shù)與應(yīng)用研究.pdf

1、軟件從它誕生之日起，就受到各種各樣潛在軟件故障的折磨。隨著軟件實(shí)現(xiàn)功能越來越多也越來越強(qiáng)大，其攜帶的潛在的故障也越多，隨之也帶來更多的安全性問題，如果這些潛在的故障一旦發(fā)作，不僅軟件系統(tǒng)的正常功能無法得到保證，甚至對人民群眾的生命財(cái)產(chǎn)安全帶來危害。這使得人們不得不開始考慮這些軟件的質(zhì)量問題。在軟件質(zhì)量的眾多評測標(biāo)準(zhǔn)中，使用軟件的可靠性與安全性分析可以有效避免軟件失效。 故障樹分析法(FTA)是一種評價復(fù)雜系統(tǒng)可靠性與安全性的重要

2、方法。經(jīng)過近四十年的發(fā)展，F(xiàn)TA技術(shù)已經(jīng)有相對成熟的理論。但目前關(guān)于軟件故障樹分析(SFTA)的研究開展的比較晚，而且主要集中應(yīng)用在航天、國防等關(guān)鍵領(lǐng)域；這些領(lǐng)域里面的軟件系統(tǒng)大部分都屬于嵌入式系統(tǒng)，這類軟件依然以過程開發(fā)為主，所以在這種過程式程序設(shè)計(jì)中，基于源碼構(gòu)造出的故障樹往往非常龐大，給實(shí)際分析帶來一定的困難；軟件發(fā)展的未來是面向?qū)ο?，關(guān)于面向?qū)ο笤O(shè)計(jì)的程序，目前尚未見到有效的故障樹分析方法。本文對軟件故障樹分析技術(shù)進(jìn)行了研究，主

3、要工作包括： [1]在分析軟件故障樹和硬件故障樹的差異的基礎(chǔ)上，針對傳統(tǒng)故障樹技術(shù)不適合用來分析軟件的問題，提出了能夠適合具有開發(fā)階段多、模型復(fù)雜、程序關(guān)系龐大等特點(diǎn)的軟件故障樹分析技術(shù)。 [2]根據(jù)面向?qū)ο蟮奶攸c(diǎn)，開展了面向?qū)ο筌浖墓收蠘浼夹g(shù)的研究，提出了針對UML模型的故障樹構(gòu)造方案。 [3]在故障樹簡化方面，提出一種基于布爾代數(shù)理論的簡化的方法。在故障樹分析方面，提出了基于下行法求解故障樹最小割集的算法并