日前，北京市科學(xué)技術(shù)獎評選工作結(jié)束，七〇六所航天中認(rèn)軟件測評科技（北京）有限責(zé)任公司與北京大學(xué)聯(lián)合申報的“大規(guī)?？缯Z言代碼安全檢測技術(shù)及應(yīng)用”項目，作為國內(nèi)首個自主掌握代碼安全檢測領(lǐng)域創(chuàng)新成果，榮獲2020年度北京市科學(xué)技術(shù)進(jìn)步二等獎。航天中認(rèn)技術(shù)攻關(guān)團(tuán)隊在軟件代碼安全檢測技術(shù)基礎(chǔ)上，主要承擔(dān)了面向航空航天等多個領(lǐng)域的定制開發(fā)，并在軍用裝備、軌道交通、電力能源等領(lǐng)域開展關(guān)鍵系統(tǒng)測評服務(wù)。
此次榮獲北京市科學(xué)技術(shù)進(jìn)步二等獎，依托了航天中認(rèn)多年在航天領(lǐng)域測試實踐中的技術(shù)能力和創(chuàng)新能力。本次項目開展過程中項目攻關(guān)團(tuán)隊從大規(guī)模程序分析關(guān)鍵技術(shù)攻關(guān)、重大工程任務(wù)試點、代碼安全質(zhì)量保障等方面均獲得顯著成果。
瞄準(zhǔn)“卡脖子”關(guān)鍵技術(shù)
建立自主掌握的軟件質(zhì)量及安全保障體系
軟件代碼安全檢測技術(shù)是保障軟件安全的重要手段，傳統(tǒng)的代碼分析技術(shù)，在進(jìn)行大規(guī)模代碼檢測時會發(fā)生狀態(tài)爆炸，在計算資源和計算效率的約束下，分析精度受到嚴(yán)重制約，導(dǎo)致軟件風(fēng)險難以有效控制。軟件安全檢測技術(shù)已經(jīng)成為影響我國軟件質(zhì)量和安全的關(guān)鍵技術(shù)。針對大規(guī)模程序分析狀態(tài)爆炸的根本性計算難題，項目攻關(guān)團(tuán)隊提出了基于程序復(fù)雜度的自適應(yīng)分析方法，實現(xiàn)了檢測精度和效率的有機平衡，檢測效率達(dá)到150萬行代碼每小時，誤漏報率控制在30%以下。形成了具有自主知識產(chǎn)權(quán)、獨具特色的技術(shù)體系，技術(shù)成果在檢測效率和精度等方面達(dá)到國際先進(jìn)水平。
為多項國家重大工程保駕護(hù)航
通過多年的技術(shù)深耕，航天中認(rèn)已將該項技術(shù)成果成功應(yīng)用于多項重大工程任務(wù)中，在航空航天、軍工、金融、電信等領(lǐng)域得到廣泛應(yīng)用，發(fā)現(xiàn)了超過39萬個缺陷漏洞，缺陷密度為平均6.98個/千行，預(yù)計節(jié)約總成本為19.6億元。航天中認(rèn)團(tuán)隊聚焦軟件代碼安全檢測技術(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)比較分析，整體檢測能力達(dá)到了國際先進(jìn)水平，具有顯著的經(jīng)濟、社會效益和推廣價值，航天中認(rèn)已利用大規(guī)模跨語言代碼安全檢測技術(shù)，為航空航天、 船舶、兵器、電子、核能、電信、電力、軌道交通、互聯(lián)網(wǎng)、金融、政府等多個安全關(guān)鍵領(lǐng)域提供質(zhì)量保障。
本項目解決的軟件代碼安全檢測關(guān)鍵技術(shù)，為構(gòu)建我國自主掌握的安全檢測生態(tài)系統(tǒng)，提供了有力保障。今后航天中認(rèn)將持續(xù)加強在多領(lǐng)域的專業(yè)測評技術(shù)研究、以及相應(yīng)的技術(shù)和手段創(chuàng)新工作，為構(gòu)建自主、安全、可控的測評驗證環(huán)境不斷努力。
