arrow
返回

Helping Users Debug Trigger-Action Programs

delete2023-01-11
delete6
delete
OA
AI
L
Lefan Zhang *
C
Cyrus Zhou
M
Michael L. Littman
B
Blase Ur
S
Shan Lu
DOI:10.1145/3569506delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
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.
Keyword:
Trigger-action programming
end-user programming
end-user debugging
smart environment
symbolic reasoning
IoT
Internet of Things
IFTTT

期刊

P
Proceedings of the ACM on Interactive Mobile Wearable and Ubiquitous Technologies
IF:
4.5
论文数:
1.1K
被引数:
7.2K

机构

B
Brown University
学者数:
2.4W
论文数: 2.2W
被引数: 3.2W
U
university of chicago
学者数:
4.4W
论文数: 3.7W
被引数: 80