Show simple item record

AuthorZhang, Yang
AuthorShao, Shuai
AuthorJi, Minghan
AuthorQiu, Jing
AuthorTian, Zhihong
AuthorDu, Xiaojiang
AuthorGuizani, Mohsen
Available date2022-12-26T06:56:25Z
Publication Date2020-01-01
Publication NameApplied Sciences (Switzerland)
Identifierhttp://dx.doi.org/10.3390/app10010413
CitationZhang, Y., Shao, S., Ji, M., Qiu, J., Tian, Z., Du, X., & Guizani, M. (2020). An automated refactoring approach to improve IoT software quality. Applied Sciences, 10(1), 413.‏
URIhttps://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85079291355&origin=inward
URIhttp://hdl.handle.net/10576/37571
AbstractInternet of Things (IoT) software should provide good support for IoT devices as IoT devices are growing in quantity and complexity. Communication between IoT devices is largely realized in a concurrent way. How to ensure the correctness of concurrent access becomes a big challenge to IoT software development. This paper proposes a general refactoring framework for fine-grained read-write locking and implements an automatic refactoring tool to help developers convert built-in monitors into fine-grained ReentrantReadWriteLocks. Several program analysis techniques, such as visitor pattern analysis, alias analysis, and side-effect analysis, are used to assist with refactoring. Our tool is tested by several real-world applications including HSQLDB, Cassandra, JGroups, Freedomotic, and MINA. A total of 1072 built-in monitors are refactored into ReentrantReadWriteLocks. The experiments revealed that our tool can help developers with refactoring for ReentrantReadWriteLocks and save their time and energy.
SponsorThis research is supported by the Guangdong Province Key Research and Development Plan (2019B010137004), the National Key research and Development Plan (2018YEB1004003), the National Natural Science Foundation of China (U1636215,61871140,61872100), in part by the Scientific Research Foundation of Hebei Educational Department under Grant ZD2019093, in part by the Fundamental Research Foundation of Hebei Province under Grant 18960106D, and Guangdong Province Universities and Colleges Pearl River Scholar Funded Scheme (2019).
Languageen
PublisherMDPI AG
SubjectConcurrency
IoT software
Refactoring
Software quality
Synchronization
TitleAn automated refactoring approach to improve IoT software quality
TypeArticle
Issue Number1
Volume Number10
dc.accessType Open Access


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record