降低成本提升软件质量：软件工程领域的永恒追求

在软件行业中，以更高质量、更低成本开发软件一直是一个关键目标，也是软件工程领域许多研究人员的关注重点[1–7]。根据2018年的一项研究，企业软件市场规模达到了3.7万亿美元，其中有23%与质量保证（QA）和测试相关[8]。在交付前从软件中排除缺陷非常重要。然而，随着软件规模和复杂性的增长，要识别出所有的错误变得越来越困难[10]。关键系统中的小错误可能导致灾难性后果。