arXiv:2504.02737v1 类型: cross 摘要：深度神经网络（DNN）测试对于关键系统的可靠性和安全性至关重要，系统故障可能导致严重后果。尽管已经开发了各种技术来创建稳健的测试套件，但对于DNN的要求驱动测试仍然 largely 未被探索——尽管如此，这些测试已被认为是关键系统软件验证的必不可少的组成部分。在本研究中，我们提出了一种基于要求的测试套件生成方法，该方法使用结构化的自然语言要求在语义特征空间中提出，并通过要求前提条件提示文本条件潜扩散模型，然后使用相关的后置条件定义一个测试预言来判断测试中的DNN输出。我们使用预训练生成模型的微调版本来研究这种方法。我们在MNIST、CelebA-HQ、ImageNet和自动驾驶汽车驾驶数据集上的实验表明，生成的测试套件是现实的、多样的、符合前提条件的，并且能够揭示故障。