[科普中國(guó)]-軟件可測(cè)試性

軟件可測(cè)試性（Software testability）是指一個(gè)軟件工件（軟件系統(tǒng)、模組、需求文件或設(shè)計(jì)文件等）在一給定的測(cè)試環(huán)境下，可支援測(cè)試的程度。

簡(jiǎn)介軟件工件的可測(cè)試性不是一個(gè)內(nèi)在性質(zhì)，不像軟件大小一様可以直接量測(cè)。軟件可測(cè)試性是一個(gè)外在性質(zhì)，由待測(cè)試的軟件及測(cè)試目標(biāo)、方法及測(cè)試資源（測(cè)試環(huán)境）之間的相互關(guān)系來(lái)決定。

若軟件的可測(cè)試性低，可能會(huì)造成測(cè)試工作的增加。在一些極端的情形下，缺乏可測(cè)試性可能會(huì)使部分甚至全部的測(cè)試或軟件需求無(wú)法進(jìn)行。1

背景知識(shí)依照實(shí)證的假設(shè)，軟件測(cè)試的工作量及有效性和以下幾個(gè)因素有關(guān)：

軟件需求的性質(zhì)。

軟件本身的性質(zhì)（像大小、復(fù)雜度及可測(cè)試性）。

測(cè)試方法的的性質(zhì)。

開(kāi)始及測(cè)試流程的性質(zhì)。

和測(cè)試流程有關(guān)人員的資格和動(dòng)機(jī)。1

軟件元件的可測(cè)試性軟件元件（模組或類(lèi)別）的可測(cè)試性和以下因素有關(guān)：

可控制性：是否可以將待測(cè)元件的狀態(tài)控制到如測(cè)試條件要求。

可觀察性：是否可以觀察（中間或最后的）測(cè)試結(jié)果。

可隔離性：待測(cè)元件是否可以隔離測(cè)試。

關(guān)注點(diǎn)分離：待測(cè)元件是否有單一且清楚定義的任務(wù)。

易懂性：待測(cè)元件是否有說(shuō)明文檔，或是本身可讀性很高。

可自動(dòng)化性：待測(cè)元件是否可以自動(dòng)測(cè)試。

異質(zhì)性：是否需要不同的測(cè)試方法及工具平行測(cè)試。

軟件元件的可測(cè)試性可以用以下方式提升：

測(cè)試驅(qū)動(dòng)開(kāi)發(fā)

可測(cè)性設(shè)計(jì)（design for testability），類(lèi)似硬件的為測(cè)試而設(shè)計(jì)。1

需求的可測(cè)試性具有測(cè)試性的軟件需求需求要符合以下的條件：

一致性

完整性

明確不含糊

可量化（像“反應(yīng)時(shí)間快”的需求是無(wú)法被驗(yàn)證的）

實(shí)務(wù)上的軟件驗(yàn)證及確認(rèn)（不只是理論上可行，在有限資源下也是可實(shí)現(xiàn)的）1

可測(cè)試性可測(cè)試性是有關(guān)實(shí)驗(yàn)假說(shuō)的一種性質(zhì)，包括二個(gè)方面：

在邏輯上的性質(zhì)，包括偶然性、可廢止性或是可證偽性，也就是說(shuō)邏輯上此假說(shuō)是有可能出現(xiàn)反例。

在實(shí)務(wù)上的性質(zhì)，意思是指若存在反例，反例有再現(xiàn)性

簡(jiǎn)單來(lái)說(shuō)，若假說(shuō)有可測(cè)試性，表示實(shí)際上有可能可以根據(jù)結(jié)果判斷假說(shuō)的正確與否。2

本詞條內(nèi)容貢獻(xiàn)者為:

王慧維 - 副研究員 - 西南大學(xué)