電子對(duì)抗裝備的靜態(tài)分析方法

李安然 張名明

摘要

對(duì)軟件進(jìn)行靜態(tài)分析就是對(duì)編寫軟件的語(yǔ)法和編寫的文本進(jìn)行分析，使得軟件符合工程項(xiàng)目的要求，使用C++Test可以讓編程人員以及測(cè)試人員對(duì)程序進(jìn)行靜態(tài)方面的分析，幫助測(cè)試人員根據(jù)自定義的檢測(cè)需求對(duì)特定的代碼進(jìn)行檢測(cè)。

【關(guān)鍵詞】自定義測(cè)試 靜態(tài)檢測(cè) 靜態(tài)分析

1 軟件的靜態(tài)測(cè)試分析

很多人對(duì)于程序的理解就是機(jī)器執(zhí)行的命令，但是機(jī)器執(zhí)行的命令代碼也是給人閱讀的，因此程序參數(shù)設(shè)置被人以為是文本并沒有錯(cuò)，但是隨著軟件的規(guī)模不斷增大軟件的復(fù)雜性也有所增加，軟件的存續(xù)期間需要經(jīng)常對(duì)程序設(shè)計(jì)的語(yǔ)言進(jìn)行訂正，對(duì)程序設(shè)計(jì)的語(yǔ)言反復(fù)進(jìn)行琢磨是軟件設(shè)計(jì)程序的關(guān)鍵組成部分之一，通常比設(shè)計(jì)程序所花費(fèi)的時(shí)間還要多。程序設(shè)計(jì)還和程序的風(fēng)格有關(guān)系，通常在編寫程序的時(shí)候，通常會(huì)出現(xiàn)有人經(jīng)常使用該程序的結(jié)果，需要在程序設(shè)計(jì)的時(shí)候花費(fèi)很多精力，在程序設(shè)計(jì)的時(shí)候需要講究程序的風(fēng)格，最大限度的建設(shè)閱讀程序的限制，從整體而言提升程序的效率效果。

2 進(jìn)行靜態(tài)分析的價(jià)值

對(duì)軟件進(jìn)行靜態(tài)分析離不開程序設(shè)計(jì)的編碼，在程序設(shè)計(jì)的過(guò)程中需要對(duì)程序的變換進(jìn)行編寫，根據(jù)語(yǔ)言編寫的不同屬性，設(shè)計(jì)出不同的效果，軟件設(shè)計(jì)的初始階段，編碼就是為了軟件編寫而設(shè)計(jì)的，在程序的編碼中所遇到的一些問(wèn)題，也會(huì)在程序設(shè)計(jì)的原因方面有所反應(yīng)，程序設(shè)計(jì)和軟件設(shè)計(jì)的可靠性都會(huì)對(duì)軟件的質(zhì)量產(chǎn)生影響，為了確保程序設(shè)計(jì)的質(zhì)量提升，程序員需要對(duì)程序有一個(gè)深刻的認(rèn)識(shí)，對(duì)程序有一個(gè)熟練的掌握，需要學(xué)會(huì)正確的運(yùn)用程序進(jìn)行語(yǔ)言特性的設(shè)計(jì)，在語(yǔ)法規(guī)則和程序語(yǔ)言的書寫方面，根據(jù)編譯系統(tǒng)的不同，可以選擇不僅僅是編寫正確的源代碼，而是不斷發(fā)現(xiàn)源代碼編排中出現(xiàn)的各種錯(cuò)誤。通常而言源程序在具有良好結(jié)構(gòu)性和具備獨(dú)特風(fēng)格的基礎(chǔ)上，代碼的編寫就可以用計(jì)算機(jī)進(jìn)行調(diào)試，代碼需要具備簡(jiǎn)明易懂的特點(diǎn)，這樣軟件項(xiàng)目就會(huì)有必不可少的質(zhì)量屬性。如果源程序的編寫符合質(zhì)量要求，編寫的程序便于用戶閱讀，在測(cè)試的時(shí)候就容易發(fā)現(xiàn)程序的故障，能夠避免隱患的發(fā)生，程序就可以穩(wěn)定的運(yùn)行，減少運(yùn)行期間出現(xiàn)問(wèn)題的可能性，軟件的可靠性就會(huì)進(jìn)一步增強(qiáng)。

3 電子對(duì)抗裝備的軟件設(shè)計(jì)靜態(tài)分析

軟件工程有不同的質(zhì)量需求，電子對(duì)抗裝備的設(shè)計(jì)如果想要通過(guò)測(cè)試，就必須對(duì)應(yīng)用程序有一個(gè)分析，在進(jìn)行動(dòng)態(tài)測(cè)試之前，需要對(duì)程序設(shè)計(jì)的全過(guò)程進(jìn)行質(zhì)量分析，電子對(duì)抗設(shè)備的軟件設(shè)計(jì)往往具有特殊目的，為了保證設(shè)備運(yùn)轉(zhuǎn)具有高效率，就需要嚴(yán)格制定各種質(zhì)量標(biāo)準(zhǔn)，對(duì)這些標(biāo)準(zhǔn)需要保證執(zhí)行的特別嚴(yán)格，對(duì)程序進(jìn)行編程檢查就是一項(xiàng)關(guān)鍵工作，需要對(duì)程序進(jìn)行動(dòng)態(tài)分析，保證程序的編碼符合規(guī)則，同時(shí)在進(jìn)行靜態(tài)分析的同時(shí)需要根據(jù)開發(fā)人員編程規(guī)范的不同，針對(duì)即使不是同一個(gè)開發(fā)規(guī)范，也需要在文本和語(yǔ)法的設(shè)計(jì)上能夠采用統(tǒng)一規(guī)范，使得編程人員可以進(jìn)行后續(xù)開發(fā)，也方便后續(xù)參與的編程人員對(duì)項(xiàng)目的軟件進(jìn)行改造，方便對(duì)設(shè)備進(jìn)行測(cè)試。

電子對(duì)抗裝備的軟件靜態(tài)分析所采用的的工具就是C++Test，可以運(yùn)用該軟件對(duì)程序的靜態(tài)分析進(jìn)行識(shí)別，同時(shí)該工具還具有自定義的編輯能力，可以根據(jù)不同的特點(diǎn)選擇滿足特定用途的靜態(tài)分析方法，項(xiàng)目的靜態(tài)分析因而可以滿足編程規(guī)則的要求，顯得應(yīng)用起來(lái)更加靈活。

4 根據(jù)電子對(duì)抗設(shè)備的要求建立起測(cè)試規(guī)則

根據(jù)電子對(duì)抗設(shè)備的發(fā)展歷史，需要制定特定的規(guī)范，對(duì)編程和代碼的編寫進(jìn)行測(cè)試，首先需要制定一個(gè)統(tǒng)一的規(guī)范，在制定了目標(biāo)和執(zhí)行文件之后，需要隨著項(xiàng)目的展開，根據(jù)大量的代碼進(jìn)行編寫，之后選用人工的方法進(jìn)行進(jìn)度檢測(cè)，如果采用人工的方法跟不上檢測(cè)的進(jìn)度，則工程質(zhì)量會(huì)受到負(fù)面影響，在采用了測(cè)試工具進(jìn)行編輯之后，代碼的編寫就會(huì)顯示到測(cè)試工具之上，根據(jù)測(cè)試工具選擇程序進(jìn)行靜態(tài)分析的不同，可以降低工作人員的工作量，測(cè)試的效果也會(huì)再次提升。電子對(duì)抗設(shè)備的編碼通常包含了一定的效率和效果，可以釋放程序控制符號(hào)，對(duì)函數(shù)的特征進(jìn)行控制，對(duì)模型的命名進(jìn)行控制等。

在C++測(cè)試的時(shí)候可以使用靜態(tài)分析工具，也可以對(duì)工程項(xiàng)目的特定工具自行進(jìn)行測(cè)試和開發(fā)，根據(jù)修改規(guī)則的不同，C++測(cè)試可以根據(jù)編程的語(yǔ)法進(jìn)行不同的設(shè)計(jì)和檢測(cè)。所覆蓋的靜態(tài)分析的方法也會(huì)有所差異。規(guī)則編輯器對(duì)應(yīng)的有一百多條規(guī)則，自定義庫(kù)也會(huì)根據(jù)規(guī)則的不同進(jìn)行識(shí)別，自定義規(guī)則通常不會(huì)一次性的完成，對(duì)這些規(guī)則都會(huì)有一定的完成步驟，在進(jìn)行靜態(tài)分析的時(shí)候，也需要根據(jù)測(cè)試工作的經(jīng)驗(yàn)，對(duì)規(guī)則的補(bǔ)充和完善進(jìn)行調(diào)整，電子設(shè)備的靜態(tài)分析最終目的就是為了對(duì)程序進(jìn)行調(diào)試。對(duì)于特定的測(cè)試規(guī)則，會(huì)對(duì)應(yīng)有不同的測(cè)試工具和對(duì)應(yīng)不同的編程工具，其之間的兼容性也是存在差異的，很多測(cè)試并不能完全兼容如果將測(cè)試結(jié)果放置于特定的軟件當(dāng)中，也無(wú)法達(dá)到相同的編寫效果，利用C++進(jìn)行文件的檢查和規(guī)則的制定需要利用到編輯器，例如采用C++進(jìn)行編寫，動(dòng)態(tài)分析和靜態(tài)分析所發(fā)現(xiàn)的語(yǔ)法錯(cuò)誤也會(huì)有差異。

5 總結(jié)

對(duì)于電子對(duì)抗設(shè)備的軟件測(cè)試方法，除了需要在軟件編程的過(guò)程中視同編碼器對(duì)書寫格式進(jìn)行規(guī)范，還需要針對(duì)不同的項(xiàng)目和編碼標(biāo)準(zhǔn)對(duì)項(xiàng)目的執(zhí)行問(wèn)題進(jìn)行測(cè)試，建立起一整套的數(shù)據(jù)體系。使用C++工具可以對(duì)自定義的軟件程序進(jìn)行動(dòng)態(tài)的檢測(cè)，對(duì)軟件的設(shè)計(jì)風(fēng)格進(jìn)行評(píng)價(jià)，代碼的編寫者可以根據(jù)程序設(shè)計(jì)的經(jīng)驗(yàn)，養(yǎng)成良好的設(shè)計(jì)風(fēng)格，編寫出來(lái)的程序因此會(huì)變得清晰易懂，測(cè)試和維護(hù)也會(huì)顯得簡(jiǎn)單。在程序的編碼階段可以根據(jù)軟件的質(zhì)量和效率，對(duì)程序進(jìn)行動(dòng)態(tài)分析，根據(jù)測(cè)試時(shí)語(yǔ)言覆蓋面的不同，對(duì)程序執(zhí)行的操作情況進(jìn)行檢查，測(cè)試人員則需要提升軟件測(cè)試的效果。

參考文獻(xiàn)

[1]呂峰，馬開陽(yáng)，葉東海.電子對(duì)杭系統(tǒng)網(wǎng)絡(luò)入侵檢測(cè)技術(shù)優(yōu)化研究[J].計(jì)算機(jī)測(cè)量與控制，2017，25（06）：219-222.

[2]邢起峰.電子對(duì)抗環(huán)境測(cè)試場(chǎng)技術(shù)[A].2016航空試驗(yàn)測(cè)試技術(shù)學(xué)術(shù)交流會(huì)論文集[C]，2016：3.

[3]劉任宸，趙慶廣.電子對(duì)杭有效載荷地面測(cè)試與評(píng)估技術(shù)[J].航天電子對(duì)抗，2011，27（05）：38-40.

[4]李華，曾艷麗.電子對(duì)抗系統(tǒng)效能仿真支撐環(huán)境研究[J].系統(tǒng)仿真學(xué)報(bào)，2007（09）：1954-1958.

[5]李強(qiáng)，許少華，范哲，晁冰.電子對(duì)抗裝備軟件的測(cè)試策略與方法[J].裝甲兵工程學(xué)院學(xué)報(bào)，2004（02）：52-56.