軟件的可測(cè)試性模型、度量及其應(yīng)用.pdf

1、軟件的可測(cè)試性作為一個(gè)軟件度量指標(biāo)，是指軟件在任意給定輸入集合下進(jìn)行測(cè)試的過(guò)程中，其中存在的錯(cuò)誤能夠被揭示出來(lái)的概率。開(kāi)展對(duì)軟件可測(cè)試性的研究有助于確定軟件為了達(dá)到一定的可靠性而需要被測(cè)試的程度，并最合理地分配測(cè)試資源，提高測(cè)試的效率。而且，可測(cè)試性分析也能夠用于指導(dǎo)軟件設(shè)計(jì)者們合理地設(shè)計(jì)軟件結(jié)構(gòu)，以降低測(cè)試的開(kāi)銷(xiāo)以及提高測(cè)試的可行性，從而使軟件的可靠性和可信度達(dá)到新的水平。 本文通過(guò)對(duì)可測(cè)試性模型的分析得出不同的模型適合不同的

2、測(cè)試階段，然后針對(duì)各個(gè)階段的特點(diǎn)設(shè)計(jì)了軟件的可測(cè)試性度量方法。在系統(tǒng)設(shè)計(jì)階段可以運(yùn)用DRR模型進(jìn)行可測(cè)試性度量，本文對(duì)集合的勢(shì)進(jìn)行了重新的定義，在此基礎(chǔ)上建立了定義域和值域的勢(shì)的比值與軟件的可測(cè)試度之間的關(guān)系。在單元測(cè)試階段可以運(yùn)用PIE模型幫助進(jìn)行白盒測(cè)試，本文在軟件的錯(cuò)誤/故障模型的基礎(chǔ)上，運(yùn)用概率論中條件概率的相關(guān)知識(shí)，建立了可測(cè)試性的一個(gè)計(jì)算公式，并使用該公式證明了軟件的可測(cè)試度存在一個(gè)最大值。在前面兩個(gè)模型的基礎(chǔ)上，本文提出了

3、一個(gè)應(yīng)用于系統(tǒng)測(cè)試階段的可測(cè)試性模型——宏觀可測(cè)試性模型，該模型使用可測(cè)試性的直觀定義，把可測(cè)試度定義為軟件測(cè)試過(guò)程中容易發(fā)現(xiàn)的錯(cuò)誤數(shù)占錯(cuò)誤總數(shù)的比例，并使用增長(zhǎng)曲線(xiàn)模型對(duì)軟件中存在的錯(cuò)誤總數(shù)進(jìn)行了預(yù)測(cè)。針對(duì)系統(tǒng)測(cè)試過(guò)程的特點(diǎn)，本文提出了軟件測(cè)試過(guò)程的極限模型，運(yùn)用該模型對(duì)軟件的可信度進(jìn)行了定義，宏觀可測(cè)試性模型和軟件的可信度的結(jié)合較好的解決了系統(tǒng)測(cè)試階段資源的重新分配問(wèn)題和軟件發(fā)布的時(shí)間點(diǎn)問(wèn)題。 在文章的最后提出了一個(gè)可測(cè)試性