日前，北京市科學技術獎評選工作結束，七〇六所航天中認軟件測評科技（北京）有限責任公司與北京大學聯合申報的“大規?？缯Z言代碼安全檢測技術及應用”項目，作為國內首個自主掌握代碼安全檢測領域創新成果，榮獲2020年度北京市科學技術進步二等獎。航天中認技術攻關團隊在軟件代碼安全檢測技術基礎上，主要承擔了面向航空航天等多個領域的定制開發，并在軍用裝備、軌道交通、電力能源等領域開展關鍵系統測評服務。
此次榮獲北京市科學技術進步二等獎，依托了航天中認多年在航天領域測試實踐中的技術能力和創新能力。本次項目開展過程中項目攻關團隊從大規模程序分析關鍵技術攻關、重大工程任務試點、代碼安全質量保障等方面均獲得顯著成果。
瞄準“卡脖子”關鍵技術
建立自主掌握的軟件質量及安全保障體系
軟件代碼安全檢測技術是保障軟件安全的重要手段，傳統的代碼分析技術，在進行大規模代碼檢測時會發生狀態爆炸，在計算資源和計算效率的約束下，分析精度受到嚴重制約，導致軟件風險難以有效控制。軟件安全檢測技術已經成為影響我國軟件質量和安全的關鍵技術。針對大規模程序分析狀態爆炸的根本性計算難題，項目攻關團隊提出了基于程序復雜度的自適應分析方法，實現了檢測精度和效率的有機平衡，檢測效率達到150萬行代碼每小時，誤漏報率控制在30%以下。形成了具有自主知識產權、獨具特色的技術體系，技術成果在檢測效率和精度等方面達到國際先進水平。
為多項國家重大工程保駕護航
通過多年的技術深耕，航天中認已將該項技術成果成功應用于多項重大工程任務中，在航空航天、軍工、金融、電信等領域得到廣泛應用，發現了超過39萬個缺陷漏洞，缺陷密度為平均6.98個/千行，預計節約總成本為19.6億元。航天中認團隊聚焦軟件代碼安全檢測技術在航空航天領域的漏洞挖掘，持續開展深入研究，解決了航天軟件靜態代碼分析技術固有的高誤報缺陷的問題，設計了基于動靜結合的缺陷自動驗證機制，構建了基于跨模態多粒度代碼語義表示的缺陷自動分類模型。該成果已獲得5項授權發明專利、18項軟件著作權，發表論文40余篇。
解決代碼安全質量保障關鍵問題
本次項目研發成果增強了國內軟件安全服務的硬實力，已成為軟件產業鏈的重要組成部分，服務于軟件開發、系統驗證和漏洞發現利用。經比較分析，整體檢測能力達到了國際先進水平，具有顯著的經濟、社會效益和推廣價值，航天中認已利用大規模跨語言代碼安全檢測技術，為航空航天、 船舶、兵器、電子、核能、電信、電力、軌道交通、互聯網、金融、政府等多個安全關鍵領域提供質量保障。
本項目解決的軟件代碼安全檢測關鍵技術，為構建我國自主掌握的安全檢測生態系統，提供了有力保障。今后航天中認將持續加強在多領域的專業測評技術研究、以及相應的技術和手段創新工作，為構建自主、安全、可控的測評驗證環境不斷努力。
