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

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

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