arXiv:2404.17871v3 宣布类型: replace-cross 摘要：近年来，由深度学习（DL）技术驱动的软件系统在许多方面极大地方便了人们的生活。作为这些DL系统的支柱，各种DL库承担了底层的优化和计算任务。然而，就像传统的软件一样，DL库也不是免受错误的侵害，这些错误可能会对用户的个人财产和安全造成严重威胁。研究DL库的特点，与其相关的错误以及相应的测试方法对于提高DL系统的安全性以及推进DL技术的广泛应用至关重要。本文提供了与各种DL库相关的测试研究的综述，讨论了现有方法的优势和局限性，并为DL库的应用提供指导和参考。本文首先介绍了DL底层库的工作流程以及涉及三种类型的DL库——DL框架、DL编译器和DL硬件库——的特点。然后，本文为DL底层库错误和测试提供了定义。此外，本文总结了专门为这些DL库定制的现有测试方法和工具，并分析了它们的有效性和局限性。本文还讨论了DL库测试现有的挑战，并概述了未来研究的潜在方向。