2022 CCF中国软件大会（CCF Chinasoft）“基础软件质量保障”论坛成功召开

    2022年11月27日，2022 CCF中国软件大会（CCF Chinasoft 2022）“基础软件质量保障”论坛成功举办。本次大会由中国计算机学会（CCF）主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会和复旦大学承办， 论坛由西安电子科技大学田聪教授、电子科技大学陈厅教授、清华大学姜宇副教授组织，采用腾讯会议与在线直播两种方式线上进行。

     论坛针对基础软件的安全性，可靠性，可用性，可维护性等问题，关注基础软件缺陷的挖掘、利用、评估、管理、修复和防御等技术方法，针对学术和产业面临的难题、挑战和瓶颈，征集和介绍国内外研究人员在软件度量、测试、分析、验证等方面，取得的理论、技术方突破和具有创新性、影响力的高水平研究成果，包括操作系统软件质量保障、数据库软件质量保障、协议质量保障、虚拟机质量保障、中间件质量保障、智能计算平台质量保障、设计分析软件质量保障等。

     论坛邀请了华东师范大学、南京大学、复旦大学、中国人民大学、国防科技大学等国内外相关学科优势高校的8位基础软件质量保障领域优秀青年学者，通过主题 告形式，分享了基础软件质量保障的最新进展和成果，并探讨了未来的应用前景，论坛吸引了基础软件质量保障相关领域师生与专业人员的广泛参与。

   论坛的下半场 告中，复旦大学张源副教授首先带来了论坛的特邀 告：安全可靠的漏洞补丁后向迁移技术。随后，中国人民大学游伟副教授带来了论坛的特邀 告：二进制程序模糊测试。接下来各位 告人分别就构建用于Java 虚拟机测试、需求规范提取与分析等工作进行了介绍与讨论。