报告分为三个部分。在第一部分中，我们回顾了现有的软件质量保证措施和技术——那些为传统软件开发并应用于传统软件的措施和技术。这部分对软件可靠性和指标、静态和动态测试以及正式规范和验证进行了相当全面的概述，可能会引起那些不关心人工智能软件的人的兴趣。在第二部分中，我们考虑了基于人工智能的软件的特征、第一部分中确定的措施和技术的适用性和潜在效用，并回顾了专门为基于人工智能的软件开发的少数​​方法。在本报告的第三部分中，我们提出了对这一重要领域的进一步探索的评估和建议。提供了包含 194 个条目的详尽参考书目。