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.
展开▼
机译：Internet Internet Internet的软件架构定义了物联网系统的组件模型和互连拓扑。重构是一种系统实践，可以改善软件结构而不改变其外部行为。当物联网软件被重构时，有必要检测物联网软件的正确性，以确保其安全性。为此，本文提出了一种新的重构校正检测方法来确保软件安全性。控制流程分析和数据流分析用于检测重构前后的代码变化，并且使用同步依赖性分析来检测同步依赖性的变化。三种检测算法被设计为检测重构正确性。四个真实的基准应用程序用于评估我们的方法。实验结果表明，我们所提出的方法可以确保物联网软件重构的正确性。
展开▼
