12月17日，在深圳召开的中国计算机大会CNCC2021上，中国计算机学会（CCF）颁奖典礼隆重举行。由中国科学院院士、软件工程学院创院院长何积丰教授担任项目总体负责人，学院骨干教师蒲戈光、缪炜恺、苏亭及卡斯柯信号有限公司周庭梁和工信部电子五所刘奕宏共同合作完成的“面向工业领域的软件形式化建模与自动化测试关键技术及工具国产化应用”项目，荣获2021年CCF科学技术奖技术发明一等奖。CCF理事长中国科学院院士梅宏教授、CCF副理事长金海教授为团队代表颁奖。

研究团队得到了学校和学院的全方位支持。作为项目第一完成人的何积丰院士经过多年潜心研究探索，带领学院骨干教师联合相关企业，针对软件开发全生命周期的核心问题即软件建模、软件验证分析和软件测试面临的三大挑战，即形式化工程建模方法缺失、软件缺陷发现难、人工测试效率低，在面向控制软件形式化建模与验证工程方法、基于程序分析的软件智能白盒测试技术、工业APP的自动化黑盒测试技术等方面实现了技术发明的突破，服务于包括嫦娥五号和北京地铁三号线等在内的10余项国家重要工程。

“CCF科学技术奖”授予在计算机科学、技术或工程领域具有重要发现、发明、原始创新，在相关领域有一定国际影响的优秀成果。