软件测试中的保证：路线图

作为研究者，我们已经懂得如何使测试在发现缺陷方面更加有效和高效。然而，随着模糊测试（即自动化测试）在实践中被广泛采用，从业者纷纷发问：一个未暴露任何缺陷的模糊测试活动提供了哪些保证？在具有合理残余风险的情况下，何时停止模糊测试器是安全的？为使覆盖率达标，模糊测试器还应运行多久？是时候超越日益精巧的测试技术的创新，去构建围绕测试过程阐释与量化的知识体系，并发展以可度量精度估计和外推这些量的可靠方法了。在我们展望的未来中，从业者利用丰富的统计工具集来评估残余风险、获得统计保证，并分析进行中模糊测试活动的成本-收益权衡。我们提出了一个通用框架作为应对这一根本挑战的首个起点，并讨论了大量具体的未来研究机遇。