西南大学计信院前沿学术报告

Southwest University IT Faculty Seminar

时间：2020年11月20日（星期五）上午9:30-12:00

地点：西南大学计算机与信息科学学院0114学术报告厅

报告一：数据驱动的智能化软件开发与运维

报告人：复旦大学 彭鑫 教授、博士生导师

报告人简介：

    彭鑫，复旦大学计算机科学技术学院副院长、教授、博士生导师。中国计算机学会软件工程专委会副主任，上海市计算机学会青工委主任，《Journal of Software: Evolution and Process》联合主编（Co-Editor），《ACM Transactions on Software Engineering and Methodology》编委（Associate Editor），《软件学报》编委，《Empirical Software Engineering》编委，IEEE软件维护与演化国际会议（ICSME）执委（2017-2020）。2016年获得东软-NASAC青年软件创新奖。主要研究方向包括软件开发大数据分析、智能化软件开发、云原生与智能化运维、泛在计算软件系统等。研究工作获得ICSM 2011最佳论文奖、ACM SIGSOFT杰出论文奖（ASE 2018）、IEEE TCSE杰出论文奖（ICSME 2018、ICSME 2019）、IEEE Transactions on Software Engineering年度最佳论文奖（2018）。担任ICGSE 2014及ICSME 2017组委会主席、Internetware 2017及ICSR 2019程序委员会主席，以及ICSE、FSE、ASE、ICSME、SANER、RE等会议程序委员会委员。带领复旦大学CodeWisdom研究团队开展软件开发大数据分析平台以及智能化软件开发平台的研究与实践，研究成果在多家大型企业进行了实践应用。

内容摘要：

开源社区及企业项目、软件开发技术文档及软件开发问答网站等软件开发资源的不断积累形成了以代码为核心的软件开发大数据。随着人工智能技术的发展，数据挖掘、深度学习、知识图谱等智能化方法和技术也被应用于代码大数据分析，形成相应的智能化软件开发能力。此外，以微服务架构为主流形态的在线服务面临着运维管理复杂性的挑战，基于日志、度量和轨迹数据分析的智能化运维技术受到了越来越多的关注。本次报告将从代码智能化推荐、代码注释自动生成、API知识图谱构造及应用、微服务系统轨迹数据分析等多个方面介绍数据驱动的智能化软件开发与运维技术方面的研究进展，并对未来的发展及实践应用进行展望。

报告二：大数据时代的可信软件构造与保障

报告人：北京大学 谢涛 讲席教授

报告人简介：

    谢涛，北京大学计算机科学技术系讲席教授，高可信软件技术教育部重点实验室（北京大学）副主任，美国科学促进会（AAAS）会士，电气电子工程师学会（IEEE）会士，美国计算机协会（ACM）杰出科学家，中国计算机学会（CCF）杰出会员。曾获国家自然科学基金委海外杰出青年科学基金以及其延续资助，科学探索奖，美国NSF Faculty CAREER Award，IEEE计算机协会软件工程技术委员会（TCSE）杰出服务奖等。担任CCF软件工程专委会副主任，CCF-IEEE CS青年科学家奖评奖分委员会主席，中国计算机大会（CNCC 2020）程序委员会主席，软件工程旗舰国际会议ICSE 2021程序委员会共同主席，《软件测试、验证与可靠性（STVR）》Wiley期刊联合主编等。主要研究领域包括软件工程，系统软件，软件安全。

内容摘要：

在过去的十年中，软件开发、测试、调试、维护、部署产生了海量的软件大数据，例如源代码，测试用例，版本历史，功能规格，错误报告，测试案例，执行跟踪/日志以及真实的用户反馈。近年来产业界日益借助数据驱动的智能化软件工程技术来提高软件可信度。但产业界也同时认同目前或将来近期的智能化工具支持在不少软件可信保障任务上仍然没有能达到满意的程度，将来方向应该同时重视对软件工程师的人才培养来和智能化工具进行分工协同合作来有效完成各种软件可信保障任务。本报告分享（1）提高工具智能化程度的的技术前沿和未来发展方向，（2）软件工程师和智能化工具协作完成软件可信保障任务的新模式，（3）培养（包括训练和评测）软件工程师在这种新模式下的关键技能和知识。

报告三：智能软件工程的机遇与挑战

报告人：西安电子科技大学 李青山 教授

报告人简介：

    李青山，教授，博士生导师，西安电子科技大学计算机科学与技术学院党委书记，学校博一级软件工程学科带头人，智能软件与系统新技术研究所所长。西安市智能软件工程重点实验室主任。曾任学校发展规划处副处长/一流建设工作办公室副主任（主持工作）、研究生院副院长、软件学院副院长。任教育部省级重点学科“软件工程”学术带头人，CCF高级会员，CCF软件工程专委会、大数据专委会、青年工作委员会委员，全国工程专业学位研究生教指委软件工程领域协作组成员。

李教授主要从事面向智能体的软件工程、软件体系结构、自适应软件演化、智能软件工程、逆向工程、智能决策支持系统、大数据智能化分析技术等等方向的研究工作，主持国家自然科学基金面上项目、国家科技部重大研发计划课题、国家863重大项目课题、国防973项目课题、国防预研项目、中央高校科研业务基金重点项目、国家留学回国人员基金、陕西省重点研发计划、陕西省留学人员科技项目、航空科学基金等国家和省部级项目。作为第一作者或通讯作者在ICSE、ESEC/FSE等CCF A类会议和软件工程顶级会议，在ICSME、SANER、WCRE、CSMR等软件自适应与软件演化顶级会议，在《中国科学》、《软件学报》、《计算机学报》等国家一级学报、《Integrated Computer-Aided Engineering》（SCI 1区）、《Artificial Intelligence Review》(SCI 2区)等国际期刊上发表SCI/EI检索论文80余篇。第一完成人授权/公开国家发明专利30余项。并参与编写《Multi-Agent Systems - Modeling, Control, Programming, Simulations and Applications》、《多智能体系统及应用》专著。

内容摘要：

智能时代是一个计算无所不在、软件定义一切、数据驱动发展的新时代。智能软件工程作为智能时代下新的研究领域，已成为软件工程与智能交叉领域共同关注的研究重点。报告回顾了智能软件工程的发展背景，围绕“智能的软件工程”与“智能软件的工程”两方面展开讨论，从宏观政策引导、科研机构动向、企业布局状态等多维度出发，分析了上述两方面的相关工作情况，并重点探讨在类脑计算、量子计算等新兴计算范型与航空航天、智能制造等特定领域智能化需求的牵引下，发展与应用智能软件工程所面临的机遇与挑战。