paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Helion: Enabling Natural Testing of Smart Homes

Helion:实现智能家居的自然测试
FSE Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2023匹配度 1/10 · 该论文聚焦智能家居测试场景生成,使用 n-gram 语言模型学习用户例程,与用户关注的 PL→AI(静态分析/Agentic 程序)、AI→PL(LLM/Agent 改进静态分析/形式化验证)、浮点程序分析及贝叶斯程序分析均无直接关联。引用 4 inbox
Prianka Mandal, Sunil Manandhar, Kaushal Kafle, Kevin Moran, Denys Poshyvanyk, Adwait Nadkarni
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:提出 Helion,用 n-gram 语言模型学习智能家居例程规律,生成自然的家庭自动化测试场景。

智能家居安全与安全性测试系统要在实践中可用,必须用能代表真实家庭自动化使用的场景来测试。本文(demo 论文)介绍 Helion 的技术细节与使用方式:它利用 n-gram 语言模型学习用户编写的智能家居例程(routine)中的规律,并据此预测自然的家庭自动化场景,即反映真实使用的事件序列。作者进一步将 Helion 与流行的 Home Assistant 平台集成,构建了 HelionHA 平台,使这些场景能够作为测试用例,在真实和虚拟智能家居设备上端到端执行与探索,从而为智能家居测试提供更贴近实际的输入。

问题
智能家居安全与安全性测试系统需要真实、自然的家庭自动化使用场景,否则难以在实践中发挥作用。
方法
使用 n-gram 语言模型学习用户编写的智能家居例程中的规律,预测自然的事件序列,并将其与 Home Assistant 集成形成 HelionHA。
评估
以 demo 形式展示 HelionHA,将生成的场景作为测试用例在真实和虚拟智能家居设备上端到端执行与探索。
原文摘要(Abstract)

Prior work has developed numerous systems that test the security and safety of smart homes. For these systems to be applicable in practice, it is necessary to test them with realistic scenarios that represent the use of the smart home, i.e., home automation, in the wild. This demo paper presents the technical details and usage of Helion, a system that uses n-gram language modeling to learn the regularities in user-driven programs, i.e., routines developed for the smart home, and predicts natural scenarios of home automation, i.e., event sequences that reflect realistic home automation usage. We demonstrate the HelionHA platform, developed by integrating Helion with the popular Home Assistant smart home platform. HelionHA allows an end-to-end exploration of Helion’s scenarios by executing them as test cases with real and virtual smart home devices.

链接与引用

DOI 原文 · arXiv · PDF(开放获取) · DBLP

BibTeX
@inproceedings{MandalMKMPN23,
  title = {Helion: Enabling Natural Testing of Smart Homes},
  author = {Prianka Mandal and Sunil Manandhar and Kaushal Kafle and Kevin Moran and Denys Poshyvanyk and Adwait Nadkarni},
  booktitle = {FSE},
  year = {2023},
  doi = {10.1145/3611643.3613095}
}