軟件的有效性函數A(t)定義為軟件系統(tǒng)在時刻t按照規(guī)格說明成功運行的概率。
軟件可靠性定義為在某個給定時間間隔內,程序按照規(guī)格說明成功運行的概率。
是對軟件產品、過程、資源等使用歷史資料或經驗公式等進行預測。