第十七屆全國軟件與應用學術會議(NASAC 2018)於2018年11月23日至25日在深圳大學召開。在大會舉辦的首屆“違反編碼規範的缺陷檢測”命題型軟件原型係統競賽的現場決賽中,我校188滚球网
張昱副教授指導的、由該院一年級碩士研究生張宇翔(隊長)和三年級本科生鄧勝亮組成的參賽隊伍在進入決賽的5支隊伍中脫穎而出,奪得亞軍。該項賽事要求參賽人員熟悉程序語言的編譯原理和技術、了解程序分析技術,設計和實現相關程序分析算法來識別程序代碼中違反所給編碼規範的缺陷。
本次競賽評選出冠亞軍作品各一個、季軍作品兩個。北京軒宇信息技術有限公司的6人隊伍在其公司軟件產品上按競賽需求實現的“C/C++靜態代碼檢查工具SpecChecker”獲得冠軍;我校代表隊基於開源編譯器Clang 7.0研製的“違反編碼規範的缺陷檢測工具”獲得亞軍;陸軍工程大學9名研究生和指導老師團隊研製的“LGDNASAC工具”和中山大學4名研究生和指導老師團隊研製的“函數頭注釋缺陷檢測工具”並列獲得季軍。
NASAC會議是由中國計算機學會(CCF)主辦,CCF軟件工程專委會、CCF係統軟件專委會承辦的年度會議,本屆大會由深圳大學計算機與軟件學院參與承辦。“軟件研究成果原型係統競賽”從2013年起由CCF軟件工程專委和CCF係統軟件專委聯合舉辦,競賽評審委員會由來自國內知名企業和頂尖科研機構的軟件工程領域專家組成。今年的競賽分為“自由型”和“命題型”,其中“命題型”包括“違反編碼規範的缺陷檢測”和“源代碼漏洞檢測”兩種。命題型賽事旨在同時邀請和鼓勵企業界的軟件係統或工具參與,更廣泛地凝聚領域內研究與技術人員形成合力,催化“學”、“研”、“產”、“用”生態的進一步發展,促進有關技術的關鍵突破、持續改進以及在實踐中的使用與推廣。
“違反編碼規範的缺陷檢測”命題型原型係統賽事是今年首次舉辦,多家單位受邀參賽。賽題於10月22日發布,要求各參賽隊伍針對C語言代碼中違反項目編碼規範的六種需求進行自動化檢測。六項檢測涵蓋頭文件規範檢測、函數參數檢查規範檢測、函數頭注釋規範檢測、命名規範檢測、錯誤處理規範檢測和按需初始化規範檢測,重點關注自動檢測工具的技術實現與實用價值。競賽組委會於11月15日完成對初賽隊伍的遴選,11月22日發布測試集,11月23日下午進行現場決賽。10月22日賽題發布至11月10日工具提交僅20個比賽日,時間緊、難度大、任務重,極大地考驗參賽隊伍的技術積累、團隊合作和工程能力。
我校188滚球网 參賽隊基於開源編譯器前端框架Clang 7.0研製“違反編碼規範的缺陷檢測工具”,該工具在競賽組委會11月22日發布的62個測試程序集上,五項規範檢測的平均查全率和查準率分別為84.09%和80.43%。188金宝慱体育版 隊伍出色的工作得到了大賽評委和與會同行專家的高度認可,顯示出我校學生快速學習和駕馭複雜開源編譯工具、快速應變以及基礎紮實的實力。