交流合作

more
您当前所在位置: 首页 > 交流合作 > 正文

北京大学与陆军工程大学软件工程领域专家来我院进行学术交流

发布时间:2020-08-25点击量:

(通讯员 徐悦甡)为促进我校软件工程学科建设和发展,应云顶7610线路测试邀请,CCF软件工程专委会秘书长、北京大学李戈副教授和CCF容错计算专委会副主任、国务院学位办软件工程学科声誉评估专家、陆军工程大学软件工程学科带头人、全国大学生软件测试大赛发起人之一黄松教授,于2020年8月20日下午在主楼二区319会议室为云顶7610线路测试师生作了精彩的学术报告,并针对报告内容进行了学术研讨和交流。软件工程系主任、软件工程学科秘书长宋胜利主持了报告会,学科负责人李青山和学科方向负责人苗启广、刘西洋以及软件工程学科四十多位师生共同参加了学术报告和交流活动。

李戈副教授首先带来了题为“代码生成——AI与软件研究者的共同梦想”的报告,与在座师生交流了代码自动生成方向的最新进展。作为人工智能与软件工程交叉领域的代表性问题,李老师首先对代码生成的代表性成果进行了总结,并对所在研究团队在基于深度学习的代码分析与生成等方面的研究工作进行了讲解。李老师的工作聚焦在如何在软件开发过程中使用人工智能技术,减少开发人员的工作量,提升开发效率。作为最早开展基于深度学习的程序分析与生成研究的团队之一,李老师还向在座师生讲解了所在研究团队的研究历程。最后,李老师介绍了研究团队发布的“aiXcoder智能编码引擎”的最新进展与示范应用情况。

黄松教授带来了题为“基于需求语义提取和业务流程建模的嵌入式自动化测试”的报告,围绕着软件测试的自动化进行了讨论,并着重介绍了所在团队提出的基于业务流程建模的测试用例和测试脚本生成方法。传统的自动化测试工具一般通过执行人工编写的测试脚本进行测试,存在调试工作量大、维护成本高、难以复用等缺点,也成为了自动化测试工具难以广泛使用的技术瓶颈。黄松教授团队以嵌入式系统为测试对象,通过提取需求语义进行辅助建模,并提出了模型驱动的嵌入式系统测试用例生成方法,提高了业务流程建模的效率。

两位专家报告完后,与现场的师生进行了热烈的讨论与交流,并回答了师生提出的问题。最后,李青山教授总结指出,两位专家在软件工程领域都做出了突出的成绩,在代码自动生成、嵌入式系统自动测试等方面拥有长期的积累,产生了一流的科研成果。在座师生要认真消化本次报告的内容,努力向两位专家学习,紧跟软件工程领域的研究前沿,争取做出更高水平的研究成果。李青山教授还鼓励学科师生进一步加强与国内外同行的研讨交流,通过“请进来、走出去”等途径,持续扩大我校软件工程学科的影响力。

上一篇:中科院软件所武延军研究员来我院作学术报告和专题交流
下一篇:我校成功承办国际顶级学术会议ACM SIGIR 2020