摘要:基于非齊次泊松過程的軟件可靠性增長模型按時間域可分為連續時間模型和離散時間模型兩類。現有的軟件可靠性增長模型大多都是針對連續時間構造的,在一定程度上忽視了對離散時間模型的研究。利用概率生成函數構建兩種基于離散時間的軟件可靠性增長模型——基本模型和擴展模型,具有很大的實用性和必要性。構建的擴展模型以不完美排錯情形作為基礎,考慮到了由于故障排除而有可能引入新故障的問題,同時還考慮到了在軟件排錯過程中由于測試團隊的熟練程度而引起的軟件故障排除率的相對變化情況,這使得提出的模型更加符合實際。最后利用兩組公開發表的失效數據集對兩種模型與指數模型和s型模型進行對比驗證。驗證結果表明提出的兩種模型具有更好的擬合能力和預測效果。