文章基本信息

标题：A consistency-guaranteed approach for Internet of Things software refactoring
本地全文：下载
作者：Yang Zhang ; Shixin Sun ; Dongwen Zhang 等
期刊名称：International Journal of Distributed Sensor Networks
印刷版ISSN：1550-1329
电子版ISSN：1550-1477
出版年度：2020
卷号：16
期号：1
页码：1
DOI：10.1177/1550147720901680
出版社：Hindawi Publishing Corporation
摘要：The software architecture of Internet of Things defines the component model and interconnection topology of Internet of Things systems. Refactoring is a systematic practice of improving a software structure without altering its external behaviors. When the Internet of Things software is refactored, it is necessary to detect the correctness of Internet of Things software to ensure its security. To this end, this article proposes a novel refactoring correction detection approach to ensure software security. Control flow analysis and data flow analysis are used to detect code changes before and after refactoring, and synchronization dependency analysis is used to detect changes in synchronization dependency. Three detection algorithms are designed to detect refactoring correctness. Four real-world benchmark applications are used to evaluate our approach. The experimental results show that our proposed approach can ensure correctness of Internet of Things software refactoring.
关键词：IoT software; consistency detection; control flow analysis; data flow analysis; synchronization dependency analysis
其他关键词：IoT software ; consistency detection ; control flow analysis ; data flow analysis ; synchronization dependency analysis