测试预期问题及蜕变测试研究进展论坛
2023年12月2日（星期六），13:00 – 15:30
上海国际会议中心，3A会议室
论坛简介
软件测试是一种主流的软件质量保证手段。测试预期问题是指在软件测试过程中，难以判断待测软件的输出结果是否满足预期。测试预期问题一直是测试领域尚未有效解决的开放问题之一，也是近年来软件工程领域的研究热点之一。蜕变测试根据待测系统的固有属性构建测试用例之间应满足的关系，通过检查测试用例组是否满足这些关系来检测故障，能有效缓解测试预期问题。近年来，蜕变测试在解决复杂系统的测试预期问题方面取得了一些显著成果，也广泛用于测试复杂且存在高安全性、高可靠性需求的智能系统。 鉴于测试预期问题是软件测试的基础性问题、以及蜕变测试正成为解决该问题的很有前景性的解决途径，我们组织了本论坛。重点关注测试预期问题研究的新近进展，特别是蜕变测试在深度学习、物理信息、自动驾驶、自然语言处理、量子计算等新兴领域的软件系统的应用与实践，以及关注蜕变测试理论本身的进展，例如蜕变关系的质量评估、蜕变关系的多样性等。本论坛分享国内外蜕变测试方面所取得的理论、技术或实验方面等创新性、突破性的高水平研究成果，探讨其在产业界的应用前景。
论坛日程
| 时间 | 主题 | 汇报人 | 主持人 |
|---|---|---|---|
| 13:00-13:10 | 论坛介绍 | 孙昌爱 | |
| 13:11-13:23 | Metamorphic Testing on Scientific Computing Program for Elliptic Differential Equations of Second Order | 闫仕宇 | 郑征 |
| 13:24-13:36 | MT-SPP: A Metamorphic Testing Approach for Sampling-based Path Planning Methods of UAV | 刘洋 | |
| 13:37-13:49 | SegTest: Metamorphic Testing of Image Segmentation via Guided Instance-level Test Data Augmentation | 候忠昊 | |
| 13:50-14:02 | Boosting Multimode Ruling in DHR Architecture with Metamorphic Relations | 李若思 | |
| 14:03-14:15 | Boosting Metamorphic Relation Prediction via Code Representation Learning: An Empirical Study | 郑雪丹 | |
| 14:16-14:25 | 茶歇 | ||
| 14:26-14:38 | A Novel Fuzzing Approach with Energy Adjustment for RNN-Based Dialogue Systems via Metamorphic Testing | 王圣然 | 谢晓园 |
| 14:39-14:51 | Metamorphic Relation Patterns for Metamorphic Testing, Exploration, and Robustness on Big Data Systems | 应志豪 | |
| 14:52-15:04 | MRGS-ART: Metamorphic Relation and Group Selection based on Adaptive Random Testing | 应志豪 | |
| 15:05-15:17 | MetaSem: Metamorphic Testing based on Semantic Information of Autonomous Driving Scenes | 阳真 | |
| 15:18-15:30 | Scenario-Driven Metamorphic Testing for Autonomous Driving Simulators | 张一凡 | |
论坛主席
1.论坛主席：孙昌爱（北京科技大学）
简介：
孙昌爱，北京科技大学教授、博士生导师。长期从事软件工程、服务计算领域的研究与教学，侧重于服务计算、软件测试、程序分析等方向。在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高级会员、中国计算机学会软件工程专委委员、中国计算机学会服务计算专委委员/常委。曾在美国普渡大学、荷兰格罗宁根大学、澳大利亚斯文本大学、香港理工大学从事学术研究与交流。
2.论坛主席：郑征（北京航空航天大学）
简介：
郑征，北京航空航天大学教授、博士生导师，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等大会主席。
3.论坛主席：谢晓园（武汉大学）
简介：
谢晓园，武汉大学教授、博导，武汉大学珞珈青年学者，武汉大学特色化示范性软件学院副院长，国家基金委外国优秀青年学者研究基金获得者。主要研究方向为蜕变测试、软件缺陷定位、智能软件工程等。主持了两项国家自然科学基金面上项目，参与多项国家自然基金重点项目、国家重点研发项目等。在软件工程顶级或知名期刊会议上录用论文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在内的多个国际知名期刊审稿人。
4.论坛主席：郝丹（北京大学）
简介：
郝丹，北京大学计算机学院教授。主要研究方向为软件测试和调试。ACM杰出会员。曾担任多个会议的程序委员会联合主席，如：ASE 2021、SANER 2022以及ICST 2023。此外，担任多个国际期刊的编委（如：IEEE-TSE、CSUR、EMSE 和 ASEJ）及多个软件工程会议的程序委员会委员。
5.论坛主席：陈宗岳（澳大利亚斯文本大学）
简介：
陈宗岳（T.Y. Chen）， 澳大利亚斯文本大学计算机科学与软件工程系教授。从事软件测试、调试和软件分析四十余年，是适应性随机测试和蜕变测试的提出者。担任《Software Testing, Reliability and Verification》国际期刊编辑（2003-），以及国际会议QSIC、QRS的指导委员会成员（1999-）。在ACM TOSEM、IEEE TSE、Communication of ACM 和 ACM Computing Survey 等著名国际期刊和会议发表论文350余篇。