paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Revisiting "Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion": A Critical Review and Implications on DNN Coverage Testing

重新审视“重新审视 DNN 测试的神经元覆盖:一种分层且分布感知的准则”:一篇批判性综述及对 DNN 覆盖测试的启示
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 4/10 · 论文属于 PL/SE 与机器学习交叉的 DNN 测试覆盖准则批判性复审,涉及覆盖准则的理论性质与实证效度,与用户关注的 ML 系统分析有间接关联;但未涉及静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析,不是核心研究方向。引用 2 inbox
Jinhan Kim, Nargiz Humbatova, Gunel Jahangirova, Shin Yoo, Paolo Tonella
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:批判性复审 NLC 覆盖准则,指出其违背单调性与测试套件顺序无关性,并揭示实证效度问题。

本文对 Yuan 等人在 ICSE 2023 提出的当前最优 DNN 覆盖准则 NLC 进行批判性复审。尽管 NLC 声称满足八项设计需求并具有良好实证表现,作者质疑其理论与实证假设。他们发现 NLC 偏离覆盖准则的核心原则,如单调性和测试套件顺序无关性,且对协方差矩阵关键性质的利用不充分;同时指出其实证研究在测试套件真值排序上存在效度威胁。通过实证验证,作者证实上述问题,并为未来 DNN 覆盖度量提出改进方向,最后讨论这些洞见对 DNN 覆盖测试的启示。

问题
当前最优的 DNN 覆盖准则 NLC 是否真正满足覆盖准则的核心原则,如单调性与测试套件顺序无关性?其理论与实证结论是否可靠?
方法
对 NLC 进行批判性综述,质疑其设计假设与协方差矩阵利用方式,并通过实证验证检验测试套件真值排序等效度威胁。
评估
通过实证实验证实对 NLC 的理论与实证质疑,并据此提出未来 DNN 覆盖度量的改进建议。
原文摘要(Abstract)

We present a critical review of Neural Coverage (NLC), a state-of-the-art DNN coverage criterion by Yuan et al. at ICSE 2023. While NLC proposes to satisfy eight design requirements and demonstrates strong empirical performance, we question some of their theoretical and empirical assumptions. We observe that NLC deviates from core principles of coverage criteria, such as monotonicity and test suite order independence, and could more fully account for key properties of the covariance matrix. Additionally, we note threats to the validity of the empirical study, related to the ground truth ordering of test suites. Through our empirical validation, we substantiate our claims and propose improvements for future DNN coverage metrics. Finally, we conclude by discussing the implications of these insights.

链接与引用

DOI 原文 · arXiv · DBLP

BibTeX
@inproceedings{abs-2601-08729,
  title = {Revisiting "Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion": A Critical Review and Implications on DNN Coverage Testing},
  author = {Jinhan Kim and Nargiz Humbatova and Gunel Jahangirova and Shin Yoo and Paolo Tonella},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3744916.3773148}
}