日前,北京市科學技術(shù)獎評選工作結(jié)束,七〇六所航天中認軟件測評科技(北京)有限責任公司與北京大學聯(lián)合申報的"大規(guī)�？缯Z言代碼安全檢測技術(shù)及應(yīng)用"項目,作為國內(nèi)首個自主掌握代碼安全檢測領(lǐng)域創(chuàng)新成果,榮獲2020年度北京市科學技術(shù)進步二等獎。航天中認技術(shù)攻關(guān)團隊在軟件代碼安全檢測技術(shù)基礎(chǔ)上,主要承擔了面向航空航天等多個領(lǐng)域的定制開發(fā),并在軍用裝備、軌道交通、電力能源等領(lǐng)域開展關(guān)鍵系統(tǒng)測評服務(wù)。

此次榮獲北京市科學技術(shù)進步二等獎,依托了航天中認多年在航天領(lǐng)域測試實踐中的技術(shù)能力和創(chuàng)新能力。本次項目開展過程中項目攻關(guān)團隊從大規(guī)模程序分析關(guān)鍵技術(shù)攻關(guān)、重大工程任務(wù)試點、代碼安全質(zhì)量保障等方面均獲得顯著成果。

瞄準"卡脖子"關(guān)鍵技術(shù)

建立自主掌握的軟件質(zhì)量及安全保障體系

軟件代碼安全檢測技術(shù)是保障軟件安全的重要手段,傳統(tǒng)的代碼分析技術(shù),在進行大規(guī)模代碼檢測時會發(fā)生狀態(tài)爆炸,在計算資源和計算效率的約束下,分析精度受到嚴重制約,導(dǎo)致軟件風險難以有效控制。軟件安全檢測技術(shù)已經(jīng)成為影響我國軟件質(zhì)量和安全的關(guān)鍵技術(shù)。針對大規(guī)模程序分析狀態(tài)爆炸的根本性計算難題,項目攻關(guān)團隊提出了基于程序復(fù)雜度的自適應(yīng)分析方法,實現(xiàn)了檢測精度和效率的有機平衡,檢測效率達到150萬行代碼每小時,誤漏報率控制在30%以下。形成了具有自主知識產(chǎn)權(quán)、獨具特色的技術(shù)體系,技術(shù)成果在檢測效率和精度等方面達到國際先進水平。

為多項國家重大工程保駕護航

通過多年的技術(shù)深耕,航天中認已將該項技術(shù)成果成功應(yīng)用于多項重大工程任務(wù)中,在航空航天、軍工、金融、電信等領(lǐng)域得到廣泛應(yīng)用,發(fā)現(xiàn)了超過39萬個缺陷漏洞,缺陷密度為平均6.98個/千行,預(yù)計節(jié)約總成本為19.6億元。航天中認團隊聚焦軟件代碼安全檢測技術(shù)在航空航天領(lǐng)域的漏洞挖掘,持續(xù)開展深入研究,解決了航天軟件靜態(tài)代碼分析技術(shù)固有的高誤報缺陷的問題,設(shè)計了基于動靜結(jié)合的缺陷自動驗證機制,構(gòu)建了基于跨模態(tài)多粒度代碼語義表示的缺陷自動分類模型。該成果已獲得5項授權(quán)發(fā)明專利、18項軟件著作權(quán),發(fā)表論文40余篇。

解決代碼安全質(zhì)量保障關(guān)鍵問題

本次項目研發(fā)成果增強了國內(nèi)軟件安全服務(wù)的硬實力,已成為軟件產(chǎn)業(yè)鏈的重要組成部分,服務(wù)于軟件開發(fā)、系統(tǒng)驗證和漏洞發(fā)現(xiàn)利用。經(jīng)比較分析,整體檢測能力達到了國際先進水平,具有顯著的經(jīng)濟、社會效益和推廣價值,航天中認已利用大規(guī)�？缯Z言代碼安全檢測技術(shù),為航空航天、 船舶、兵器、電子、核能、電信、電力、軌道交通、互聯(lián)網(wǎng)、金融、政府等多個安全關(guān)鍵領(lǐng)域提供質(zhì)量保障。

本項目解決的軟件代碼安全檢測關(guān)鍵技術(shù),為構(gòu)建我國自主掌握的安全檢測生態(tài)系統(tǒng),提供了有力保障。今后航天中認將持續(xù)加強在多領(lǐng)域的專業(yè)測評技術(shù)研究、以及相應(yīng)的技術(shù)和手段創(chuàng)新工作,為構(gòu)建自主、安全、可控的測評驗證環(huán)境不斷努力。

(新媒體責編：syhz0808)