測(cè)試工具的使用在無(wú)數(shù)應(yīng)用程序中非常廣泛，但在客戶環(huán)境中用于質(zhì)量保證時(shí)具有特別的價(jià)值。

在軍事軟件技術(shù)開發(fā)方面，軟件開發(fā)范式與汽車技術(shù)非常不同。在軍事技術(shù)中，重復(fù)的應(yīng)用程序和系統(tǒng)是例外，而不是規(guī)則。然而，如果有一種方法可以調(diào)整軟件測(cè)試過(guò)程，以最大限度地提高軍事應(yīng)用中的代碼重用率，則可以簡(jiǎn)化認(rèn)證過(guò)程，并且可以有效地重用軟件，從而使開發(fā)更快，更經(jīng)濟(jì)。更好的是，它有可能通過(guò)使用已經(jīng)適用于先前應(yīng)用的軟件模塊來(lái)增加信心，而不是基于家庭轎車生產(chǎn)運(yùn)行的絕對(duì)數(shù)量。

回顧影響未來(lái)

雖然上述辦法有其優(yōu)點(diǎn)，但問(wèn)題依然存在。例如，它假設(shè)當(dāng)我們開始重用源代碼時(shí)，代碼是合理的，因?yàn)閼?yīng)用程序已經(jīng)在現(xiàn)場(chǎng)得到了證明。但是，如果某些新功能建立在代碼的路徑上，而實(shí)際上很少或從未執(zhí)行過(guò)，該怎么辦？即使是經(jīng)過(guò)充分驗(yàn)證的代碼現(xiàn)在也可能處理非常不同的數(shù)據(jù)。它將如何表現(xiàn)？

深入了解現(xiàn)代軟件測(cè)試工具的工具箱可以幫助回答這些問(wèn)題，并確保代碼是健壯的，盡管有無(wú)窮無(wú)盡的不同應(yīng)用程序的不同需求。

任何讀過(guò)1996年6月4日阿麗亞娜5號(hào)失敗的人都知道任何錯(cuò)誤假設(shè)所固有的危險(xiǎn)。阿麗亞娜5號(hào)失敗是因?yàn)閼T性參考系統(tǒng)中出現(xiàn)的軟件異常 - 盡管設(shè)計(jì)與阿麗亞娜4上成功使用的設(shè)計(jì)幾乎完全相同，特別是在軟件的情況下［1］。

如果對(duì)阿麗亞娜4號(hào)慣性參考系統(tǒng)源代碼進(jìn)行結(jié)構(gòu)覆蓋分析，則通過(guò)代碼的所有相關(guān)路徑都將被證明以穩(wěn)健的方式運(yùn)行。使用適當(dāng)?shù)倪吔缜闆r來(lái)顯示極端情況下的魯棒性，將顯示從 64 位浮點(diǎn)數(shù)到 16 位有符號(hào)整數(shù)值的不受保護(hù)的數(shù)據(jù)轉(zhuǎn)換。當(dāng)時(shí)，從開發(fā)人員的角度來(lái)看，這可能顯得迂腐且無(wú)關(guān)緊要 - 這永遠(yuǎn)不會(huì)導(dǎo)致Ariane 4出現(xiàn)問(wèn)題。但它與阿麗亞娜 5 有關(guān)。

快進(jìn)到結(jié)構(gòu)覆蓋率分析

經(jīng)過(guò) 16 年的發(fā)展，這些結(jié)構(gòu)覆蓋分析原則不僅在動(dòng)態(tài)分析中被最好的測(cè)試工具套件所采用，而且在整個(gè)軟件開發(fā)范圍內(nèi)也實(shí)現(xiàn)了自動(dòng)化。例如，需求可追溯性工具提供了一個(gè)可追溯性矩陣，該矩陣在應(yīng)用程序的整個(gè)開發(fā)生命周期中始終保持最新且相關(guān)。

在從現(xiàn)有應(yīng)用程序開發(fā)新的自定義應(yīng)用程序時(shí)，工具可以在源代碼可能受到修訂要求的影響時(shí)提醒開發(fā)人員。在阿麗亞娜5號(hào)的情況下，這種能力可能突出了重新測(cè)試慣性參考系統(tǒng)的必要性。它甚至可能在設(shè)計(jì)階段具有相關(guān)性，當(dāng)時(shí)它可以比較不同方法所隱含的間接費(fèi)用，以滿足每個(gè)修訂的要求。

靜態(tài)分析工具不僅可以確認(rèn)源代碼符合撰寫本文時(shí)有效的編碼標(biāo)準(zhǔn)，還可以在重用時(shí)從修訂標(biāo)準(zhǔn)的角度分析代碼。動(dòng)態(tài)測(cè)試證明了在撰寫本文時(shí)在極端情況下重用代碼的能力，并促進(jìn)了自動(dòng)回歸測(cè)試，以表明最新項(xiàng)目的任何增強(qiáng)都沒有損害先前證明的功能能力和健壯性。

測(cè)試工具和軟件重用 – 完美匹配

測(cè)試工具的用途遠(yuǎn)不止于定制開發(fā)，但正如這些示例所示，客戶環(huán)境可以說(shuō)是它們帶來(lái)最大質(zhì)量保證優(yōu)勢(shì)的環(huán)境。

審核編輯：郭婷