Helping Users Debug Trigger-Action Programs
Helping Users Debug Trigger-Action Programs
复制标题
DOI：
10.1145/3569506
复制
发表时间：
2022-12
影响因子：
--
通讯作者：
Lefan Zhang;Cyrus Zhou;M. Littman;Blase Ur;Shan Lu
中科院分区：
文献类型：
--
作者：
Lefan Zhang;Cyrus Zhou;M. Littman;Blase Ur;Shan Lu
触发动作编程（TAP）使各种用户能够自动化物联网（IoT）设备。然而，对于用户来说，在第一次尝试时创建完全正确的编译器操作程序（TAP）可能具有挑战性，需要进行调试。虽然TAP已经得到了大量的研究关注，但TAP调试还没有。在本文中，我们提出了第一个实证研究用户的端到端的TAP调试过程中，专注于用户在调试TAP面临的障碍，以及用户最终如何修复不正确的自动化。为了实现这项研究，我们将TAP功能添加到现有的3D智能家居模拟器中。30名远程参与者使用该模拟器共花费了84小时调试TAP。如果没有额外的支持，由于我们记录的一系列障碍，参与者通常无法修复错误的TAP。然而，我们还发现，我们开发的两种新工具帮助参与者克服了许多障碍，并更成功地调试TAP。这些工具从用户那里收集关于过去应该或不应该发生的自动化的隐式或显式反馈，使用我们开发的基于SAT求解的算法来自动修改TAP以考虑这种反馈。
Trigger-action programming (TAP) empowers a wide array of users to automate Internet of Things (IoT) devices. However, it can be challenging for users to create completely correct trigger-action programs (TAPs) on the first try, necessitating debugging. While TAP has received substantial research attention, TAP debugging has not. In this paper, we present the first empirical study of users' end-to-end TAP debugging process, focusing on obstacles users face in debugging TAPs and how well users ultimately fix incorrect automations. To enable this study, we added TAP capabilities to an existing 3-D smart home simulator. Thirty remote participants spent a total of 84 hours debugging TAPs using this simulator. Without additional support, participants were often unable to fix buggy TAPs due to a series of obstacles we document. However, we also found that two novel tools we developed helped participants overcome many of these obstacles and more successfully debug TAPs. These tools collect either implicit or explicit feedback from users about automations that should or should not have happened in the past, using a SAT-solving-based algorithm we developed to automatically modify the TAPs to account for this feedback.