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

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

回顧影響未來

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

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

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

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

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

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

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

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

測試工具和軟件重用 – 完美匹配

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

審核編輯：郭婷