在軟件測試領(lǐng)域，MC/DC或許已經(jīng)是一個耳熟能詳?shù)脑~匯了，但是我們還是要不斷強(qiáng)調(diào)如何正確使用MC/DC以及它與安全相關(guān)的重要作用。

在測試中，想要對所有變量進(jìn)行100%的測試幾乎是不可能的。有限的時間和資本成本也決定了測試人員無法對軟件進(jìn)行徹底完盡的測試。但是，測試是為軟件質(zhì)量保駕護(hù)航的關(guān)鍵，不可或缺。所以對測試人員的挑戰(zhàn)就在于如何合理的分配測試資源以及最優(yōu)化地使用這些資源。選擇一個“完成標(biāo)準(zhǔn)”并據(jù)此對測試目標(biāo)進(jìn)行計劃和優(yōu)先排序，這可能是一個測試團(tuán)隊(duì)成功與否的關(guān)鍵所在。

測試計劃是基于測試目標(biāo)來制定的，可以有不同的顆粒度。首先，針對測試組織給出的一般定義開始制定計劃，對每個測試層級上的測試對象以及每次發(fā)布的內(nèi)容都給出詳細(xì)的信息。本質(zhì)上來講，對測試目標(biāo)的定義就隱含了衡量信息，從而決定了哪些內(nèi)容應(yīng)該測試，哪些內(nèi)容無需測試。產(chǎn)品的開發(fā)階段和邊界條件會最大程度地影響測試目標(biāo)的制定。

同時，測試也要符合安全標(biāo)準(zhǔn)。在軟件測試中，標(biāo)準(zhǔn)是非常重要的，尤其在安全相關(guān)的產(chǎn)品測試中。這些標(biāo)準(zhǔn)對安全相關(guān)產(chǎn)品的驗(yàn)證提出了很高的要求。IS026262-6中指出，需求覆蓋度和結(jié)構(gòu)覆蓋度都必須由恰當(dāng)?shù)母采w度量來測量。這也可以視作是對驗(yàn)證完整性的評估。對最高安全等級（ASIL-D）的軟件來說，單元級的MC/DC（修正條件/判定覆蓋）是強(qiáng)烈推薦的。

有些人可能會因此認(rèn)為MD/DC就是測試目標(biāo)。實(shí)則非也。測試目標(biāo)的定義是驗(yàn)證被測軟件的屬性。被測單元正確的功能性應(yīng)該是測試的首要目標(biāo)。MC/DC僅僅展示了是否所有的判定和條件都能通過測試，并不能用來驗(yàn)證系統(tǒng)是否正確無誤的運(yùn)行。因此，覆蓋度是不能作為測試目標(biāo)的。

一般來說，覆蓋度量只能作為測試完成的標(biāo)準(zhǔn)。測試完成的標(biāo)準(zhǔn)指被測系統(tǒng)在何時被認(rèn)為是充分測試的。測試目標(biāo)和測試完成標(biāo)準(zhǔn)都在測試概念中有明確的定義。建議測試人員們在每次版本迭代發(fā)布時更新測試概念，以明確具體實(shí)施中的變化及其可能帶來的影響。

如何提高M(jìn)C/DC測試效率？

首先，定義基于需求的測試用例。將需求表示為用例和使用需求，例如邊界值的考慮或者等價類的構(gòu)建。這會幫助測試人員驗(yàn)證被測軟件是否具備理想中的完整功能。這會幫工作人員開個好頭。通過測量代碼覆蓋度，測試人員可能會發(fā)現(xiàn)尚未測試的漏洞，并據(jù)此編寫相應(yīng)的測試用例。

覆蓋度的目標(biāo)值是100%。ISO26262要求對那些未達(dá)到100%的情況做出解釋。如果測試項(xiàng)目中包含一些測試不到的部分，例如用于調(diào)試的部分或者并行軟件的配置。我們建議直接在報告中闡述覆蓋度降低的原因，而不是在測試之前預(yù)先設(shè)置一個較低的覆蓋度目標(biāo)值。這樣能提高整體測試效率，因?yàn)闇y試人員無需在每次改變測試單元時通過復(fù)雜的計算重新檢查和調(diào)整那些需要減少的覆蓋度值。

如果通過上述方法測試卻沒有達(dá)到100%的覆蓋度，可能是由于以下幾個原因:

1. 需求缺失或不完整

2. 測試用例不夠

3. 測試用例識別了無效的、不可訪問的或禁用的代碼，或者非預(yù)期的功能

因?yàn)镮SO26262要求對每一個偏差值都做出合理解釋，對相關(guān)部分的代碼進(jìn)行可視化能夠幫助測試人員快速找出導(dǎo)致問題的原因。（見圖1）

測試往往取決于需求的質(zhì)量以及軟件的設(shè)計和所選的架構(gòu)。為了使測試工作盡可能高效，建議測試人員了解軟件架構(gòu)和軟件設(shè)計對測試過程的影響，以選擇合適的架構(gòu)和設(shè)計模式。

因此，測試過程中與軟件架構(gòu)和設(shè)計人員的溝通也很重要。軟件架構(gòu)師和設(shè)計師是縱觀整個軟件產(chǎn)品的生命周期，并有機(jī)會通過重組和分離對軟件發(fā)布產(chǎn)生重大影響的人。

TPT與MC/DC

北匯信息和Piketec希望幫助客戶輕松快速地滿足所需的指標(biāo)。為了實(shí)現(xiàn)這一目標(biāo)，我們將在TPT 18中增加了兩個MC/DC新功能：

1.測量C/C++和Simulink的MC/DC覆蓋率；

2.使用TPT自動生成測試用例:通過這種方式，用戶可以快速且輕松地將覆蓋率提高到100%。

我們對算法進(jìn)行了調(diào)整，用盡可能少的測試用例來做MC/DC測試。無需自己創(chuàng)建測試用例，只需要執(zhí)行和維護(hù)最小數(shù)量的測試用例即可，也不需要購買額外的測量工具來確定覆蓋率，將為客戶節(jié)省大量的時間和資金成本。