基于不變量的軟件可靠性計(jì)算

打開文本圖片集

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

0 引言（Introduction）

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