大连理工大学软件学院、国际信息与软件学院研究成果喜获国际顶级会议ISSTA2025杰出论文奖
2025/07/10
近日,第34届软件测试与分析国际会议ACM SIGSOFT International Symposium on Software Testing and Analysis(ISSTA 2025)在挪威特隆赫姆举办。软件学院、国际信息与软件学院先进工业软件与软件工程研究所江贺教授团队的任志磊教授所著论文《基于强化学习的Gazebo机器人仿真器模糊测试》(Reinforcement Learning-Based Fuzz Testing for the Gazebo Robotic Simulator)荣获杰出论文奖(Distinguished Paper Award)。论文通讯作者为我校江贺教授和任志磊教授,李晓晨副教授和博士生齐观潇、硕士生李一韬参与了技术设计与实现研究。武汉大学玄跻峰教授提供了实验支持。本研究得到国家自然科学基金重点项目资助,成果为机器人仿真器及相关复杂系统的可靠性保障提供了新的解决思路和技术支持。
本研究针对广泛用于机器人研发的仿真器Gazebo,提出首个专用的模糊测试框架GzFuzz,旨在突破传统模糊测试难以处理严格输入语法和庞大状态空间的瓶颈。Gazebo作为机器人模拟领域的关键工具,其安全性和可靠性至关重要,然而传统模糊测试方法因无法有效处理其严格的输入语法和庞大的状态空间而难以应用。GzFuzz通过引入语法感知的可行命令生成机制,确保生成的测试命令在语法和语义上符合Gazebo的严格要求,从而解决了传统模糊测试方法因输入格式错误而被立即拒绝的问题。同时,GzFuzz引入强化学习机制智能选择命令生成器,以在庞大的状态空间中有效探索仿真器的深层执行路径,提高了代码覆盖率和故障发现能力。实验表明,GzFuzz故障发现能力显著优于已有方法AFL++/Fuzzotron,代码覆盖率提升约234%至360%,证明GzFuzz在检测Gazebo机器人模拟器中的软件故障方面的有效性和优越性。为积极回馈开源社区、助力项目的持续改进与完善,研究团队已将所有检测到的故障整理并提交至Gazebo社区,在不到半年内团队成功检测到25个Gazebo崩溃故障,其中24个已被开发者确认或修复。
软件测试与分析国际会议ACM SIGSOFT International Symposium on Software Testing and Analysis是软件工程测试与分析领域最具影响力的国际会议,为中国计算机学会(CCF)推荐的A类会议,在软件工程领域享有盛誉。该论文是本届会议首轮录用的23篇论文之一(录用率5%),最终从550篇投稿中脱颖而出,荣获杰出论文奖。
近年来,软件学院、国际信息与软件学院在软件工程领域持续深耕,聚焦工业软件、嵌入式软件等关键方向领域构建起全链条自主创新体系。在工业软件领域,学院已构建具有自主知识产权的核心理论体系,国际影响力持续提升;在工业软件可靠性保障方面,已形成研究基础扎实、工程能力突出的技术体系。相关成果发表于国际顶级会议ICSE、ASE、FSE、ISSTA、DAC、ICCV,以及顶级期刊TVCG、TSE、TOSEM等,并在航空航天、装备制造等领域落地应用。此次获奖体现了学院在工业软件前沿研究成果获得国际学术界和工业界的权威认可。未来,学院将继续深化在工业软件方向的科学研究,解决关键技术领域的“卡脖子”问题,不断增强我国工业软件自主研发能力,提高工业软件开发效率和质量。
文章来源大连理工大学,分享只为学术交流,如涉及侵权问题请联系我们,我们将及时修改或删除。
-
2026年6月优质国际学术会议推荐 7
-
2026年第17届机械与航空航天工程 193
-
2026年先进航空航天技术与卫星应用 324
-
2026资源、化学化工与应用材料国际 1808
-
2026年图像处理与数字创意设计国际 1632
-
2026年机械工程,新能源与电气技术 6095
-
2026年材料科学、低碳技术与动力工 1819
-
2026年艺术、文化产业与数字媒体国 04-29
-
2026年智慧教育、教育研究与文化交 04-29
-
2026年数字社会、公共管理与经济学 04-29
-
2026 政务服务、数字治理与智慧城 04-28
-
2026 制冷技术、暖通设备与环境调 04-28
-
2026 轻工材料、绿色制造与循环利 04-28
-
2026 多语言智能、翻译技术与国际 04-28
-
2026 生物育种、生态种植与现代农 04-28
-
中国科协发布2025年《重要学术12
-
2026年新锐分区(原中科院期刊2595
-
2025年两院院士增选有效候选人4402
-
2025最新JCR分区及影响因子12342
-
好学术:科研网址导航|学术头条分5673
-
2025年国际期刊预警名单发布!5837
-
2025年中科院期刊分区表重磅发20812
-
吉林大学校长张希:学术会议中的提6954
-
二维超导迈斯纳效应探测研究获进展04-29
-
研究发现笼目超导体中多重范霍夫奇04-29
-
二氧化碳加氢制高碳烯烃与航煤馏分04-29
-
靶向特定蛋白互作界面抑制乙肝病毒04-29
-
研究揭示内源信使调控膜损伤与细胞04-29
-
科学家绘制大脑星形胶质细胞转录因04-29
-
上海交大Bio-X研究院石毅与合04-29
-
沈阳博思教育咨询有限公司 23227

-
星界会务服务(深圳)有限公司 8653

-
材料工程与应用国际会议 24564

-
东北电力大学 18454

-
北京理工大学机械与车辆工程学院 23438

-
佛山市顺德区美的微波电器制造有限 23303

-
河南纳智博研会议服务有限公司 8438

-
工程信息研究院 23539

-
上海理工大学生物医学热科学研究所 18550

-
湖北工程学院 2344

-
人大办公厅老干部处 18322

-
上海杉达学院 8277

-
cosco-logistics 18403

-
云南财经大学 21414

-
百奥泰国际会议(大连)有限公司 24368

-
吉林省北华大学师范分院美术系 21288

-
武汉致远会务 18371

-
泰科拉软件(上海)有限公司 2483

-
津安商务(天津)旅游会议有限公司 21259

-
中国电子学会通信学分会 23651





















321








































