Helion：实现智能家居的自然测试
密码学与安全
2023-08-15 v1 软件工程
摘要
先前的研究已开发了众多用于测试智能家居安全性与可靠性的系统。要使这些系统在实践中适用，必须以代表智能家居实际使用（即真实环境中的家庭自动化）的现实场景对其进行测试。本演示论文介绍了 Helion 的技术细节与使用方法，该系统利用 n-gram 语言建模学习用户驱动程序（即为智能家居开发的日常例程）中的规律性，并预测自然家庭自动化场景，即反映真实家庭自动化使用的事件序列。我们展示了 HelionHA 平台，该平台通过将 Helion 与流行的 Home Assistant 智能家居平台集成而开发。HelionHA 允许通过将 Helion 的场景作为测试用例在真实与虚拟智能家居设备上执行，从而进行端到端的探索。
引用
@article{arxiv.2308.06695,
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},
journal= {arXiv preprint arXiv:2308.06695},
year = {2023}
}
备注
To be published in Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. arXiv admin note: text overlap with arXiv:1907.00124