paperbot · PL 论文追踪

全部论文 待读 收藏

P2 One step further: evaluating interpreters using metamorphic testing

更进一步:使用蜕变测试评估 DNN 解释器
ISSTA Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis2022匹配度 2/10 · 论文关注 DNN 解释器的蜕变测试与鲁棒性评估,属于机器学习测试/可解释性方向,与用户核心的静态分析、Agentic 程序、LLM/Agent 改进静态分析与形式化验证、浮点程序分析、贝叶斯程序分析均无直接关联;仅在“机器学习与程序语言”标签上有边缘交叉。引用 9 inbox
Ming Fan, Jiali Wei, Wuxia Jin, Zhou Xu, Wenying Wei, Ting Liu
crossref: 2026-09-12

AI 速览

一句话:提出用蜕变测试评估 DNN 解释器(解释方法)的鲁棒性,以应对同一分类案例下解释结果不一致的问题。

深度神经网络(DNN)的黑盒特性使其决策难以理解,限制了其在关键任务中的应用。近期许多解释器(解释方法)通过显著图(saliency map)提供相关特征,以提升 DNN 的透明度。然而,不同解释器对同一分类案例可能给出不同的解释结果,这促使作者对解释器开展鲁棒性评估。论文更进一步,采用蜕变测试(metamorphic testing)来评估解释器,利用蜕变关系考察解释结果在输入变换下是否保持一致或符合预期。摘要未给出具体实验结论,核心贡献在于将蜕变测试引入 DNN 解释器的鲁棒性评估。

问题
DNN 的黑盒特性导致其决策难以理解,而解释器虽用显著图提升透明度,但不同解释器对同一分类案例会给出不同解释结果,因此需要评估解释器的鲁棒性。
方法
采用蜕变测试(metamorphic testing)评估 DNN 解释器,通过蜕变关系检验解释结果在输入变换下的一致性。
评估
围绕解释器对同一分类案例给出不同解释结果的问题进行鲁棒性评估;摘要未报告具体实验设置与结果。
原文摘要(Abstract)

The black-box nature of the Deep Neural Network (DNN) makes it difficult for people to understand why it makes a specific decision, which restricts its applications in critical tasks. Recently, many interpreters (interpretation methods) are proposed to improve the transparency of DNNs by providing relevant features in the form of a saliency map. However, different interpreters might provide different interpretation results for the same classification case, which motivates us to conduct the robustness evaluation of interpreters.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot7402,
  title = {One step further: evaluating interpreters using metamorphic testing},
  author = {Ming Fan and Jiali Wei and Wuxia Jin and Zhou Xu and Wenying Wei and Ting Liu},
  booktitle = {ISSTA},
  year = {2022},
  doi = {10.1145/3533767.3534225}
}