paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Many-Objective Reinforcement Learning for Online Testing of DNN-Enabled Systems

面向DNN使能系统在线测试的多目标强化学习
ICSE 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)2023匹配度 2/10 · 该论文关注DNN使能系统的在线测试,使用强化学习与多目标搜索,属于ML系统测试/软件测试方向。但用户画像核心是静态分析、LLM/Agent与形式化验证/浮点/贝叶斯程序分析的交叉,论文未涉及静态分析、LLM或Agent,也未直接对应浮点或贝叶斯程序分析,因此匹配度较低。引用 59 inbox
Fitash Ul Haq, Donghwan Shin, Lionel C. Briand
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:提出MORLOT,用强化学习生成动态环境变化序列并结合多目标搜索,提升DNN使能系统的在线测试效果。

DNN已广泛用于自动驾驶等信息物理系统,确保这类DNN使能系统(DES)的正确行为至关重要。在线测试让系统与环境闭环交互,但环境变量(如光照)在测试执行中通常保持不变,原因是可探索的场景空间会急剧增大且需同时测试多个需求。本文提出MORLOT,将强化学习与多目标搜索结合用于在线测试:强化学习增量式生成环境变化序列,多目标搜索则决定具体变化,使测试更可能覆盖尚未满足的目标。作者在CARLA高保真模拟器中集成端到端驾驶的DNN使能ADS(Transfuser)进行实证评估,结果表明MORLOT在效果与效率上显著优于对比方法,且效应量大,适合在动态变化环境中考虑多重安全需求来测试DES。

问题
在线测试DNN使能系统时,环境变量常保持不变,难以同时覆盖多个安全或功能需求;而允许环境动态变化又会进一步扩大待探索场景空间。
方法
MORLOT结合强化学习与多目标搜索:用强化学习增量生成环境变化序列,用多目标搜索选择变化,使其更可能满足尚未覆盖的测试目标。
评估
在CARLA模拟器中集成基于Transfuser的端到端自动驾驶DNN系统进行实证评估,结果显示MORLOT在效果和效率上显著优于对比方法,且效应量大。
原文摘要(Abstract)

Deep Neural Networks (DNNs) have been widely used to perform real-world tasks in cyber-physical systems such as Autonomous Driving Systems (ADS). Ensuring the correct behavior of such DNN-Enabled Systems (DES) is a crucial topic. Online testing is one of the promising modes for testing such systems with their application environments (simulated or real) in a closed loop, taking into account the continuous interaction between the systems and their environments. However, the environmental variables (e.g., lighting conditions) that might change during the systems' operation in the real world, causing the DES to violate requirements (safety, functional), are often kept constant during the execution of an online test scenario due to the two major challenges: (1) the space of all possible scenarios to explore would become even larger if they changed and (2) there are typically many requirements to test simultaneously. In this paper, we present MORLOT (Many-Objective Rein-forcement Learning for Online Testing), a novel online testing approach to address these challenges by combining Reinforcement Learning (RL) and many-objective search. MORLOT leverages RL to incrementally generate sequences of environmental changes while relying on many-objective search to determine the changes so that they are more likely to achieve any of the uncovered objectives. We empirically evaluate MORLOT using CARLA, a high-fidelity simulator widely used for autonomous driving research, integrated with Transfuser, a DNN-enabled ADS for end-to-end driving. The evaluation results show that MORLOT is significantly more effective and efficient than alternatives with a large effect size. In other words, MORLOT is a good option to test DES with dynamically changing environments while accounting for multiple safety requirements.

链接与引用

DOI 原文 · arXiv · PDF(开放获取) · DBLP

BibTeX
@inproceedings{abs-2210-15432,
  title = {Many-Objective Reinforcement Learning for Online Testing of DNN-Enabled Systems},
  author = {Fitash Ul Haq and Donghwan Shin and Lionel C. Briand},
  booktitle = {ICSE},
  year = {2023},
  doi = {10.1109/icse48619.2023.00155}
}