paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Model-based exploration of the frontier of behaviours for deep learning system testing

面向深度学习系统测试的行为前沿的基于模型探索
FSE Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2020匹配度 3/10 · 该论文研究深度学习系统测试,关注模型行为空间与错误区域,属于ML系统可靠性方向;但与用户核心兴趣(面向ML/Agentic程序的静态分析、LLM改进静态分析、浮点程序分析、贝叶斯程序分析)均无直接交集。引用 3 inbox
Vincenzo Riccio, Paolo Tonella
crossref: 2026-09-12

AI 速览

一句话:提出基于模型探索深度学习系统行为前沿的方法,以测试其有效性域与错误行为交叠区域。

随着深度学习被用于自动驾驶等关键任务,评估依赖 DL 的系统质量变得至关重要。由于训练后的 DL 系统对任意数值向量都会产生输出,无论输入是否位于被测系统有效性域内,其质量取决于有效性域与输出表现为错误行为的区域之间的交集。该论文题为《Model-based exploration of the frontier of behaviours for deep learning system testing》,从标题可见其采用基于模型的方法探索行为前沿,从而面向深度学习系统测试,系统性地寻找并覆盖可能揭示错误行为的前沿区域。给出的摘要仅说明问题设定,未提供具体方法细节、实验设置或结果。

问题
训练后的 DL 系统对任意输入均产生输出,因此需要评估由其有效性域与输出错误行为区域交叠所决定的质量。
方法
从标题看,论文采用基于模型的行为前沿探索(model-based exploration)方法来测试深度学习系统。
评估
摘要未给出具体评估方式与结果;问题设定指向对有效性域与错误行为交叠区域的探索。
原文摘要(Abstract)

With the increasing adoption of Deep Learning (DL) for critical tasks, such as autonomous driving, the evaluation of the quality of systems that rely on DL has become crucial. Once trained, DL systems produce an output for any arbitrary numeric vector provided as input, regardless of whether it is within or outside the validity domain of the system under test. Hence, the quality of such systems is determined by the intersection between their validity domain and the regions where their outputs exhibit a misbehaviour.

链接与引用

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

BibTeX
@inproceedings{paperbot5836,
  title = {Model-based exploration of the frontier of behaviours for deep learning system testing},
  author = {Vincenzo Riccio and Paolo Tonella},
  booktitle = {FSE},
  year = {2020},
  doi = {10.1145/3368089.3409730}
}