基于增强示例的交互式程序合成

视频

DOI

编程示例（PBE）已成为软件开发工具、人机交互和终端用户编程中越来越流行的组成部分。PBE中一个长期存在的挑战是用户提供的示例固有的歧义性。本文提出了一种交互式模型来消除用户意图的歧义并降低理解和验证合成程序的认知负担。我们的模型为用户给出的示例提供了两种类型的增强：1）语义增强，用户可以通过轻量级注释指定示例的不同方面应如何由合成器处理；2）数据增强，合成器生成额外示例以帮助用户理解和验证合成的程序。我们在正则表达式领域实现并展示了这种交互模型，正则表达式是一种流行的文本处理和数据整理机制，即使对经验丰富的程序员来说也常常被认为难以掌握。十二名参与者的一项受试者内用户研究表明，与仅检查和注释合成的程序相比，使用增强示例进行交互能显著提高完成任务的成功率，减少完成任务的时间，并增强用户对合成程序的信心。