{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,9]]，“日期时间”：“2024-09-09T19:52:45Z”，“时间戳”：1725911565299}，“引用计数”：44，“发布者”：“计算机协会（ACM）”，“问题”：“4”，“内容域”：{domain“域”：[“dl.ACM.org”]，“交叉标记限制离子“：真}，“short-container-title”：[“Proc.ACM Interact.Mob.Wearable Ubiquitous Technol.”]，“published-print”：{“date-parts”：[[2022,12,21]]}，“abstract”：“触发操作编程（TAP）使大量用户能够自动化物联网（IoT）设备。然而，对于用户来说，在第一次尝试时创建完全正确的触发操作程序（TAP）可能是一项挑战，因此需要进行调试。虽然TAP得到了大量的研究关注，但TAP调试却没有。在本文中，我们首次对用户的端到端TAP调试过程进行了实证研究，重点关注用户在调试TAP时面临的障碍以及用户最终如何修复错误的自动化。为了实现这项研究，我们在现有的3-D智能家居模拟器中添加了TAP功能。30名远程参与者使用此模拟器调试TAP总共花了84个小时。如果没有额外的支持，由于我们记录的一系列障碍，参与者通常无法修复有缺陷的TAP。然而，我们还发现，我们开发的两个新工具帮助参与者克服了许多这些障碍，并更成功地调试了TAP。这些工具使用我们开发的基于SAT求解的算法来自动修改TAP，以解释这种反馈，从而收集用户关于过去应该发生或不应该发生的自动化的隐式或显式反馈<\/jats:p>“，”DOI“：”10.1145\/3569506“，”type“：”期刊文章“，”已创建“：｛”日期部分“：[[2023,1,11]，”日期时间“：”2023-01-11T20:34:01Z“，”时间戳“：1673469241000｝，”page“：”1-32“，”update policy“：”http:\/\/dx.DOI.org/10.1145\/crosmark policy“，”source“：”Crossref“，”由count引用“：6，”title“：[”帮助用户调试触发器操作程序“]，“前缀“：”10.1145“，”卷“：”6“，”作者“：[{”ORCID“：”http://\/ORCID.org\/0000-0001-6559-9630“，”authenticated-ORCID“：false，”给定“：”乐凡“，”家庭“：”张“，”sequence“：”first“，”affiliation“：[[{“name”：“University of Chicago，Chicagoa，Illinois，USA”}]}，{“ORCID”：“http://\/ORCID.org\/10000-0001-8768-0659”，“authenticationed-ORCID”：false“，”给定“：”赛勒斯“，”family“：”Zhou“，”sequence“：”additional“，”affiliation“：[{”name“：”University of Chicago，Chicago，Illinois，USA“}]}，{”ORCID“：”http://\/ORCID.org\/00000-0002-5596-1840“，”authenticated-ORCID“：false，”given“：“Michael Lhttp:\/\/orcid.org\/00000-0001-9365-3155“，”authenticated-orcid“：false，”given“：”Blase“，”family“：”Ur“，”sequence“：”additional“，”affiliation“：[{”name“：”University of Chicago，Chicago's，Chicaco，Illinois，USA“}]}，{”orcid“：“http://\/orcid=org\/0000-0002-0757-4600”，”authonticated-orcid“：false，”giving“：”Shan“，”家人“：”Lu“，“sequence”：“additional”，“affiliance”：[{“name“：”美国伊利诺伊州芝加哥芝加哥大学“}]}]，“member”：“320”，“published-online”：{“date-parts”：[[2023,1,1]]}，“reference”：[{“key”：“e_1_1_1”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/33953397347”}，{“密钥”：“e_1_2_1_2”，“volume-title”：“Bloom分类法”，“author”：“Anderson Lorin W”，“年份：“1994”，“非结构化”：洛林·安德森（Lorin W Anderson）和劳伦·索斯尼亚克（Lauren A Sosniak）。布鲁姆分类法。芝加哥大学出版社，美国伊利诺伊州芝加哥，1994年。洛林·安德森（Lorin W Anderson）和劳伦·索斯尼亚克（Lauren A Sosniak）。布鲁姆分类法。芝加哥大学出版社芝加哥，伊利诺伊州，美国，1994年。“}，{”key“：”e_1_1_3_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/3290605.3300782”}，“issue”：“3”，“key”：“e_2_1_4_1”，“first page”：”22“，”article-title“：”系统地确保实时家庭自动化物联网系统的信心“，”volume“：“2”，“author”：“Bu Lei”，“year”：“2018”，“unstructured”：“”Lei Bu、Wen Xiong、Chieh Jan Mike Liang、Shi Han、Dongmei Zhang、Shan Lin和Xuandong Li。系统地确保实时家庭自动化物联网系统的可信度。ACM TCPS，2（3）：2018年22月。雷布、文雄、Chieh-Jan Mike Liang、石涵、张冬梅、林珊和李宣东。系统地确保实时家庭自动化物联网系统的可信度。ACM TCPS，2（3）：222018。“，”journal-title“：”ACM TCPS“}，{”key“：”e_1_1_5_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/3025453.3025485”}，“key”：“e_1_i_1_6_1”，“volume-title”：“Proc.USENIX ATC”，“author”：“Celik Z.Berkay”，“year”：“2018”，“unstructured”：“Z。Berkay Celik、Patrick McDaniel和Gang Tan。SOTERIA：自动化物联网安全和安保分析。程序中。USENIX ATC，2018年。Z.Berkay Celik、Patrick McDaniel和Gang Tan。SOTERIA：自动化物联网安全和安保分析。程序中。USENIX ATC，2018。“}，{”key“：”e_1_1_7_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/ICDCSW.2017.30”}，“key”：“e_2_1_8_1”，“doi-assert-by”：“publisher”，”doi“：”10.1109\/DSN48063.2020.0056“}”，{，{“键”：“e_1_2_1_10_1”，“卷时间”：“SIGCHI计算机系统人为因素会议记录”，“作者”：“Corno Fulvio”，“年份”：“2019年”，“非结构化”：“Fulvio Corno、Luigi De Russis和Alberto Monge Roffarello。授权最终用户调试触发器操作规则。2019年SIGCHI计算机系统人为因素会议记录。富尔维奥·科诺（Fulvio Corno）、路易吉·德鲁西斯（Luigi De Russis）和阿尔贝托·蒙格·罗法雷洛（Alberto Monge Roffarello）。授权最终用户调试触发器操作规则。2019年SIGCHI计算机系统人为因素会议论文集。“}，{“key”：“e_1_1_11_1”，“volume-title”：“Luigi De Russis和Alberto Monge Roffarello。从用户意图到物联网中的if-then规则。ACM信息系统交易（TOIS），39（4）：1-33”，“author”：“Corno Fulvio”，“year”：“2021”，“非结构化”：“富尔维奥·科诺（Fulvio Corno）、路易吉·德鲁西斯（Luigi De Russis）和阿尔贝托·蒙格·罗法雷洛（Alberto Monge Roffarello）。从用户的意图到物联网中的if-then规则。ACM信息系统交易（TOIS），39（4）：1-332021。Fulvio Corno、Luigi De Russis和Alberto Monge Roffarello。从用户的意图到物联网中的if-then规则。美国计算机学会信息系统学报（TOIS），39（4）：1-332021。“}，{”key“：”e_1_1_12_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3-030-24781-2_2”}，“{”密钥“：”e_1_2_1_13_1“”，“doi-assert-by”：“publisher”，“doi:”10.5555\/1792734.1792766“}”，{“key”：“e_2_14_1”，”doi-asserted-by““，”doi“：”10.1145\/3170427.3188641“}，{”密钥“：”e_1_2_1_15_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/S0020-7373（75）80005-8”}，{“key”：“e_1_i_16_1”，“volume-title”：“终端用户调试策略：一个语义视角。计算机与人类交互ACM事务（TOCHI），19（1）：1-28”，“author”：“Grigoreanu Valentina”，“year”：“2012”，“unstructured”：“瓦伦蒂娜·格里戈雷纳（Valentina Grigoreanu）、玛格丽特·伯内特（Margaret Burnett）、苏珊·维登贝克（Susan Wiedenbeck）、吉尔·曹（Jill Cao）、凯尔·雷克托（Kyle Rector）和欧文·。终端用户调试策略：一个有意义的视角。美国计算机与人类交互学会学报（TOCHI），19（1）：1--282012。Valentina Grigoreanu、Margaret Burnett、Susan Wiedenbeck、Jill Cao、Kyle Rector和Irwin Kwan。终端用户调试策略：一个有意义的视角。美国计算机与人类交互学会学报（TOCHI），19（1）：1--282012.“}，{”key“：”e_1_1_17_1“，”unstructured“：”Home Assistant.https:\/\/www.Home-Assistant.io\/docs\/automation\/.Home Assister.https:\//www.Home-Assistant.io \/docs \/automation \/.“}”，{“key”：“e_2_1_18_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1109\/ICWS53863.2021.00048“}，{”key“：”e_1_1_19_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/2750858.2805830”}，{“key”：“e_2_1_20_1”，“volume-title”：“TheNextWeb”，“author”：“Hughes Matthew”，“year”：“2018”，“unstructured”：“马修·休斯。Mozilla的新Things Gateway为您的智能设备提供了一个开放的家。TheNextWeb，2018年2月7日。马修·休斯。Mozilla的新Things Gateway为您的智能设备提供了一个开放的家。TheNextWeb，2018年2月7日。“}，{”key“：”e_1_2_1_21_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/j.buildenv.2020.106983”}，“key”：“e_1_i_1_22_22_1”，“volume-title”：“Business Insider”，“author”：“Intelligence Insider“，”year“：”2020“，”unstructured“：”内部情报。物联网设备和智能家居自动化如何在2020年进入我们的家庭。《商业内幕》，2020年1月6日。https:\/\/www.businessinsider.com/iot-smart-home-automation。内部情报。物联网设备和智能家居自动化在2020年如何进入我们的家庭。《商业内幕》，2020年1月6日。https:\/\/www.businessinsider.com/iot-smart-home-automation。“}，{”key“：”e_1_1_23_1“，”first page“：“2021”，”article-title“：”基于多特征的规则链识别模型“，”author“：”Jiang Keyu“，”year“：”2021“，”unstructured“：”姜克瑜、张汉毅、张伟婷、方立明、葛春鹏、袁媛和刘哲。Tapchain：基于多个特征的规则链识别模型。《安全与通信网络》，2021年、2021年。姜克瑜、张汉毅、张伟婷、方立明、葛春鹏、袁媛和刘哲。Tapchain：基于多个特征的规则链识别模型。Security and Communication Networks，2021，2021.“，”journal-title“：”Security and Communication Network“}，{“key”：“e_1_2_1_24_1”，“volume-title”：“LifeHacker”，“author”：“Klosowski Thorin”，“year”：“2016”，“unstructured”：“索林·克洛索夫斯基。自动化决战：IFTTT vs Zapier vs Microsoft Flow。LifeHacker，2016年6月26日。索林·克洛索夫斯基。自动化决战：IFTTT vs Zapier vs Microsoft Flow。LifeHacker，2016年6月26日。“}，{”key“：”e_1_2_1_25_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/2993422.2993426”}，“{”key“：“e_1_i_1_26_1”，“doi-assert-by”：“publisher”，”doi“：”10.1016\/j.ijhcs.2018.11.005“}”，{“key”：“e_i_1_27_1”、“volume-title”：“SIGCHI计算机系统人为因素会议论文集”，“作者”：“Mennicken Sarah”，“年份”：“2016”，“非结构化”：“Sarah Mennicken、David Kim和Elaine May Huang。将智能家居集成到数字日历中。2016年SIGCHI计算机系统人为因素会议记录。Sarah Mennicken、David Kim和Elaine May Huang。将智能家居集成到数字日历中。在2016年SIGCHI计算机系统人为因素会议记录中。“}，{“key”：“e_1_2_1_28_1”，“volume-title”：“Smart Things via sensors，app.Recode.net”，“author”：“Mossberg Walt”，“year”：“2014”，“unstructured”：“Walt Mossberg.Smart Thngs via sensors，app.Recode.net，2014.Walt Mossiberg。Smart Things通过传感器和应用程序自动控制您的房子。Recode.net，2014.“}，{“key”：“e_1_2_1_29_1”，“doi断言者”：“publisher”，“doi”：“10.1145\/29933600.2601”}，{“key”：“e_1_2_30_1”，“非结构化”：“openHAB.https:\/\/www.openHAB.org/.openHAB.https:\/\/www.openHAB.org/”}，{“key”：“e_1_2_1_31_1”，“doi断言者”：“publisher”，“doi”：“10.1109\/SW.2019.00034“｝，｛”键“：”e_1_2_1_32_1“，”卷标题“：”https:\/\/www.prolific.co\/“，”year“：”2022“，”unstructured“：”prolific“。https:\/\/www.prolific.co\/，2022年。多产。https:\/\/www.prolific.co\/，2022.“}，{”key“：”e_1_1_33_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/j.ifacol.2016.07.172”}，“key”：“e_1_i_1_34_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/3191767“}”，{“key“”：“e_1_2_1_35_1”10.1145\/2556288.2557420“}，{“key”：“e_1_2_1_36_1”，“doi-asserted-by”：“publisher”，”DOI“：”10.1016\/S0020-7373（85）80054-7“}，{”key“：”e_1_1_37_1“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1145\/3319535.3345662”}，}“key”：“e_2_1_38_1”，“DOI-assert-by”：“publisher”，”DOI“:”10.1109\/JIOT.2019.2959063“}”，{“首页”：“176”，“DOI”：“10.1109\/COGINF.2004.1327473”，“卷时间”：“《第三届IEEE认知信息学国际会议论文集》，2004年，“作者”：“徐绍春”，“年份”：“2004年”，“非结构化”：“徐绍春和V\u00e1clav Rajlich。程序调试期间的认知过程。第三届IEEE认知信息学国际会议论文集，2004年。，第176-182页。IEEE，2004年。徐少春和V\u00e1clav Rajlich。程序调试期间的认知过程。《第三届IEEE认知信息学国际会议论文集》，2004年，第176-182页。IEEE，2004.“}，{“key”：“e_1_2_1_40_1”，“volume-title”：“Tapinspector:并发触发-操作物联网系统的安全性和活性验证。arXiv预印本arXiv:2102.01468”，“author”：“于银波”，“year”：“2021”，“unstructured”：“于银波和刘佳佳。攻丝检查员：并发触发操作物联网系统的安全性和活性验证。arXiv预打印arXiv:2102.014682021。于银波和刘佳佳。攻丝检查员：并发触发操作物联网系统的安全性和活性验证。arXiv预印本arXiv:2102.014682021。“}，{”key“：”e_1_1_41_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/ICSE.2019.00043”}，}“问题”：“3”，“key”：“e_1_i_1_42_1”，“doi-assert-by”：“crossref”，”first page“：“1”，”doi“：”10.1145\/3411838“，”article-title“：”根据行为痕迹合成触发器操作程序。ACM关于互动、移动的会议记录”，“卷”：“4”，“作者”：“张乐凡”，“年份”：“2020年”，“非结构化”：“张乐凡、何维嘉、奥利维娅·莫克维德、赵瓦莱丽、迈克尔·利特曼、单露和布莱斯·乌尔。Trace2tap：根据行为痕迹合成触发器操作程序。ACM互动、移动、可穿戴和普及技术会议录，4（3）：2020年1-26月。张乐凡（Lefan Zhang）、何维嘉（Weijia He）、奥利维娅·莫克维德（Olivia Morkved）、瓦莱丽·赵（Valerie Zhao）、迈克尔·L·利特曼（Michael L Littman）、山路（Shan Lu）和。Trace2tap：根据行为痕迹合成触发器操作程序。《美国计算机学会互动、移动、可穿戴和通用技术会议录》，4（3）：1-2020年1-26月。“，“journal-title”：“可穿戴和普适技术”}，{“key”：“e_1_1_43_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/3411764.345567“}，”key“e_2_1_44_1”“，”doi-assert-by“：”publisher“，”doi:“10.1145\/3334480.3382940”}]，”container-title“：[“ACM关于交互式、移动、可穿戴和通用技术的会议记录”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/3569506”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期段”：[2024,1,11]]，“date-time“：”2024-01-11T11:12:34Z“，”timestamp“：1704971554000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/3569506”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“date-parts”：[2022,12,21]]}，‘references-count’：44，‘日志发布’：{‘发布’：“4”，“published-prer int“：{“date-parts”：[[2022,12,21]]}}，“alternative-id”：[“10.1145\/3569506“]，”URL“：”http://\/dx.doi.org\/10.1145\/3569506“，”关系“：{}，”ISSN“：[”2474-9567“]，“ISSN-type”：[{“value”：“2474-9657”，“type”:“electronic”}]，“subject”：[]，“published”：{“date-parts”：[2022,12,21]]}，“assertion”：[{“value”：“2023-01-11”，“order”：2，“name”：“”published“，”label“：”published“，”group“：{”name“：”publication_history“，”标签“：”出版历史“}}]}}