paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Distribution-Aware Testing of Neural Networks Using Generative Models

基于生成模型的分布感知神经网络测试
ICSE 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)2021匹配度 3/10 · 论文关注DNN测试生成,使用深度生成模型确保有效输入,属于机器学习系统可靠性方向,但侧重于动态测试而非静态分析,且未涉及LLM/Agent、浮点程序分析或贝叶斯程序分析等用户核心方向。引用 70 inbox
Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:提出用深度生成模型将有效输入空间纳入 DNN 测试生成,避免无效测试并提升有效输入数量。

随着深度神经网络(DNN)被广泛部署于关键应用,其可靠性与可信测试变得至关重要。现有 DNN 测试生成技术缺乏对测试输入有效性的检查,因而会产生大量无效输入。作者首先考察了三种近期 DNN 测试技术,利用基于深度生成模型的输入验证表明它们均生成大量无效测试输入,并进一步分析无效输入会虚假抬高测试覆盖率指标。为克服该问题,论文提出在测试生成过程中融入被测 DNN 模型的有效输入空间,并采用基于深度生成模型的算法,仅生成有效输入。实证研究结果显示,该技术能有效消除无效测试,并提升所生成有效测试输入的数量。

问题
现有 DNN 测试生成技术缺少输入有效性检查,会生成大量无效测试输入,并可能虚假抬高测试覆盖率。
方法
使用深度生成模型进行输入验证,并设计一种将受测 DNN 有效输入空间纳入测试生成过程的算法,以仅生成有效输入。
评估
通过考察三种近期 DNN 测试技术并进行实证研究,验证无效输入问题的存在以及所提技术在消除无效测试、增加有效测试输入方面的效果。
原文摘要(Abstract)

The reliability of software that has a Deep Neural Network (DNN) as a component is urgently important today given the increasing number of critical applications being deployed with DNNs. The need for reliability raises a need for rigorous testing of the safety and trustworthiness of these systems. In the last few years, there have been a number of research efforts focused on testing DNNs. However the test generation techniques proposed so far lack a check to determine whether the test inputs they are generating are valid, and thus invalid inputs are produced. To illustrate this situation, we explored three recent DNN testing techniques. Using deep generative model based input validation, we show that all the three techniques generate significant number of invalid test inputs. We further analyzed the test coverage achieved by the test inputs generated by the DNN testing techniques and showed how invalid test inputs can falsely inflate test coverage metrics. To overcome the inclusion of invalid inputs in testing, we propose a technique to incorporate the valid input space of the DNN model under test in the test generation process. Our technique uses a deep generative model-based algorithm to generate only valid inputs. Results of our empirical studies show that our technique is effective in eliminating invalid tests and boosting the number of valid test inputs generated.

链接与引用

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

BibTeX
@inproceedings{abs-2102-13602,
  title = {Distribution-Aware Testing of Neural Networks Using Generative Models},
  author = {Swaroopa Dola and Matthew B. Dwyer and Mary Lou Soffa},
  booktitle = {ICSE},
  year = {2021},
  doi = {10.1109/icse43902.2021.00032}
}