一種實(shí)時(shí)分布式軟件可靠性評(píng)測(cè)技術(shù)的研究.pdf

1、分布式系統(tǒng)的可靠性不僅取決于它的資源(如程序和數(shù)據(jù)文件)的分布,而且取決于它的通訊鏈路和節(jié)點(diǎn)的可靠性.分布式實(shí)時(shí)軟件還應(yīng)考慮時(shí)間約束因子.在對(duì)傳統(tǒng)的分布式軟件可靠性評(píng)估理論的分析和研究的基礎(chǔ)上,提出了一種增加時(shí)間約束因子的實(shí)時(shí)分布式軟件可靠性評(píng)估模型.它對(duì)文件生成樹(shù)中的數(shù)據(jù)文件傳輸時(shí)間進(jìn)行評(píng)測(cè),確定文件生成樹(shù)的狀態(tài),建立馬爾可夫模型,利用因式分解理論計(jì)算出分布式程序的可靠性,從而得出整個(gè)實(shí)時(shí)分布式軟件的可靠性.為了加快評(píng)估過(guò)程,使用了幾

2、種常用的可靠性保留的精簡(jiǎn)算法來(lái)簡(jiǎn)化分布式系統(tǒng),減小馬爾可夫狀態(tài)空間.設(shè)計(jì)和實(shí)現(xiàn)了一種得到分布式程序的所有文件生成樹(shù)的遞歸算法.文件傳輸路徑生成算法借用了傳統(tǒng)的最小文件生成樹(shù)生成算法中節(jié)點(diǎn)擴(kuò)展的思想,并且判斷每一個(gè)新生成的文件傳輸路徑是否已在文件傳輸路徑集合中,如果是則丟棄,這樣就避免了生成相同的文件傳輸路徑,同時(shí)確定了數(shù)據(jù)文件的唯一分布.評(píng)估文件傳輸路徑的響應(yīng)時(shí)間時(shí),在直線計(jì)算方法的基礎(chǔ)上,添加了分支路徑計(jì)算方法.建立馬爾可夫模型并由馬

3、爾可夫狀態(tài)轉(zhuǎn)移概率矩陣計(jì)算出程序的可靠度.實(shí)時(shí)分布式軟件可靠性評(píng)估系統(tǒng)包括節(jié)點(diǎn)機(jī)模擬器、分布式軟件模擬器和可靠性評(píng)估器.節(jié)點(diǎn)機(jī)模擬器和分布式軟件模擬器共同模擬被測(cè)的分布式軟件,輔助測(cè)試過(guò)程,實(shí)現(xiàn)程序的隨機(jī)調(diào)度和文件的隨機(jī)分配.可靠性評(píng)估器采用從配置文件讀入分布式系統(tǒng)的拓?fù)浣Y(jié)構(gòu)的方法,可測(cè)試具有任何拓?fù)浣Y(jié)構(gòu)(如直線、星形、環(huán)形、網(wǎng)狀)的分布式系統(tǒng)的可靠性.通過(guò)改變時(shí)間約束因子和鏈路的通訊能力等參數(shù),對(duì)系統(tǒng)進(jìn)行了大量的測(cè)試,發(fā)現(xiàn)不同的分布式