本报讯  11月23至25日，第十七届全国软件与应用学术会议（NASAC 2018）在深圳大学召开。在“违反编码规范的缺陷检测”命题型软件原型系统竞赛现场决赛中，我校参赛队在进入决赛的5支队伍中脱颖而出，夺得亚军。该项赛事要求参赛人员熟悉程序语言的编译原理和技术，了解程序分析技术，设计和实现相关程序分析算法来识别程序代码中违反所给编码规范的缺陷。

NASAC会议是中国计算机学会（CCF）主办，CCF软件工程专委会、CCF系统软件专委会承办的年度会议，本届大会由深圳大学计算机与软件学院承办。竞赛评选出冠亚军作品各一项，季军作品两项。我校代表队由计算机科学与技术学院张昱副教授指导、硕士生张宇翔（队长）和大三本科生邓胜亮组成，代表队基于开源编译器Clang 7.0研制的“违反编码规范的缺陷检测工具”荣获亚军；北京轩宇信息技术有限公司的“C/C++静态代码检查工具SpecChecker”获得冠军；陆军工程大学研制的“LGDNASAC工具”和中山大学研制的“函数头注释缺陷检测工具”并列季军。

“违反编码规范的缺陷检测”命题型原型系统赛事是今年首次举办，多家单位受邀参赛。赛题于10月22日发布，要求各参赛队伍针对C语言代码中违反项目编码规范的六种需求进行自动化检测。六项检测涵盖头文件规范检测、函数参数检查规范检测、函数头注释规范检测、命名规范检测、错误处理规范检测和按需初始化规范检测，重点关注自动检测工具的技术实现与实用价值。竞赛组委会于11月15日完成对初赛队伍的遴选，11月22日发布测试集，11月23日下午进行现场决赛。10月22日赛题发布至11月10日工具提交仅20个比赛日，时间紧、难度大、任务重，极大地考验参赛队伍的技术积累、团队合作和工程能力。

中国科大参赛队基于开源编译器前端框架Clang 7.0研制的“违反编码规范的缺陷检测工具”，是在竞赛组委会11月22日发布的62个测试程序集上，五项规范检测的平均查全率和查准率分别为84.09%和80.43%。中国科大队伍出色的工作得到了大赛评委和与会同行专家的高度认可，显示出我校学生快速学习和驾驭复杂开源编译工具、快速应变以及基础扎实的实力。          
                                （计算机学院）