隨著計算機故障成本的日益增高，軟體可靠性已倍覺重要。而改善軟體可靠性的方法
之一即為加額外資料到資料結構中，使得軟體內可加入特殊的程式而利用這些資料將
錯誤診出並自動修正。本論文即在研究如何加入適當的額外資料及設計審查程式（
Audit Program ）來診定錯誤並改正。
研究時先探討可忍錯資料結構之有關理論，尋找出定理及重要規則，再依據這些理論
實際設計可忍錯資料結構及審查程式之演算法。
在設計過程中，證明所提出之定理及規則對實際之設計確能達簡化工作，提供軟體可
靠度的要求。雖無法完全改正有可能錯誤但對單一錯誤則能自動修復。而此方法只會
使軟體複雜度稍微地增加，也間接的降低此設計之成本，故本文之方法實屬可行。對
資料結構健康程度（Robustness）分析則由其偵錯能力（Detectability ），改錯能
力（Corrdctability）及可改錯誤比率（Correctable Fault Ratio ）三方面來討論
而得出成本低而健康程度最優良的資料結構，這些分析亦可作日後設計之參考。
|