2023年CCF中国软件大会（CCF ChinaSoft 2023）由CCF主办，CCF系统软件专委会、形式化方法专委会、软件工程专委会以及复旦大学联合承办，将于2023年12月1-3日在上海国际会议中心举行。
本次大会主题是“智能化软件创新推动数字经济与社会发展”，学术、工业、教育、竞赛等分论坛活动40余场，期待您的参与！
目前大会火热报名中！早鸟注册（early-bird registration）10月22日截止，提前注册付费锁定注册费优惠权益。
CCF ChinaSoft 2023官方首页：
http://chinasoft.ccf.org.cn/
点击文末“阅读原文”或扫描下方二维码进入官方注册通道:
https://conf.ccf.org.cn/chinasoft2023
✦ +
+
论坛巡礼
论坛名称：测试预期问题与蜕变测试研究进展论坛
时间: 2023年12月2日下午13:00-15:30
地点: 上海国际会议中心，3A会议室
论坛简介：
软件测试是一种主流的软件质量保证手段。测试预期问题是指在软件测试过程中，难以判断待测软件的输出结果是否满足预期。测试预期问题一直是测试领域尚未有效解决的开放问题之一，也是近年来软件工程领域的研究热点之一。蜕变测试根据待测系统的固有属性构建测试用例之间应满足的关系，通过检查测试用例组是否满足这些关系来检测故障，能有效缓解测试预期问题。近年来，蜕变测试在解决复杂系统的测试预期问题方面取得了一些显著成果，也广泛用于测试复杂且存在高安全性、高可靠性需求的智能系统。
鉴于测试预期问题是软件测试的基础性问题、以及蜕变测试正成为解决该问题的很有前景性的解决途径，我们组织了本论坛。重点关注测试预期问题研究的新近进展，特别是蜕变测试在深度学习、物理信息、自动驾驶、自然语言处理、量子计算等新兴领域的软件系统的应用与实践，以及关注蜕变测试理论本身的进展，例如蜕变关系的质量评估、蜕变关系的多样性等。本论坛分享国内外蜕变测试方面所取得的理论、技术或实验方面等创新性、突破性的高水平研究成果，探讨其在产业界的应用前景。
日程安排
Schedule
论坛主席
Forum Chairmen
孙昌爱
北京科技大学教授、博士生导师
长期从事软件工程、服务计算领域的研究与教学，侧重于服务计算、软件测试、程序分析等方向。在ACM TOSEM、TWeb、 IEEE TSE、TC、TSC、TR、JSS、IST、SPE、中国科学、计算机学报、软件学报等国内外重要学术刊物上发表论文100余篇、申请中国国家发明专利13项、登记计算机软件著作权24项，出版译著3部。主持完成国家自然科学基金、北京市自然科学基金、航空科学基金等二十余项研究课题。担任中国蜕变测试研讨会指导委员会主席(2018~)，TrustCom2008、UIC2015、CBPM2020、COMPSAC/SETA2023、COMPSAC/SETA2024等国际/全国学术会议程序委员会主席， IEEE SOCA2015、NCSC2018研讨会主席，担任IEEE ICWS、COMPSAC、ICSOC等软件工程、服务计算领域国际会议程序委员会委员150余次。中国计算机学会杰出会员、IEEE高级会员、中国计算机学会软件工程专委委员、中国计算机学会服务计算专委委员/常委。曾在美国普渡大学、荷兰格罗宁根大学、澳大利亚斯文本大学、香港理工大学从事学术研究与交流。
郑征
北京航空航天大学教授、博士生导师
CCF软件工程专委会和容错计算专委会执行委员、航空学会测试专委会委员，获国防科技进步一等奖，航空学会技术发明二等奖和军队科技进步三等奖。主要研究方向为软件可靠性与测试、智能软件可靠性工程，相关工作发表在IEEE TSE、IEEE TDSC、IEEE TIFS、FSE、ISSRE等期刊和会议上，担任IEEE Transactions on Reliability, Knowledge-based Systems和International Journal of Computational Intelligence Systems编委，担任IEEE Transactions on Dependable and Secure Computing“软件可靠性与可信性工程”专刊客座主编，担任PRDC2019, ISSRE2020和QRS2021等程序委员会主席，担任DeIS2020，DeIS2021，WoSAR2019等大会主席。
谢晓园
武汉大学教授、博导
武汉大学珞珈青年学者，武汉大学特色化示范性软件学院副院长，国家基金委外国优秀青年学者研究基金获得者。主要研究方向为蜕变测试、软件缺陷定位、智能软件工程等。主持了两项国家自然科学基金面上项目，参与多项国家自然基金重点项目、国家重点研发项目等。在软件工程顶级或知名期刊会议上录用论文50余篇。曾获NASAC青年软件创新奖、ACM SigEvo HUMIES银奖、ACM SigSoft Distinguished Paper Award、湖北省科技进步一等奖、QSIC最佳论文奖。担任FCS青年AE、JSS客座编辑、历任IEEE/ACM 蜕变测试研讨会PC Chair。担任包括CCF A类会议ASE、ICSE在的多个国际会议PC members，以及包括CCF A类期刊TSE、TOSEM在内的多个国际知名期刊审稿人。
郝丹
北京大学计算机学院教授
主要研究方向为软件测试和调试。ACM杰出会员。曾担任多个会议的程序委员会联合主席，如：ASE 2021、SANER 2022以及ICST 2023。此外，担任多个国际期刊的编委（如：IEEE-TSE、CSUR、EMSE 和 ASEJ）及多个软件工程会议的程序委员会委员。
陈宗岳
澳大利亚斯文本大学计算机科学与软件工程系教授
从事软件测试、调试和软件分析四十余年，是适应性随机测试和蜕变测试的提出者。担任《Software Testing, Reliability and Verification》国际期刊编辑（2003-），以及国际会议QSIC、QRS的指导委员会成员（1999-）。在ACM TOSEM、IEEE TSE、Communication of ACM 和 ACM Computing Survey 等著名国际期刊和会议发表论文350余篇。
