دورية أكاديمية
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 |