具有時(shí)間約束的分布式軟件可靠性評(píng)估研究.pdf

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

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

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