基于需求的测试生成：一项全面综述

《ACM Transactions on Software Engineering and Methodology》：Requirements-Based Test Generation: A Comprehensive Survey

软件测试通过生成和执行测试用例确保质量，需求驱动测试生成（RBTG）无需源代码即可基于需求构建测试用例。本文系统综述RBTG领域，涵盖需求分类、方法体系、测试用例类型、工具开发、评估方法及工业应用，探讨当前挑战与未来方向。

　　

摘要

作为确保软件质量的重要手段，软件测试通过生成和执行测试用例来识别软件缺陷。已经提出了许多策略来指导测试用例的生成，例如基于源代码的方法和基于错误报告的方法。基于需求的测试生成（RBTG）根据指定的需求构建测试用例，从而与用户需求和期望保持一致，而无需访问源代码。自1994年引入以来，RBTG的发展取得了许多进展，包括各种方法、实现方式、工具、评估和评价方法以及应用场景。本文对RBTG进行了全面综述，对需求类型进行了分类，探讨了测试用例的类型，总结了现有的工具，并分析了实验评估结果。此外，本文还总结了RBTG的应用领域和工业应用，并讨论了一些未解决的研究挑战和潜在的未来研究方向。