由用户意图驱动的可延展移动应用程序的自动化功能测试

软件的可延展性使得应用程序即使在部署后也可以轻松更改、配置和调整。虽然之前的工作已经探索了可配置系统、自适应推荐系统和可延展的 GUI，但这些方法通常是针对特定软件量身定制的，缺乏通用性。在这项工作中，我们设想了每用户可延展的移动应用程序，最终用户可以指定通过基于 LLM 的代码生成自动实现的需求。然而，实现这一愿景需要克服设计自动化测试生成的关键挑战，该测试生成可以可靠地验证用户指定功能的存在性和正确性。我们提出 ALADDIN，一个用户需求驱动的 GUI 测试生成框架，它可以增量地导航 UI，触发所需的功能，并构建 LLM 引导的预言机来验证正确性。我们构建了一个涵盖六种流行移动应用程序的基准测试，其中包括正确和错误的用户请求功能，证明 ALADDIN 可以有效验证每个用户的功能，并且对于实际部署来说是实用的。我们的工作强调了将移动应用程序开发从产品经理驱动转变为最终用户驱动范例的可行性。