基于測(cè)試覆蓋的軟件可靠性模型.pdf

1、軟件在當(dāng)今生活中扮演著日益重要的角色，軟件質(zhì)量是軟件生存的重要保障，而軟件可靠性是軟件質(zhì)量的重要衡量標(biāo)準(zhǔn)，并且直接關(guān)系到軟件發(fā)布后的可用性。軟件中不可避免的存在各種缺陷和錯(cuò)誤，這一點(diǎn)在中大型規(guī)模軟件中體現(xiàn)的尤為明顯，錯(cuò)誤的排除無(wú)疑可以提高軟件的可靠性，而軟件可靠性模型恰是對(duì)軟件錯(cuò)誤進(jìn)行科學(xué)預(yù)測(cè)的有力工具。自從1967年生滅過(guò)程模型提出以來(lái)，軟件科學(xué)家們便建立了各種各樣的模型來(lái)對(duì)軟件的錯(cuò)誤進(jìn)行預(yù)測(cè)。到目前為止，已發(fā)表的模型數(shù)量已經(jīng)超過(guò)百種

2、，其中非齊次泊松過(guò)程(NHPP)模型占有相當(dāng)?shù)谋戎亍y(cè)試覆蓋是指測(cè)試能夠覆蓋程序中潛在錯(cuò)誤點(diǎn)的程度。測(cè)試覆蓋是軟件測(cè)試過(guò)程中常用的準(zhǔn)則之一。測(cè)試覆蓋和軟件可靠性之間有著密切的聯(lián)系，國(guó)內(nèi)外專家均對(duì)此做出過(guò)一定的研究。
　　 本文對(duì)已發(fā)表的非齊次泊松過(guò)程(NHPP)模型進(jìn)行了深入的學(xué)習(xí)和研究，得出了眾多NHPP模型之間的相似性，從測(cè)試覆蓋的角度，同時(shí)提出了測(cè)試過(guò)程中測(cè)試人員的“學(xué)習(xí)現(xiàn)象”，并考慮了軟件排錯(cuò)過(guò)程中新錯(cuò)誤的引入和錯(cuò)誤的不