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

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

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

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

   论坛由电子科技大学陈厅教授主持，分上下两场报告举行。论坛上半场报告中，华东师范大学苏亭教授首先带来了论坛特邀主题报告：移动应用软件功能正确性验证的探索和思考。随后南京大学左志强副教授带来了论坛的特邀主题报告：面向大规模基础软件的程序分析技术。接下来，各位报告人分别就深度学习应用程序的黑盒对抗性攻击、以太坊虚拟机的差分模糊测试等工作进行了阐释与讨论。

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

更多资讯请关注