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