基于隨機(jī)Petri網(wǎng)的軟件可靠性分析研究.pdf

1、隨著軟件系統(tǒng)應(yīng)用范圍的日趨廣泛，我們的日常生活越來越依賴應(yīng)用軟件所提供的服務(wù)，目前軟件已經(jīng)應(yīng)用于航空航天、核電技術(shù)、軍事、電子機(jī)械、金融等許多重要的特殊工程領(lǐng)域，在這些應(yīng)用領(lǐng)域里，一個(gè)小的軟件故障可能會(huì)導(dǎo)致災(zāi)難性的生命和財(cái)產(chǎn)損失。同時(shí)隨著近年來軟件規(guī)模越來越大，軟件系統(tǒng)的復(fù)雜性也急劇地增加，解決軟件可靠性問題變得越來越迫切。
　　 軟件可靠性分析主要分為軟件可靠性建模和可靠性指標(biāo)分析。其中軟件可靠性建模在可靠性分析起著核心的作用

2、，目前所提出的模型大部分是基于故障樹進(jìn)行分析，不能全面地描述系統(tǒng)的動(dòng)態(tài)行為，因而存在一定的應(yīng)用范圍和條件的局限性，不能很好地適應(yīng)復(fù)雜多變的應(yīng)用環(huán)境的需求；在可靠性指標(biāo)分析方面，目前的計(jì)算方法大多只能針對失效的穩(wěn)定狀態(tài)進(jìn)行可靠性分析，因此無法掌握整個(gè)系統(tǒng)的可靠度動(dòng)態(tài)的變化趨勢；此外，大多數(shù)軟件失效是隨機(jī)的、間歇的，軟件可靠性模型在形式上符合隨機(jī)過程的特性，這使得在可靠性分析中，時(shí)間比其他的特性更加重要。
　　 本文首先把隨機(jī)Pet

3、ri網(wǎng)應(yīng)用于可靠性建模，隨機(jī)Petri網(wǎng)把時(shí)間參數(shù)與變遷關(guān)聯(lián)，有助于定義可靠性模型的動(dòng)態(tài)行為。同時(shí)本文通過比較隨機(jī)Petri網(wǎng)及軟件可靠性技術(shù)的概念、特點(diǎn)及它們之間的關(guān)系，從軟件故障產(chǎn)生與傳遞的表述方面著眼給出了具體的可靠性建模方法；然后，針對隨機(jī)Petri網(wǎng)應(yīng)用中常常會(huì)碰到的復(fù)雜的空間爆炸問題給出了兩種解決方案；其次，引入了一種計(jì)算瞬時(shí)可靠度的方法對簡化后的隨機(jī)Petri網(wǎng)進(jìn)行分析，提高了評價(jià)和預(yù)測可靠性的精確度和正確性，并且所獲得的