arXiv:2504.02737v2 通知类型: replace-cross 摘要：深度神经网络（DNN）测试对于关键系统的可靠性和安全性至关重要，其中的失败可能导致严重的后果。尽管已经发展出了多种技术来创建稳健的测试套件，但针对DNN的需求驱动测试仍然很少被探索——然而，这样的测试被认可是关键系统软件验证的一个重要组成部分。在本次工作中，我们提出了一种需求驱动的测试套件生成方法，该方法使用语义特征空间中制定的结构化自然语言需求来通过提示预训练生成模型的文本条件潜在扩散模型生成测试套件，然后利用相关后置条件定义一个测试或acles来判断测试下DNN输出的质量。我们使用微调后的预训练生成模型变体研究了该方法。我们的实验在MNIST、CelebA-HQ、ImageNet和自动驾驶汽车驾驶数据集上表明，生成的测试套件是现实的、多样的、与前置条件一致的，并且能够揭示故障。