软件工程教育论坛

NASAC

我们正处在软件定义一切的时代，所面对的软件系统变得越来越复杂，软件形态也发生深刻变化，软件无所不在，软件定义一切，不仅深刻地影响着软件工程的发展，也对软件工程专业人才提出了新的要求，软件工程教育面临着软件产业需求及软件工程学科和专业快速发展等带来的诸多挑战，也存在着由于软件工程新技术新方法带来的机遇。本次论坛邀请了来自软件工程学术界、教育界和产业界的专家共同探讨在当前时代背景下如何加强软件工程人才培养、推动专业课程体系建设、深化研究生教育、加强专业技能评测、洞察业界对软件工程专业人才的需求，并就人机物时代的软件工程教育开展研讨。

论坛还组织了软件工程实践教学案例比赛，以推动国内软件工程教学资源的共享。论坛由CCF软件工程专委联合CCF教育专委、新工科联盟和CMOOC联盟实践教学工委共同举办。

论坛主席：

毛新军（国防科技大学）

张 莉（北京航空航天大学）

应 时（武汉大学）

日程安排：

时 间：2020年11月20日（星期五）14:00-17:30

2020年11月21日（星期六）14:00-17:30

地 点：特丽斯酒店 会议厅

论坛议程：

实践案例比赛议程：

报告及嘉宾简介：

1. 谢涛：软件工程教育与技能评测的智能化

摘要：近年来产业界日益借助数据驱动的软件工程创新技术来提高软件工程任务的自动化、智能化程度。但是，产业界也同时认同目前或将来近期的智能化工具支持在不少软件工程任务上仍然没有能达到满意的程度，将来方向应该同时重视对软件工程师的教育以及技能评测来培养软件工程师去和智能化工具进行分工协同合作，从而有效地完成各种软件工程任务。同时，软件工程师的教育和技能评测本身也可以利用智能化工具来达到提质降本增效的目标。本报告分享提高软件工程教育与技能评测智能化程度的技术前沿和未来发展方向，特别是针对智能化软件工程时代所需的软件工程师新技能。

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

2. 张莉：软件工程专业课程体系建设

摘要：讨论软件工程专业人才培养的定位，探索软件工程专业本硕博课程体系的贯通设计。结合国内外现有课程体系的调研以及SWEBOOK，同时结合现阶段国家对软件人才的战略需求，以及工程教育认证的需求，坚持产出导向的教育理念，探讨软件工程专业各阶段的能力培养要求，以及对应的软件工程专业课程体系建设方案和相应的教学方法、教学手段。

简介：张莉，北京航空航天大学教授，软件学院副院长、计算机学院软件工程研究所所长，教育部软件工程专业教学指导委员会委员，中国工程教育专业认证专家。全国高等学校计算机教育研究会副理事长。计算机学会教育专委会副主任、软件工程专委会常委。国家精品课负责人，曾担任全国软件工程领域专业学位研究生教育协作组组长，现为全国示范性软件学院联盟研究生教育委员会主任。先后主持和参加了国家自然科学基金、国家973项目、国家科技计划等项目。2001年入选北京市科技新星计划，同年获得"中创软件人才奖"。 2004年入选教育部"新世纪优秀人才支持计划"。2009年评为北京市教学名师。2010年获北京市“三八”红旗奖章。2011年获得宝钢优秀教师奖，国防科技进步二等奖。2005、2014和2018年三次获得国家教学成果奖。

3. 彭鑫：软件工程教育的实践化培养之路

摘要：云计算、大数据及人工智能技术的发展已经使得软件开发、维护和运行方式发生了巨大的变化，基于云的软件开发与运行平台以及开发运维一体化（DevOps）、智能化运维（AIOps）等实践已经在工业界得到广泛应用。软件工程是一个具有鲜明的工程实践背景的学科。软件工程教育需要反映企业实践的技术趋势和发展方向。本次报告将介绍复旦大学依托校企合作在软件工程专业本科和研究生教育上所开展的实践化培养探索，覆盖课程教学、专业实践、研究能力等多个层次，同时也将分享一些相关的思考。

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

4. 韩炜：可信软件工程及其对软件教育的建议

摘要：软件工程研究如何通过软件解决实际问题，而可信性（Dependability）软件可信性涉及安全性、可靠性、可测试性等诸多重要方面，是许多信息物理系统的一项重要非功能需求。在软件系统中，可信性非功能需求的实现往往占到软件总代码量的大部分，需要引起我们进一步的重视和加强。报告针对航空高安全基础软件的现实需求和具体实践，分享机载软件的可信非功能需求的实现考虑，阐述了对软件工程专业人才的要求，并对软件工程教育提出一些若干建议。

简介：韩炜，研究员，中国航空工业计算技术研究所副所长。航空工业集团嵌入式软件首席技术专家，中国计算机学会计算机工程和工艺专委主任，西安电子科技大学兼职博导。长期以来主持研制了我国多型飞机高可靠机载计算机，并大批量装备使用。主持我国机载自主知识版权天脉操作系统的研制、攻关，并在各型航空装备上广泛使用。组织团队研制了面向航空综合化航空电子系统所需的多款核心SoC芯片。组织编写航空装备有关国产电子元器件和基础软硬件选用、替代设计、应用验证等相关标准30余篇。先后获得国家级、省部级、集团级科研技术类奖项40余项，获得省部级、集团级立功二十余项，享受国务院政府特殊津贴。著有《可信嵌入式软件开发与实践》以及论文多篇。

5. 尹刚：Trustie：大规模开放在线教学案例开发与运行平台

摘要：疫情期间，“停课不停学、停课不停练”的外在环境和内在要求为计算机和软件工程类专业课程的实践教学活动带来巨大挑战。如何将开源软件社区的在线开发、在线运行、在线演化的机理和方法，系统引入计算机专业课程的教学案例设计和应用，支持信息技术类课程的在线实验和在线训练，是当前大学计算机教育面临的重大课题。报告首先与大家分享开源生态系统的产学机理，介绍“大众化协同、开放式共享、持续性评估”为核心的开源群体化方法，及据此构建的“产教一体、软件定义、共建共享、智能评测”的大规模在线实践教学平台。报告还将介绍平台在软件工程等课程的线上实验、线上金课、线上虚拟仿真等支撑模式和成功案例，并为老师们演示平台操作步骤、开展针对性交流研讨，助力各位老师快速提升专业课程实践的效率和水平。

简介：尹刚，副研究员，CMOOC联盟及新工科联盟实践教学工委会秘书长，中国开源软件推进联盟副秘书长，CCF系统软件专委常委，CCF软件工程专委委员，中国计算机学会杰出演讲者，入选湖南长沙“省市级领军人才”及“高精尖人才领跑工程”，主持国家重点研发计划、国家自然科学基金等课题10余项，参与国家863计划重点项目等课题20余项，作为平台技术负责人之一研制的Trustie（“确实”）、EduCoder（“头歌”）在产业界和教育界得到大规模应用，被教育部列为新冠疫情期间首批线上高校教学解决方案，获国家技术发明二等奖1项、湖南省技术发明一等奖1项，发表研究论文80余篇，获授权发明专利10余项。

6. 石敏：代码检查在软件工程教学场景的应用探讨

摘要：结合业界编程规范，探讨代码检查在软件开发过程中的价值，代码检查在教学场景中的应用，以及华为公司的相关产品。

简介：石敏，华为云DevOps产品经理，先后服务于腾讯、华为，在DevOps领域的设计、开发、落地实践上有丰富的经验。

论坛主席：

1. 毛新军 教授 国防科技大学计算机学院

简介：复杂系统软件工程重点实验室副主任，先后入选教育部新世纪优秀人才、湖南省121人才计划和军队优秀专业技术岗位，CCF杰出会员、理事、教育专委和教育工委委员，信息技术新工科产学研联盟和中国高校计算机教育MOOC联盟的实践教学工委主任，从事软件工程方向的科学研究、教学教改和人才培养工作，“软件工程”国家精品课程、精品资源共享课程、湖南省一流线上线下混合式课程、CCF CCD教改导教班的主讲老师；近年来组织开展了软件工程专业教学改革和软件工程课程教学改革；承担了中国高等教育研究会“制定软件工程课程国家规范”等教改项目；出版“软件工程实践教程：基于开源和群智的方法”等教材和著作6部，先后获国家教学成果二等奖1项，湖南省和军队教学成果一等奖各1项、二等奖2项。

2. 张莉 教授 北京航空航天大学计算机学院

简介：教育部软件工程专业教学指导委员会委员，中国工程教育专业认证专家。全国高等学校计算机教育研究会副理事长。计算机学会教育专委会副主任、软件工程专委会常委。国家精品课负责人，曾担任全国软件工程领域专业学位研究生教育协作组组长，现为全国示范性软件学院联盟研究生教育委员会主任。先后主持和参加了国家自然科学基金、国家973项目、国家科技计划等项目。2001年入选北京市科技新星计划，同年获得“中创软件人才奖”。2004年入选教育部“新世纪优秀人才支持计划”。2009年评为北京市教学名师。2010年获北京市“三八”红旗奖章。2011年获得宝钢优秀教师奖，国防科技进步二等奖。2005、2014和2018年三次获得国家教学成果奖。

3. 应时 教授 武汉大学计算机学院

简介：CCF软件工程专业委员会常务委员，武汉大学教授、博士生导师。主要从事计算机软件方面的科研、教学，以及应用软件开发工作。主要的研究领域：云计算与云服务软件、基于AI的大型复杂软件系统智能化运维管理、软件工程中的智能分析与优化等。主持并完成了多个国家级项目的研究，以及多个应用型项目的开发。已发表学术论文100多篇，曾获得国家科技进步二等奖、湖北省科技进步一等奖（3项）等奖项。作为研究生导师，已指导了博士研究生50多名、硕士研究生100多名。此外，还承担了本科生和研究生的课堂授课任务，多年讲授软件工程、UML建模语言、软件体系结构、软件开发的形式化方法、编译原理、信息检索等课程。