隨著現(xiàn)代軍事系統(tǒng)越來越依賴軟件，正在采用新技術(shù)來降低成本并增加任務(wù)成功的機(jī)會(huì)。因此，靜態(tài)分析基于其在運(yùn)行時(shí)之前的深度分析功能，在軟件開發(fā)社區(qū)中越來越受歡迎。

這些靜態(tài)分析工具（增強(qiáng)但不能取代傳統(tǒng)的測(cè)試和調(diào)試方法）可在集成發(fā)生之前很久就發(fā)現(xiàn)集成錯(cuò)誤，從而消除了代價(jià)高昂的后期集成問題。

隨著軍事裝備和車輛的日益現(xiàn)代化，它們?cè)诩夹g(shù)上也不可避免地變得更加復(fù)雜。在許多情況下，這些機(jī)器代表了硬件和軟件的微妙融合，兩者必須完美地交互。由于這些機(jī)器的軟件組件必須在現(xiàn)場(chǎng)盡可能可靠地工作，因此使用多種技術(shù)組合執(zhí)行廣泛的調(diào)試和測(cè)試非常重要，以便在缺陷導(dǎo)致長時(shí)間延遲或超限之前消除缺陷。這通常是不切實(shí)際的，因?yàn)樵诖a實(shí)際實(shí)現(xiàn)到最終運(yùn)行代碼的設(shè)備之前，通常沒有辦法可靠地測(cè)試代碼。由于軟件很少在第一次執(zhí)行時(shí)完美運(yùn)行，因此使用傳統(tǒng)的開發(fā)方法和工具返回并修復(fù)錯(cuò)誤會(huì)阻礙生產(chǎn)力，并將寶貴的資源和人員從需要完成的其他項(xiàng)目中轉(zhuǎn)移出來。

例如，波音787夢(mèng)想客機(jī)由于硬件和軟件缺陷而延誤了兩年。這些問題往往是相互交織的。就夢(mèng)想客機(jī)而言，一個(gè)特殊的延遲是由于控制制動(dòng)系統(tǒng)的軟件存在缺陷。重要的是要注意，傳統(tǒng)的測(cè)試并沒有在它真正成為一個(gè)問題之前發(fā)現(xiàn)這個(gè)缺陷，并在開發(fā)過程中造成代價(jià)高昂的挫折和其他并發(fā)癥。靜態(tài)分析等現(xiàn)代技術(shù)可以增加內(nèi)存損壞和釋放后用戶等問題被更快地發(fā)現(xiàn)的可能性，并有助于實(shí)現(xiàn)DO-178B的設(shè)計(jì)保證級(jí)別（DAL）。與傳統(tǒng)的V模型相比，靜態(tài)分析是一種更高效、更具成本效益的途徑，與傳統(tǒng)的測(cè)試和調(diào)試方法協(xié)同工作，以緩解集成問題和費(fèi)用。

靜態(tài)分析和開發(fā)過程

軟件開發(fā)往往遵循特定的生命周期。一個(gè)例子是航空航天工程中常用的V模型。V 模型代表了一種整體開發(fā)方法，它試圖在一段時(shí)間內(nèi)協(xié)調(diào)項(xiàng)目定義和測(cè)試過程。該模型從建立項(xiàng)目的范圍開始，包括其操作概念、要求和體系結(jié)構(gòu)，以及其設(shè)計(jì)的具體細(xì)節(jié)。

這個(gè)過程在更高層次上開始非常抽象，并在設(shè)計(jì)過程中逐漸完善和詳細(xì)。隨著設(shè)計(jì)的實(shí)現(xiàn)，在開發(fā)周期的后期修復(fù)問題的成本會(huì)更高。一旦項(xiàng)目基本完成并正在測(cè)試中，回去對(duì)其基本方面的維修就變得非常昂貴。

最終，許多軟件問題是由低效的開發(fā)模型和不精確的調(diào)試過程引起的，然后惡化。通過使用靜態(tài)分析等現(xiàn)代技術(shù)盡早消除軟件缺陷，可以提高開發(fā)效率和成本效益。

具體來說，靜態(tài)分析是一種在不運(yùn)行軟件的情況下查找軟件缺陷的技術(shù)。它的工作原理是檢查產(chǎn)品源代碼，從單個(gè)功能開始，一直到模塊，最后是整個(gè)程序。靜態(tài)分析可以發(fā)現(xiàn)許多不同類型的缺陷，包括C / C++程序中的內(nèi)存錯(cuò)誤。例如，靜態(tài)分析可以檢測(cè)以下簡(jiǎn)單代碼片段中的錯(cuò)誤：

int a[10];

for(int i = 0; i < 10; i++); {

a[i] = 0;

}

有時(shí)人類很難看到軟件代碼中的問題，因?yàn)樗麄兛吹降氖撬麄兿胍吹降臇|西，而不是實(shí)際存在的東西。當(dāng)編譯器將此代碼轉(zhuǎn)換為可執(zhí)行程序時(shí)，編譯器以機(jī)械和精確的方式讀取源代碼，忽略縮進(jìn)和間距等人為提示。編譯器將按以下方式讀取示例：

int a[10];

for(int i = 0; i < 10; i++)

;

{

a[i] = 0;

}

如圖所示重新格式化代碼后，導(dǎo)致程序具有完全不同的含義的額外“;”字符突然變得更加明顯。如果此錯(cuò)誤在最終程序中仍未糾正，則當(dāng) i = 10 時(shí)，數(shù)組訪問 a［i］ 將僅執(zhí)行一次。結(jié)果是分配給數(shù)組末尾的內(nèi)存位置，這可能會(huì)導(dǎo)致程序崩潰。

靜態(tài)分析像編譯器一樣機(jī)械而精確地檢查代碼。但是，靜態(tài)分析器不會(huì)盲目地將代碼轉(zhuǎn)換為可執(zhí)行程序，而是查找代碼功能與開發(fā)人員最初預(yù)期的工作方式不同的路徑。靜態(tài)分析可以通過模式匹配等簡(jiǎn)單技術(shù)或過程間數(shù)據(jù)流分析和布爾滿足性等高級(jí)技術(shù)來完成。無論使用何種技術(shù)，靜態(tài)分析都是定制的，用于查找人類開發(fā)人員可能忽略或出錯(cuò)的情況。這為全面的逐行代碼審計(jì)提供了一種更有效的替代方案，這對(duì)于大型軟件系統(tǒng)來說并不具有成本效益。

將靜態(tài)分析和傳統(tǒng)調(diào)試相結(jié)合

與功能測(cè)試等傳統(tǒng)方法相比，靜態(tài)分析呈現(xiàn)出一組不同的權(quán)衡。傳統(tǒng)測(cè)試只能檢測(cè)實(shí)際測(cè)試的代碼中的錯(cuò)誤，而靜態(tài)分析可以在沒有任何測(cè)試的情況下發(fā)現(xiàn)所有代碼中的缺陷。有時(shí)，通過測(cè)試發(fā)現(xiàn)的錯(cuò)誤很難重現(xiàn)并查明源代碼中的特定問題。靜態(tài)分析可以以可重復(fù)、可預(yù)測(cè)的方式發(fā)現(xiàn)問題，并且始終指向代碼中的特定位置。另一方面，傳統(tǒng)測(cè)試可以發(fā)現(xiàn)靜態(tài)分析無法發(fā)現(xiàn)的功能錯(cuò)誤，因?yàn)殪o態(tài)分析不會(huì)嘗試將程序的行為與預(yù)期結(jié)果進(jìn)行比較。靜態(tài)分析在分析深層程序?qū)傩詴r(shí)也會(huì)失去精度，因此可能會(huì)遺漏一些缺陷。因此，靜態(tài)分析旨在增強(qiáng)傳統(tǒng)方法的有效性，而不是直接取代它們。

由于靜態(tài)分析適用于現(xiàn)有的工具集和編譯器，因此無需更改當(dāng)前的開發(fā)實(shí)踐。靜態(tài)分析可以在編寫第一行代碼后立即開始的項(xiàng)目期間頻繁應(yīng)用（即使在夜間構(gòu)建上）。從本質(zhì)上講，如果項(xiàng)目的代碼庫可以成功編譯，則可以使用靜態(tài)分析來調(diào)試它，并在項(xiàng)目交付給質(zhì)量保證人員進(jìn)行最終測(cè)試之前很久就消除問題。

靜態(tài)分析的集成優(yōu)勢(shì)

靜態(tài)分析在面向團(tuán)隊(duì)的環(huán)境中也運(yùn)行良好。開發(fā)人員可以使用靜態(tài)分析來檢查彼此的貢獻(xiàn)是否一致，并檢查由不同團(tuán)隊(duì)成員編寫的代碼引起的沖突。這可以適用于單個(gè)項(xiàng)目，甚至可以擴(kuò)展到需要多個(gè)項(xiàng)目之間集成以創(chuàng)建復(fù)雜系統(tǒng)的更大場(chǎng)景。

靜態(tài)分析不僅可以找到簡(jiǎn)單的代碼缺陷;如前所述，它能夠在不同組件集成在一起之前分析它們之間的相互作用。在軟件開發(fā)的V模型中，測(cè)試和驗(yàn)證從單個(gè)組件開始。當(dāng)這些組件滿足其低級(jí)規(guī)格時(shí)，它們將集成在一起，以便根據(jù)系統(tǒng)要求進(jìn)行更高級(jí)別的測(cè)試。如果嚴(yán)格按照此理想執(zhí)行軟件集成，則集成階段會(huì)帶來很高的風(fēng)險(xiǎn)，因?yàn)楦鱾€(gè)組件將是第一次交互。這些交互可能會(huì)暴露原始項(xiàng)目規(guī)范的問題，特別是關(guān)于如何將系統(tǒng)需求和體系結(jié)構(gòu)轉(zhuǎn)換為詳細(xì)的設(shè)計(jì)要求和源代碼。靜態(tài)分析工具可以在編寫軟件組件后立即分析它們之間的交互，在實(shí)現(xiàn)階段捕獲其中一些昂貴的集成問題。這些工具通過跨過程邊界分析代碼來查找應(yīng)用程序編程接口 （API） 使用中的問題，即使過程位于不同的軟件組件中，也可以實(shí)現(xiàn)此目的。

通過靜態(tài)分析最大限度地提高效率

軟件正被用于以曾經(jīng)不可能的方式改進(jìn)智能炸彈和無人駕駛無人機(jī)等軍事系統(tǒng)。靜態(tài)分析工具，例如Coverity提供的分析工具，也是這一趨勢(shì)的一部分。靜態(tài)分析工具與傳統(tǒng)的測(cè)試和調(diào)試方法結(jié)合使用時(shí)，可在運(yùn)行時(shí)之前有效地分析軟件并檢測(cè)代碼錯(cuò)誤，從而最大限度地降低風(fēng)險(xiǎn)和成本，同時(shí)最大限度地提高軟件開發(fā)投資的價(jià)值。

審核編輯：郭婷