飛控系統(tǒng)機載代碼靜態(tài)安全檢測系統(tǒng)的研究與開發(fā).pdf

1、飛控系統(tǒng)機載軟件是飛機的控制核心，若其設(shè)計中存在缺陷，則可能造成極大的安全隱患。為了避免這些問題，開發(fā)機載軟件的研究所或企業(yè)采用國家軍用軟件C語言使用標(biāo)準(zhǔn)(國軍標(biāo))來規(guī)范代碼編寫風(fēng)格，以提高機載軟件的可靠性。然而，現(xiàn)階段由于沒有可直接根據(jù)國軍標(biāo)編碼規(guī)范檢測軟件代碼的分析工具，目前絕大多數(shù)單位采用人工審查方式檢測代碼，費時費力且效率不高。
　　本論文針對上述問題，提出了一套完整可行的靜態(tài)代碼分析方法，并利用該方法開發(fā)了一套靜態(tài)代碼檢

2、測系統(tǒng)。該系統(tǒng)的詞法規(guī)則、語法規(guī)則以及代碼檢測規(guī)則均可由用戶制定。利用該系統(tǒng)提供的配置工具，可編輯生成基于國軍標(biāo)編碼規(guī)范的規(guī)則庫，以檢測機載代碼。利用該靜態(tài)分析系統(tǒng)檢查機載代碼，能減輕人力資源消耗，縮短軟件檢測周期，提高了分析效率。
　　本論文在通用靜態(tài)分析方法的基礎(chǔ)上提出了可定制分析規(guī)則的代碼檢測技術(shù)，該技術(shù)以規(guī)則庫分析機制為核心。文中闡明了其設(shè)計思路和實現(xiàn)方法，并給出了一套基于國軍標(biāo)編碼規(guī)范的規(guī)則庫配置方案。同時，文中詳述了依