|
截至1960年代為止, 電腦硬體的發展, 幾乎是資訊技術的焦點所在。然而, 直到1970
年代, 發展軟體的成本才逐漸地被提高。這都是歸因于軟體的失效會造成無可計數的
損失, 不管是金錢或是資訊的損失。因此, 軟體品質問題便成為現今發展的重點, 而
軟體可靠度便是軟體品質的測量標準之一。一些以機率理論為基礎的分析模式被提出
來評估軟體系統的可靠度。
本篇論文係針對為提高軟體可靠度的軟體覆聯 (Redundance) 之容錯設計(Fault-Tol
eraut design) 系統的相依現象, 利用已被提出的分析模式架構, 用線性關係去描述
并聯系統之軟體間失效率的相依性。在第二章中, Freund所提出的二元模式 (Bivari
ate model)將被描述并由原來的二元問題擴展至多元 (Multivariate) 問題且應用在
軟體并聯的系統上。我們以一個例子來說明它。而以非齊次的卜松過程 (Nonhomogen
eous process) 為基礎的分析模式將在第三章中說明并比較之。此外, 兩種型態的相
依模式也被提出來解釋軟體相依性(depend-ency relationship)并計算變聯時的可靠
度, 另外, 更一般化的并聯係統可靠度公式亦可導出。
最后, 在已被廣泛使用或認可的分析模式中, 均假設在軟體發展階段視為黑盒子 (bl
ackbox) , 而不將其對軟體構造以及所使用的發展工具或方法等對軟體品質的影響列
入考慮。但是這種影響是明顯且重要的。所以, 更詳細的分析模式應是非常需要的。
|