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