paperbot · PL 论文追踪

全部论文 待读 收藏

P2 CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing

CIT4DNN:利用潜在空间组合测试为神经网络生成多样且稀有的输入
ICSE Proceedings of the IEEE/ACM 46th International Conference on Software Engineering2024匹配度 3/10 · 该论文属于DNN测试输入生成与组合测试,与用户核心关注的静态分析、LLM/Agent、浮点程序分析及贝叶斯程序分析均无直接关联;仅在“机器学习系统可靠性”这一宽泛方向上存在弱交集。引用 14 inbox
Swaroopa Dola, Rory McDaniel, Matthew B. Dwyer, Mary Lou Soffa
crossref: 2026-09-12

AI 速览

一句话:提出黑盒方法 CIT4DNN,将组合交互测试用于生成模型潜在空间,生成特征多样且稀有的 DNN 测试输入。

深度神经网络已用于安全关键系统,但现有测试生成方法难以系统覆盖输入数据分布,且未探究稀有输入与故障的关系。本文提出 CIT4DNN,一种自动化黑盒方法:将组合交互测试应用于生成模型的潜在空间以构造特征多样的测试集,并通过对潜在空间几何施加约束来生成稀有且能暴露故障的测试输入。作者在多个数据集和模型上评估,结果表明 CIT4DNN 生成的测试比当前最优方法具有更高的特征多样性,并能更有效地针对稀有故障暴露输入。

问题
现有 DNN 测试生成缺乏对输入分布的系统覆盖,且稀有输入与故障之间的关系尚未被研究。
方法
CIT4DNN 对生成模型潜在空间应用组合交互测试,并施加潜在空间几何约束,以黑盒方式生成特征多样且稀有的测试输入。
评估
在多个数据集和模型上比较,CIT4DNN 的特征多样性和针对稀有故障暴露输入的能力优于现有方法。
原文摘要(Abstract)

Deep neural networks (DNN) are being used in a wide range of applications including safety-critical systems. Several DNN test generation approaches have been proposed to generate fault-revealing test inputs. However, the existing test generation approaches do not systematically cover the input data distribution to test DNNs with diverse inputs, and none of the approaches investigate the relationship between rare inputs and faults. We propose cit4dnn, an automated black-box approach to generate DNN test sets that are feature-diverse and that comprise rare inputs. cit4dnn constructs diverse test sets by applying combinatorial interaction testing to the latent space of generative models and formulates constraints over the geometry of the latent space to generate rare and fault-revealing test inputs. Evaluation on a range of datasets and models shows that cit4dnn generated tests are more feature diverse than the state-of-the-art, and can target rare fault-revealing testing inputs more effectively than existing methods.

链接与引用

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

BibTeX
@inproceedings{paperbot11480,
  title = {CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing},
  author = {Swaroopa Dola and Rory McDaniel and Matthew B. Dwyer and Mary Lou Soffa},
  booktitle = {ICSE},
  year = {2024},
  doi = {10.1145/3597503.3639106}
}