軟件可測(cè)試性檢測(cè)技術(shù)研究與實(shí)現(xiàn).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)銷以及提高測(cè)試的可行性.從而使軟件的可靠性和可信度達(dá)到新的水平.該文針對(duì)軟件可測(cè)試性的量化檢測(cè)給出了一套完整的解決方案.基于軟

2、件的故障/失效模型,該文構(gòu)建了軟件可測(cè)試性量化檢測(cè)的STDM理論模型,并設(shè)計(jì)實(shí)現(xiàn)了基于該理論模型的可測(cè)試性檢測(cè)工具.該文首先介紹了軟件測(cè)試和可測(cè)試性的基本概念等用于檢測(cè)軟件可測(cè)試性的理論基礎(chǔ),并詳細(xì)分析了一些理論檢測(cè)模型及各自的優(yōu)缺點(diǎn);接下來(lái),針對(duì)這些可測(cè)試性檢測(cè)模型中所存在的問(wèn)題,根據(jù)對(duì)軟件錯(cuò)誤導(dǎo)致軟件失效過(guò)程的研究分析,該文提出了一種改進(jìn)的解決方案STDM用于對(duì)軟件的可測(cè)試性進(jìn)行量化檢測(cè),文章在最后設(shè)計(jì)并實(shí)現(xiàn)了構(gòu)建在此STDM模型基