考慮不完美排錯(cuò)的軟件可靠性增長(zhǎng)模型研究及應(yīng)用.pdf

1、隨著計(jì)算機(jī)技術(shù)的不斷發(fā)展，軟件正廣泛地應(yīng)用于社會(huì)的各個(gè)領(lǐng)域，且規(guī)模越來(lái)越大，復(fù)雜性越來(lái)越高。社會(huì)對(duì)可靠軟件的需求也在快速增長(zhǎng)，特別是應(yīng)用于軍事領(lǐng)域以及高實(shí)時(shí)性要求的軟件，保障其可靠性日益重要。軟件工程的質(zhì)量保證和評(píng)估重點(diǎn)就是如何提高軟件的可靠性。軟件可靠性增長(zhǎng)模型是利用數(shù)理統(tǒng)計(jì)學(xué)預(yù)測(cè)和管理軟件可靠性的有效手段。
　　軟件測(cè)試階段主要包括故障檢測(cè)過(guò)程和故障排除過(guò)程。故障排除過(guò)程中存在不完美排錯(cuò)現(xiàn)象，在軟件可靠性建模中該現(xiàn)象涉及到的影

2、響因素是故障排除率函數(shù)和故障引入率函數(shù)。同時(shí)，故障檢測(cè)過(guò)程中存在移動(dòng)點(diǎn)現(xiàn)象，即故障檢測(cè)率既不是常值也不是隨時(shí)間連續(xù)變化，會(huì)在某一時(shí)刻產(chǎn)生跳變。對(duì)故障檢測(cè)過(guò)程和故障排除過(guò)程的精確建?？梢愿玫仡A(yù)測(cè)和評(píng)估軟件可靠性。本課題研究了不完美排錯(cuò)現(xiàn)象和移動(dòng)點(diǎn)現(xiàn)象對(duì)軟件可靠性的影響。主要研究?jī)?nèi)容如下：
　　首先，軟件測(cè)試中故障排除過(guò)程的故障排除率并不是100％的，并且由于檢測(cè)到的尚未被排除的故障影響還會(huì)引入新的故障，即存在故障排除率和故障引入率

3、，兩者是具有不同的下降趨勢(shì)的減函數(shù)。針對(duì)這一問(wèn)題，提出一種新的故障引入率函數(shù)，并結(jié)合現(xiàn)有的故障排除率函數(shù)提出一種新的考慮不完美排錯(cuò)的軟件可靠性增長(zhǎng)模型。利用兩組公開(kāi)發(fā)表的軟件失效數(shù)據(jù)集進(jìn)行仿真與驗(yàn)證，仿真結(jié)果表明該模型具有更好的擬合效果和預(yù)測(cè)能力。
　　然后，針對(duì)現(xiàn)有的考慮不完美排錯(cuò)的軟件可靠性增長(zhǎng)模型忽略了軟件故障檢測(cè)過(guò)程存在移動(dòng)點(diǎn)現(xiàn)象這一問(wèn)題，提出了一種基于移動(dòng)點(diǎn)技術(shù)考慮不完美排錯(cuò)的軟件可靠性增長(zhǎng)模型。通過(guò)兩組公開(kāi)發(fā)表的軟件失