【国民娱乐每日礼金gm777.top,国民彩票登录中大奖】我们为您提供国民彩票登录注册,国民彩票登录投注,国民彩票登录app,国民彩票登录平台,巨华彩票开户,充提快速,操控简单,为国民彩票登录彩民服务!

計算機科學與技術學院
 
新聞信息
新聞
教學信息
科研信息
學術活動
往期學術活動
通知公告
更多>>學術活動
您現在的位置:首頁>新聞信息>科研信息

中國科大獲NASAC “違反編碼規范的缺陷檢測”命題型軟件原型競賽亞軍

2018-11-29

第十七屆全國軟件與應用學術會議(NASAC 2018)于20181123日至25日在深圳大學召開。在大會舉辦的首屆“違反編碼規范的缺陷檢測”命題型軟件原型系統競賽的現場決賽中,我校計算機科學與技術學院張昱副教授指導的、由該院一年級碩士研究生張宇翔(隊長)和三年級本科生鄧勝亮組成的參賽隊伍在進入決賽的5支隊伍中脫穎而出,奪得亞軍。該項賽事要求參賽人員熟悉程序語言的編譯原理和技術、了解程序分析技術,設計和實現相關程序分析算法來識別程序代碼中違反所給編碼規范的缺陷。  


本次競賽評選出冠亞軍作品各一個、季軍作品兩個。北京軒宇信息技術有限公司的6人隊伍在其公司軟件產品上按競賽需求實現的“C/C++靜態代碼檢查工具SpecChecker”獲得冠軍;我校代表隊基于開源編譯器Clang 7.0研制的“違反編碼規范的缺陷檢測工具”獲得亞軍;陸軍工程大學9名研究生和指導老師團隊研制的“LGDNASAC工具”和中山大學4名研究生和指導老師團隊研制的“函數頭注釋缺陷檢測工具”并列獲得季軍。           


NASAC會議是由中國計算機學會(CCF)主辦,CCF軟件工程專委會、CCF系統軟件專委會承辦的年度會議,本屆大會由深圳大學計算機與軟件學院參與承辦?!败浖芯砍晒拖到y競賽”從2013年起由CCF軟件工程專委和CCF系統軟件專委聯合舉辦,競賽評審委員會由來自國內知名企業和頂尖科研機構的軟件工程領域專家組成。今年的競賽分為“自由型”和“命題型”,其中“命題型”包括“違反編碼規范的缺陷檢測”和“源代碼漏洞檢測”兩種。命題型賽事旨在同時邀請和鼓勵企業界的軟件系統或工具參與,更廣泛地凝聚領域內研究與技術人員形成合力,催化“學”、“研”、“產”、“用”生態的進一步發展,促進有關技術的關鍵突破、持續改進以及在實踐中的使用與推廣。  


違反編碼規范的缺陷檢測”命題型原型系統賽事是今年首次舉辦,多家單位受邀參賽。賽題于1022日發布,要求各參賽隊伍針對C語言代碼中違反項目編碼規范的六種需求進行自動化檢測。六項檢測涵蓋頭文件規范檢測、函數參數檢查規范檢測、函數頭注釋規范檢測、命名規范檢測、錯誤處理規范檢測和按需初始化規范檢測,重點關注自動檢測工具的技術實現與實用價值。競賽組委會于1115日完成對初賽隊伍的遴選,1122日發布測試集,1123日下午進行現場決賽。1022日賽題發布至1110日工具提交僅20個比賽日,時間緊、難度大、任務重,極大地考驗參賽隊伍的技術積累、團隊合作和工程能力。


我校計算機科學與技術學院參賽隊基于開源編譯器前端框架Clang 7.0研制“違反編碼規范的缺陷檢測工具”,該工具在競賽組委會1122日發布的62個測試程序集上,五項規范檢測的平均查全率和查準率分別為84.09%80.43%。中國科大隊伍出色的工作得到了大賽評委和與會同行專家的高度認可,顯示出我校學生快速學習和駕馭復雜開源編譯工具、快速應變以及基礎扎實的實力。



相關新聞
  • 中國科大獲NASAC “違反編碼規范的缺陷檢測”命題型軟件原型競賽亞軍

CopyRight 2009-2014 中國科學技術大學計算機科學與技術學院 All Rights Reserved.
安徽省合肥市黃山路中國科學技術大學西區電三樓
通信地址:安徽省合肥市4號信箱 計算機科學與技術學院 郵政編碼:230027
国民彩票登录