paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Metamorphic Testing of Deep Reinforcement Learning Agents with MDPMorph

MDPMorph:深度强化学习智能体的蜕变测试
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 2/10 · 论文关注深度强化学习智能体的蜕变测试与故障检测,属于机器学习系统测试/调试方向,与用户核心的静态分析、LLM/Agent、浮点程序分析和贝叶斯程序分析交叉方向均无直接关联。虽然标签涉及“机器学习与程序语言”,但方法是动态测试而非静态分析,且不涉及 LLM 或程序分析技术。引用 0 inbox
Jiapeng Li, Zheng Zheng, Yuning Xing, Daixu Ren, Steven Cho, Valerio Terragni
crossref: 2026-09-12

AI 速览

一句话:提出基于MDP的蜕变测试工具MDPMorph,可自动检测深度强化学习智能体中的故障。

本文针对深度强化学习(DRL)智能体难以自动检测故障的问题,提出蜕变测试工具MDPMorph。该工具以马尔可夫决策过程(MDP)为基础,面向DRL智能体的核心推理属性,能够从被测系统自动生成蜕变测试套件和相应变异体。MDPMorph利用测试子集和模型,通过随机梯度下降训练九条基于MDP时间特性的蜕变关系(MR)的阈值,以确定每条MR的最优阈值;随后用MR比较不同蜕变测试套件在被测模型上的执行结果,判定测试通过或失败。最后汇总执行结果计算MR的变异体检测率以验证有效性。实验表明,MDPMorph及所提MR能高效自动检测种子故障(变异体)。

问题
DRL智能体行为复杂且缺乏可靠规约,传统测试方法难以自动发现其潜在故障。
方法
基于MDP构造蜕变关系,自动生成蜕变测试套件与变异体,并用随机梯度下降训练九条MR的最优阈值,通过比较执行结果判定测试通过或失败。
评估
在种子故障(变异体)上计算MR的变异体检测率,实验显示MDPMorph能高效自动检测故障。
原文摘要(Abstract)

We present MDPMorph, a tool for metamorphic testing of Deep Reinforcement Learning (DRL) agents. MDPMorph is based on the Markov Decision Process (MDP) and targets the core reasoning properties of DRL agents to automatically uncover potential faults. It can generate metamorphic test suites and corresponding mutants directly from the DRL system under test. MDPMorph uses a subset of the metamorphic test suite and models to train the thresholds of the nine proposed Metamorphic Relations (MRs) using stochastic gradient descent. These MRs are based on the temporal characteristics of the MDP, and the training aims to determine the optimal threshold for each MR. After obtaining the optimal threshold, MDPMorph leverages the MRs to compare the execution results of different metamorphic test suites on the model under test and reports whether each test passes or fails. Finally, by collecting the execution results, MDPMorph calculates the mutant detection rate of MR to validate its effectiveness. Experimental results show that MDPMorph and the proposed MRs are highly effective in automatically detecting seeded faults (mutants).

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot9429,
  title = {Metamorphic Testing of Deep Reinforcement Learning Agents with MDPMorph},
  author = {Jiapeng Li and Zheng Zheng and Yuning Xing and Daixu Ren and Steven Cho and Valerio Terragni},
  booktitle = {ASE},
  year = {2025},
  doi = {10.1109/ase63991.2025.00381}
}