2022 CCF中国软件大会（CCF Chinasoft）“软件工程研究与实践论坛”论坛成功召开...

    2022年11月25日，2022 CCF中国软件大会（CCF Chinasoft）软件工程研究与实践论坛成功举办。本次论坛由华为技术有限公司夏鑫与王少华博士以及浙江大学胡星，鲍凌峰老师联合组织举办，采取腾讯会议与在线直播两种方式线上进行。本次论坛聚焦软件工程前沿理论突破和相关技术在行业中的实践应用。在这数字化和软件定义一切的时代，软件已经成为了重要的基础设施。软件工程的前沿理论和技术实践需要不断的突破，以提升软件工程能力和软件开发的效率，从而适应频繁变化的应用需求和动态多变的应用场景。

    当前华为公司拥有近千亿行代码量的海量软件资产，支撑了ICT产品、终端、云、车等诸多领域的软件产品。复杂多变的软件形态和海量的软件开发数据对华为软件工程能力提出了重大的挑战。本次论坛邀请华为软件工程技术专家和学术界软件工程领域的杰出学者，从软件供应链、开源软件、智能化软件工程、软件测试等多个研究方向探讨软件工程的前沿研究和业界实践。论坛吸引了国内外相关领域师生与从业人员的广泛参与，本次论坛腾讯会议观众接近80人，在线直播达到231人。

    本次论坛分两个阶段举行。论坛第一阶段由浙江大学计算机科学与技术学院副教授鲍凌峰主持，北京大学教授金芝、南京大学教授徐宝文、华为软件工程应用技术实验室主任夏鑫、南京大学计算机科学与技术系教授许畅、华为软件技术专家王少华以及复旦大学计算机科学技术学院副教授陈碧欢先后带来了精彩的报告。

    金芝老师基于环境建模的需求工程方法为指导，系统化构建嵌入式软件系统的需求模式，提出基于投影的嵌入式软件系统需求规约方法，实现从任务意图到嵌入式软件需求的变换，还介绍了该方法在具体案例上的实践。

徐宝文老师主要探讨程序设计语言对软件开发、测试与维护各阶段以及软件质量的作用、影响以及程序设计方法、软件开发、测试与维护各阶段对程序设计语言设计与演化的影响，讨论软件生存期各阶段之间的相互作用。

    夏鑫老师总结企业界在软件资产管理的一些初步思考和探索以及我们遇到的挑战。以开源软件资产管理为例，汇报当前工业界在软件物料清单（SBOM）、软件过程元数据、漏洞工程能力和防投毒风控等方面的进展，并初步畅想软件资产管理的未来。

    许畅老师汇报了在软件可成长性理论与自成长技术方面的一些思考与进展，并结合软件成长过程中的泛在感知、适应合成、持续演化和生态保障等需求，介绍几项具体的挑战问题和相应的解决方案，例如，如何保障软件执行环境的一致性、如何合成跨场景程序的新代码、如何生成程序运行时状态的转换函数、以及如何保障软件生态的健康成长等，最后介绍更广阔范围内的软件自成长技术的最新进展。

    王少华老师从开发者测试的演进切入，梳理了学术界、工业界在该领域前进脉络。基于热点领域展开开发者测试的所面临的技术挑战与未来有可能的发展趋势。

    陈碧欢老师概述了供应链风险分析与治理框架，并具体介绍1）调用图构建优化，实现风险分析使能技术的增强；2）开源软件安全漏洞知识库构建，实现安全分析与治理的赋能；3）开源软件安全漏洞影响分析，量化开源软件安全漏洞对软件产品的风险及规避代价。

   论坛第二阶段由华为软件工程应用技术实验室专家徐同同主持，北京大学计算机学院教授周明辉、华为公司软件工程应用技术实验室技术专家邱栋、北京理工大学计算机学院教授刘辉、南京大学计算机科学与技术系副教授李樾、程序分析技术专家周迪之和华为软件工程应用技术实验室技术专家刘逵先后带来了精彩的报告。

   周明辉教授以开源生态的挑战和建设为主题，主要介绍了开源模式以理想主义为源起，以互联网为载体，有效汇聚用户创新和群体智慧，开发了无数优秀开源软件，为产业和社会带来了巨大机会。中国从开源受益，也正在以开源为手段发展产业，但其最大的挑战是生态的形成和持续。报告中重点梳理了开源生态的现状和挑战，讨论了生态建设的重要维度，以及产学研可以做的贡献。

   邱栋专家以软件设计工程初步探索为主题，主要阐述软件设计不仅是华为公司当前比较活跃的话题，在变革中也面临着众多的挑战。软件设计的好坏，对于软件开发效率的提升、软件质量的看护及软件系统的可持续演进起到至关重要的作用。报告中介绍了软件设计工程的整体思路和研究进展，并结合产品实践分享了软件设计的初步探索。

   刘辉教授以智能化软件重构为主题，阐明了软件重构（Software Refactoring）对软件质量提高的重要性，以及软件重构取得的一系列重要突破和成功应用。报告中重点介绍了近年来智能化软件重构方面的研究工作，尤其是在code smell检测与重构方案推荐方面的研究进展。

    周迪之专家以程序分析的演进与融合为主题，重点梳理了程序分析技术在学术界、工业届的前进脉络。基于真实世界的应用场景，总结了程序分析技术在动静态结合、大规模代码、异构计算平台等热点领域所面临的技术挑战与未来发展趋势。

   李樾老师以静态程序分析框架“太阿”的设计之道为主题，阐述了静态程序分析在近年来已成为保障软件安全可信以及高效性的关键技术之一。报告首先介绍了Java静态程序分析框架“太阿”的设计理念、基本方法，核心组成，最后介绍了太阿的教育平台，帮助众多开发人员以及高校方便使用。

    刘逵专家以Clean Code 2.0的进展与挑战为主题，首先说明了华为开发的clean code系统，阐释了其编码指南和规约、Clean Code检查工具和Committer机制。报告最后说明了该系统面临的众多技术，从代码规范性、代码正确性和代码可演进性三个方面评估了代码质量。

更多资讯请关注