دورية أكاديمية

A consistency-guaranteed approach for Internet of Things

التفاصيل البيبلوغرافية
العنوان: A consistency-guaranteed approach for Internet of Things
المؤلفون: Yang Zhang, Shixin Sun, Dongwen Zhang, Jing Qiu, Zhihong Tian
المصدر: International Journal of Distributed Sensor Networks, Vol 16 (2020)
بيانات النشر: Wiley, 2020.
سنة النشر: 2020
المجموعة: LCC:Electronic computers. Computer science
مصطلحات موضوعية: Electronic computers. Computer science, QA75.5-76.95
الوصف: 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.
نوع الوثيقة: article
وصف الملف: electronic resource
اللغة: English
تدمد: 1550-1477
15501477
Relation: https://doaj.org/toc/1550-1477
DOI: 10.1177/1550147720901680
URL الوصول: https://doaj.org/article/5995a512ddc44fbd99a5470959b8a01b
رقم الأكسشن: edsdoj.5995a512ddc44fbd99a5470959b8a01b
قاعدة البيانات: Directory of Open Access Journals
الوصف
تدمد:15501477
DOI:10.1177/1550147720901680