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

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

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

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