A consistency-guaranteed approach for Internet of Things
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,...
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2020-01-01
|
| Series: | International Journal of Distributed Sensor Networks |
| Online Access: | https://doi.org/10.1177/1550147720901680 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850224783148449792 |
|---|---|
| author | Yang Zhang Shixin Sun Dongwen Zhang Jing Qiu Zhihong Tian |
| author_facet | Yang Zhang Shixin Sun Dongwen Zhang Jing Qiu Zhihong Tian |
| author_sort | Yang Zhang |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-5995a512ddc44fbd99a5470959b8a01b |
| institution | OA Journals |
| issn | 1550-1477 |
| language | English |
| publishDate | 2020-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | International Journal of Distributed Sensor Networks |
| spelling | doaj-art-5995a512ddc44fbd99a5470959b8a01b2025-08-20T02:05:32ZengWileyInternational Journal of Distributed Sensor Networks1550-14772020-01-011610.1177/1550147720901680A consistency-guaranteed approach for Internet of ThingsYang Zhang0Shixin Sun1Dongwen Zhang2Jing Qiu3Zhihong Tian4School of Information Science and Engineering, Hebei University of Science and Technology, Shijiazhuang, ChinaSchool of Information Science and Engineering, Hebei University of Science and Technology, Shijiazhuang, ChinaSchool of Information Science and Engineering, Hebei University of Science and Technology, Shijiazhuang, ChinaCyberspace Institute of Advanced Technology, Guangzhou University, Guangzhou, ChinaCyberspace Institute of Advanced Technology, Guangzhou University, Guangzhou, ChinaThe 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.https://doi.org/10.1177/1550147720901680 |
| spellingShingle | Yang Zhang Shixin Sun Dongwen Zhang Jing Qiu Zhihong Tian A consistency-guaranteed approach for Internet of Things International Journal of Distributed Sensor Networks |
| title | A consistency-guaranteed approach for Internet of Things |
| title_full | A consistency-guaranteed approach for Internet of Things |
| title_fullStr | A consistency-guaranteed approach for Internet of Things |
| title_full_unstemmed | A consistency-guaranteed approach for Internet of Things |
| title_short | A consistency-guaranteed approach for Internet of Things |
| title_sort | consistency guaranteed approach for internet of things |
| url | https://doi.org/10.1177/1550147720901680 |
| work_keys_str_mv | AT yangzhang aconsistencyguaranteedapproachforinternetofthings AT shixinsun aconsistencyguaranteedapproachforinternetofthings AT dongwenzhang aconsistencyguaranteedapproachforinternetofthings AT jingqiu aconsistencyguaranteedapproachforinternetofthings AT zhihongtian aconsistencyguaranteedapproachforinternetofthings AT yangzhang consistencyguaranteedapproachforinternetofthings AT shixinsun consistencyguaranteedapproachforinternetofthings AT dongwenzhang consistencyguaranteedapproachforinternetofthings AT jingqiu consistencyguaranteedapproachforinternetofthings AT zhihongtian consistencyguaranteedapproachforinternetofthings |