12月17日，在中國計算機大會（CNCC2021）召開期間，中國計算機學會（CCF）頒獎典禮隆重舉行。中國科學院軟件研究所與中國人民大學合作完成的成果“高精度智能化的軟件分析與測試方法”獲2021年度CCF科學技術獎自然科學一等獎。軟件所主要完成人為計算機科學國家重點實驗室張健研究員、嚴俊研究員、蔡彥研究員。 

　　軟件分析與測試是提高軟件質量及可信性的有效手段。該團隊針對分析測試的精度不高導致部分場景沒有被覆蓋、測試分析的先驗知識難以獲取、移動計算和人工智能帶來了新的分析測試需求等挑戰，從靜態分析的分析效能和所需知識獲取，以及動態測試中組合測試、模糊測試和并發測試等技術入手，提高了軟件分析與測試方法的精度和智能水平，取得了一系列重要研究成果。相關成果不僅在學術界產生了重要影響，也被用于發現一些著名開源軟件或軟件產品中的缺陷，在工業界得到應用。 

   “CCF科學技術獎”旨在授予在計算機科學、技術或工程領域具有重要發現、發明、原始創新，在相關領域有一定國際影響的優秀成果。會議還頒發了CCF王選獎、CCF海外杰出貢獻獎、CCF-ACM人工智能獎、CCF-IEEE CS青年科學家獎。

CCF副理事長胡事民教授（左一）、周明研究員（右一），CCF獎勵委員會主席錢德沛教授（右二）為張健研究員頒獎