不完美排錯軟件可靠性增長模型效用量化研究

打開文本圖片集

收稿日期：2022-05-08；修回日期：2022-07-04  基金項目：國家自然科學基金資助項目（61473097）；山東省自然科學基金面上項目（ZR2021MF067）；山西省基礎(chǔ)研究計劃資助項目（201801D121120）；威海市科技發(fā)展計劃資助項目（ITEAZMZ001807）

作者簡介：張策（1978-），男（通信作者），吉林永吉人，副教授，碩導(dǎo)，博士，主要研究方向為可靠性建模與評測、物聯(lián)網(wǎng)中安全性分析、可信計算等（[email protected]）；孫智超（1998-），男，吉林長春人，碩士研究生，主要研究方向為軟件可靠性；王金勇（1974-），男，黑龍江雞西人，講師，博士，主要研究方向為軟件可靠性、故障預(yù)測；袁雨飛（1999-），男，安徽合肥人，碩士研究生，主要研究方向為軟件可靠性；盛晟（1999-），男，山西大同人，本科生，主要研究方向為軟件可靠性；呂為工（1967-），男，吉林長春人，副教授，碩士，主要研究方向為嵌入式、物聯(lián)網(wǎng)、分布式人工智能．

摘 要：為了進一步提升現(xiàn)有非齊次泊松過程類軟件可靠性增長模型的擬合和預(yù)測性能，首先從故障總數(shù)增長趨勢角度對不完美排錯模型進行深入研究，提出兩個一般性不完美排錯框架模型，分別考慮了總故障數(shù)量函數(shù)與累計檢測故障函數(shù)間的線性關(guān)系與微分關(guān)系，并求得累計檢測的故障數(shù)量與軟件中總故障數(shù)量函數(shù)表達式；其次，在六組真實的失效數(shù)據(jù)集上對比了提出的兩種一般性不完美排錯模型和六種不完美排錯模型擬合預(yù)測性能表現(xiàn)。（剩余17974字）