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

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

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

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