基于好奇心驱动的顺序决策过程测试
软件工程
2025-09-03 v1
摘要
顺序决策过程 (SDPs) 是复杂现实问题的基础,如自动驾驶、机器人控制和交通管理。尽管深度学习 (DL) 的最新进展导致对这些复杂问题的解决方案成熟,但 SDP 仍然容易产生不安全行为,在安全关键应用中构成重大风险。然而,为 SDP 开发能识别多样化崩溃触发情景的测试框架仍是开放挑战。为此,我们提出 CureFuzz,一种新的基于好奇心驱动的黑盒模糊测试方法,用于 SDP。CureFuzz 提出一种好奇心机制,使模糊器能够有效探索新颖且多样化的情景,从而提高发现崩溃触发情景的能力。此外,我们引入多目标种子选择技术,以平衡新情景探索和崩溃触发情景生成,从而优化模糊过程。我们在各种 SDP 上进行评估,实验结果表明,CureFuzz 在总故障数和不同类型崩溃触发情景数量上显著优于最先进的方法。我们还展示,CureFuzz 发现的崩溃触发情景可用于修复 SDP,从而证明 CureFuzz 是测试 SDP 和优化其性能的有价值工具。
引用
@article{arxiv.2509.02025,
title = {Curiosity-Driven Testing for Sequential Decision-Making Process},
author = {Junda He and Zhou Yang and Jieke Shi and Chengran Yang and Kisub Kim and Bowen Xu and Xin Zhou and David Lo},
journal= {arXiv preprint arXiv:2509.02025},
year = {2025}
}
备注
Update the Replication Package URL