paperbot · PL 论文追踪

全部论文 待读 收藏

P2 TestifAI: Tomography-Based Testing for Deep Learning Systems

TestifAI:基于断层扫描的深度学习系统测试
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 2/10 · 论文聚焦深度学习鲁棒性测试与多扰动组合估计,属于 ML testing 方向;用户核心兴趣是 PL→AI 的静态分析与 Agentic 程序、AI→PL 的 LLM/Agent 辅助静态分析/形式化验证,以及浮点/贝叶斯程序分析,本文均未涉及。引用 1 inbox
Arooj Arif, Tobias Hartung, Elena Botoeva, Alexandros Koliousis
crossref: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:提出 TestifAI,用部分模型断层扫描从低阶扰动测试重建高阶鲁棒性,大幅减少推理次数。

深度学习系统在安全关键领域部署,需充分测试其鲁棒性;但单次鲁棒性测试需数千次推理,现有框架难以系统探索并总结组合扰动空间下的鲁棒性。TestifAI 让用户以结构化空间指定语义输入扰动(如模糊、亮度、缩放)及其离散严重程度,并查询任意组合的鲁棒性。它提出部分模型断层扫描,从仅施加少量扰动的低阶投影重建多扰动空间中的模型行为;对至少三种扰动,仅用至多两种扰动的测试结果训练辅助模型,避免指数级测试。在五个图像和语言分类任务上,该方法可由低阶(1、2 扰动)观测预测高阶(3、4 扰动)结果,聚合鲁棒性估计误差低于 7%,推理次数减少 60–80%。

问题
现有深度学习鲁棒性测试框架难以系统探索和总结组合扰动空间下的鲁棒性,且完整测试代价高昂。
方法
TestifAI 用结构化扰动空间和部分模型断层扫描,从低阶扰动测试结果训练辅助模型以预测高阶组合的鲁棒性。
评估
在五个图像和语言分类任务上,高阶鲁棒性预测误差低于 7%,推理次数减少 60–80%。
原文摘要(Abstract)

As AI systems are increasingly deployed in safety-critical application domains (e.g., autonomous driving), associated risks increase too. Deep learning models underlying modern AI systems, therefore, must undergo thorough testing to ensure their correct behaviour. A single robustness test involves thousands of inferences to empirically verify if a model’s outputs remain stable under a bounded perturbation of its inputs. However, existing testing frameworks lack the means to systematically explore and summarise robustness across a combinatorial space of perturbations. We propose TestifAI, a deep learning testing framework for efficient and accurate estimation of robustness against combinations of perturbations. TestifAI enables users to specify operational conditions as structured spaces of semantic input perturbations (e.g., image blur, brightness and zoom) and discrete severity levels (e.g., low, medium and high). Users can query model robustness for any combination (e.g., “low blur, high brightness, and medium zoom”). To achieve efficiency and accuracy, TestifAI introduces partial model tomography, a novel approach to reconstructing model behaviour in a multi-perturbation space from tests that apply only a small number of perturbations (lower-order projections). To estimate robustness against at least three perturbations, TestifAI trains an auxiliary model on the results of tests involving up to two perturbations only, avoiding execution of an exponential number of tests. Our experiments on five image and language classification tasks show that TestifAI can predict higher-order (3 and 4 perturbations) test outcomes from low-order (1 and 2 perturbations) observations with an aggregate robustness estimation error of less than 7%, while reducing the number of inferences by 60–80%.

链接与引用

DOI 原文 · arXiv ·

BibTeX
@inproceedings{paperbot11858,
  title = {TestifAI: Tomography-Based Testing for Deep Learning Systems},
  author = {Arooj Arif and Tobias Hartung and Elena Botoeva and Alexandros Koliousis},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3744916.3787842}
}