頁籤選單縮合
題名 | 電腦軟體可靠度之評估與提昇技術= |
---|---|
作者 | 王清正; 林丙輝; 陳傳宗; |
期刊 | 臺電核能月刊 |
出版日期 | 19990400 |
卷期 | 196 1999.04[民88.04] |
頁次 | 頁13-28 |
分類號 | 312.49 |
語文 | chi |
關鍵詞 | 電腦軟體; 可靠度; |
中文摘要 | 提昇軟體可靠度的技術涵括正確性驗證(correctness proofs)、失效樹分析法 ( fault treeanalysis ), 軟體可靠度預測和多版本軟體等方法。 正確性驗證( correctnessproofs )和失效樹分析法常被程式編撰人員拿來當成是開發軟體的工具。另方 面, 軟體可靠度預測和多版本軟體等兩種方法則往往是應用在運轉階段( operational phase )以獲致超高軟體可靠度。軟體可靠度預測以該軟體過去之失效資料來預測其未來的 可靠度行為模式。藉此達到降低因採用不合格的軟體而導致失效的風險。多版本軟體法則藉 著執行各個各自獨立發展出來的程式去消減錯誤結果輸出的機會。軟體可靠度預測需要選擇 一個適當的模型。截至目前為止,我們已經有不下數十個軟體可靠度模型,而且更多更複雜 的模型還一直不斷地被提出來。這麼多的模型中,那一個是值得信賴?在何種情況下又那一 個模型比較恰當? 這些重要問題一直都還沒有清晰可循的答案。究其原因,主要是我們對失 效驟現( failure arrival )過程仍然欠缺深入的瞭解。 鑑此,我們解讀現有軟體可靠度 及可靠度成長模型之失效驟現過程。首先,我們區分即時處理類型和批次處理類型軟體。然 後回顧卜氏和白努利兩種過程之相關統計分配,並且檢視軟體可靠度和軟體可靠度成長之代 表性模型。上述之卜氏過程被用來說明即時處理類型軟體之失效驟現過程,而白努利過程則 用以展示批次處理類型之失效驟現過程。我們也探討了兩種增進預測精度的方法。第一種方 法採用經整合的多相型可靠度模型。另一種方法則以最佳化線性組合的方式去組合各個相互 競爭之預測值。軟體可靠度預測有助於確認品質合乎標準的軟體。不過,預測本身並不會提 昇軟體的可靠度。另方面:多版本軟體法則藉著整合各個各自獨立開發的程式以提高軟體之 可靠度。 本文中,我們展示了區塊還原( Recovery Block )和主動式多樣冗餘( Active diversifying redundancy )這兩種採用多版本軟體去提昇軟體可靠度的方法。多版本軟體 法之成敗取決於所採用之多版本程式的事件是否相互獨立。因而,我們需要一個檢定失效事 件是否相互獨立的統計檢定方法。現有的方法檢定各版本之結果輸出是否相互獨立而非所欲 檢定之失效事件是否相互獨立。為了彌補此一缺失,本文也提供了一個新的檢定方法,用來 檢驗失效事件之相互獨立性。 |
本系統之摘要資訊系依該期刊論文摘要之資訊為主。