具有時間約束的分布式軟件可靠性評估研究.pdf

1、對于分布式軟件可靠性研究,在最初階段,人們只是借鑒一般軟件可靠性評估的基本理論和方法.隨著軟件可靠性評估技術(shù)的發(fā)展,形成了許多關(guān)于分布式軟件可靠性評估的理論和方法,其中大部分是基于圖論,利用K-端點網(wǎng)絡(luò)因式分解定理進(jìn)行評估.這種評估方法雖然經(jīng)過理論分析和推導(dǎo),具有一定的合理性,但是因其只考慮了分布式軟件可靠性單項指標(biāo),沒有綜合分析分布式軟件的其它性能對可靠性的影響,因此,在實際應(yīng)用方面具有一定的局限性.針對上述局限性,"具有時間約束的分

2、布式軟件可靠性評估研究"以分布式軟件的可靠性模型為基礎(chǔ),將精簡和深度優(yōu)先兩種方法有機(jī)結(jié)合,引入時間約束因子,對分布式軟件可靠性進(jìn)行理論分析,確定具有時間約束的分布式軟件可靠性評估的理論方法.在此基礎(chǔ)上,推導(dǎo)出Degree-1精簡算法、Series精簡算法、新的文件生成樹生成算法、文件傳輸路徑生成算法以及響應(yīng)時間評估算法.在使用這一系列算法之前,首先對分布式系統(tǒng)進(jìn)行形式化描述,形成分布式系統(tǒng)示意圖,為算法提供運用環(huán)境.根據(jù)節(jié)點上可用的數(shù)據(jù)

3、文件和節(jié)點的度數(shù),Degree-1精簡算法和Series精簡算法分別對分布式系統(tǒng)示意圖進(jìn)行度1精簡和度2精簡,降低了評估階段的復(fù)雜度;在精簡的分布式系統(tǒng)示意圖中,運用新的文件生成樹生成算法,生成執(zhí)行程序的所有文件生成樹,以便確定數(shù)據(jù)文件的所有傳輸路徑;在每一個文件生成樹中,運用文件傳輸路徑生成算法,生成數(shù)據(jù)文件的所有傳輸路徑,為確定數(shù)據(jù)文件的傳輸時間創(chuàng)造條件;在數(shù)據(jù)文件的傳輸路徑中,運用響應(yīng)時間評估算法,對數(shù)據(jù)文件的傳輸時間進(jìn)行評估,從