全国仅此一项 青科大获NASAC 原型竞赛一等奖

　　日前，第十八届全国软件与应用学术会议(NASAC 2019)在杭州召开。在大会举办的原型系统竞赛中，由青岛科技大学信息学院教授杜军威、江峰，副教授于旭指导的计算机161代表队，在“命题型-规则检查类”原型竞赛中获得一等奖，全国仅此一项。

　　NASAC会议是由中国计算机学会(CCF)主办，CCF软件工程专委会、CCF系统软件专委会承办的年度会议，代表国内系统软件、软件工程领域最高水平的学术会议。“软件研究成果原型系统竞赛”从2013年起由CCF软件工程专委和CCF系统软件专委联合举办，竞赛评审委员会由来自国内知名企业和顶尖科研机构的软件工程领域专家组成。

　　本次竞赛分为“自由型”和“命题型”，其中“命题型”包括“规则检查类”和“并发竞争检测类”两种。命题型赛事旨在邀请和鼓励企业界的软件系统或工具参与，更广泛地凝聚领域内研究与技术人员形成合力，催化“学”“研”“产”“用”生态的进一步发展，促进有关技术的关键突破、持续改进以及在实践中的使用与推广。赛事要求参赛人员熟悉程序语言的编译原理和技术，了解程序分析技术，设计和实现相关程序分析算法来识别程序代码中违反所给编码规范的缺陷。