基于不變量的軟件可靠性計算

打開文本圖片集

關(guān)鍵詞：程序不變量;軟件可靠性;冗余不變量

0 引言（Introduction）

軟件可靠性是描述系統(tǒng)質(zhì)量的重要度量指標(biāo)，一般與軟件缺陷和故障直接相關(guān)[1-2]。傳統(tǒng)方法往往只關(guān)注實際輸出與期望輸出的差異，忽略了程序內(nèi)部的運行狀況。僅僅根據(jù)輸入輸出信息計算軟件可靠性的方法存在以下問題：①測試用例不能覆蓋所有的輸入情況，如果測試用例的質(zhì)量不高，軟件可靠性計算的準(zhǔn)確性則無法得到保證;②存在偶然性正確的情況[3-4]。（剩余5568字）