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

在軍事軟件技術(shù)開發(fā)方面，軟件開發(fā)范式與汽車技術(shù)非常不同。在軍事技術(shù)中，重復(fù)的應(yīng)用程序和系統(tǒng)是例外，而不是規(guī)則。然而，如果有一種方法可以調(diào)整軟件測試過程，以最大限度地提高軍事應(yīng)用中的代碼重用率，則可以簡化認證過程，并且可以有效地重用軟件，從而使開發(fā)更快，更經(jīng)濟。更好的是，它有可能通過使用已經(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)源代碼進行結(jié)構(gòu)覆蓋分析，則通過代碼的所有相關(guān)路徑都將被證明以穩(wěn)健的方式運行。使用適當(dāng)?shù)倪吔缜闆r來顯示極端情況下的魯棒性，將顯示從 64 位浮點數(shù)到 16 位有符號整數(shù)值的不受保護的數(shù)據(jù)轉(zhuǎn)換。當(dāng)時，從開發(fā)人員的角度來看，這可能顯得迂腐且無關(guān)緊要 - 這永遠不會導(dǎo)致Ariane 4出現(xiàn)問題。但它與阿麗亞娜 5 有關(guā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)分析工具不僅可以確認源代碼符合撰寫本文時有效的編碼標(biāo)準(zhǔn)，還可以在重用時從修訂標(biāo)準(zhǔn)的角度分析代碼。動態(tài)測試證明了在撰寫本文時在極端情況下重用代碼的能力，并促進了自動回歸測試，以表明最新項目的任何增強都沒有損害先前證明的功能能力和健壯性。

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

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

審核編輯：郭婷