向毅

向毅 实验室成果简介2026.pdf向毅，博士，华南理工大学副教授、博士生导师，广东省优秀青年（青年提升）基金获得者。现兼任中国运筹学会模糊信息与工程分会理事、广东省计算机学会软件工程专委会秘书长，担任国际期刊 Mathematics 客座编辑及 2025 International Seminar on Theoretical Computer Science 特邀联合主席。长期聚焦基础软件与工业软件等可配置软件系统的质量保障关键难题，围绕“配置优化—智能测试—缺陷定位”构建了贯穿全流程的创新研究体系，系统突破了可配置软件中“约束难满足、覆盖难扩展、缺陷难定位”三大核心瓶颈。在配置优化方面，提出“内嵌 SAT 求解的演化优化计算新范式”，实现逻辑推理与智能搜索的深度耦合，在国际上率先达到 100% 可行解发现率，整体性能显著优于国际主流算法 SATIBEA；在智能测试方面，揭示测试用例多样性与 t 阶组合覆盖率之间的显著正相关规律，提出多样性驱动测试新理论，构建基于质量–多样性优化的智能测试技术体系，在典型工业场景中实现最高 488 倍的效率提升；在缺陷定位方面，提出“内部特征交互—外部行为失效”的因果链条模型，构建因果推断驱动的自动化缺陷定位方法，使平均定位精度提升 42%。围绕上述系统性创新，主持国家自然科学基金、广东省自然科学基金（青年提升/优青、面上）、广州市科技计划项目、中国博士后基金及企事业委托项目等科研项目 12 余项；以第一作者或通讯作者在 ACM TOSEM、IEEE TSE、IEEE TEVC、IEEE TCYB、ICSE、ISSTA、《中国科学：信息科学》和《软件学报》等重要期刊与会议发表论文 50 余篇，其中 CCF-A 期刊与会议论文 23 篇，代表性成果入选 ESI。近三年授权国家发明专利 8 项，作为主要完成人制定全国团体标准 T/CI 083-2023《无源码的白盒化测试标准》，并参与制定《汽车基础软件测试指南》。曾获2023 年度广东省科技进步二等奖、2024、2025 年度广东省计算机学会优秀论文一等奖，2018 年度 ACM 中国广州分会优秀博士学位论文奖，2020 年度中国仿真学会智能仿真优化与调度专业委员会优秀博士学位论文奖及2024 年度广东省计算机学会教育教学成果奖一等奖。相关成果已在工信部电子五所（中国赛宝实验室）、中国电科普华基础软件、TCL 云创科技有限公司、微科智检、泰一科技等单位实现产业化应用，累计新增经济效益超过 621 万元，显著提升了国产手机操作系统以及人工智能、EDA 等关键基础软件的测试与调试效率，有力支撑了我国基础软件的自主可控与智能化发展。