帮助用户调试触发-动作程序

触发--action编程（TAP）使广大用户能够自动化物联网设备。然而，用户在首次尝试时创建完全正确的触发-动作程序（TAP）可能具有挑战性，需要调试。虽然TAP已获得大量研究关注，但TAP调试却尚未受到关注。在本文中，我们提出了第一个用户端到端TAP调试过程的实证研究，重点关注用户在调试TAP时面临的障碍，以及用户最终修复错误自动化的程度。为开展这项研究，我们将TAP功能添加到了现有的3D智能家居模拟器中。三十名远程参与者使用该模拟器共花费84小时调试TAP。在没有额外支持的情况下，参与者通常无法修复有缺陷的TAP，原因是我们记录的一系列障碍。然而，我们还发现，我们开发的两个新工具帮助参与者克服了许多这些障碍，并更成功地调试了TAP。这些工具收集关于过去应该或不应该发生的自动化的隐式或显式反馈，使用我们开发的基于SAT求解的算法自动修改TAP以考虑这些反馈。