Investigating the Use of Static Analysis in the Context of Smart Cities Applications: An Exploratory StudyInvestigating the Use of Static Analysis in the Context of Smart Cities Applications: An Exploratory StudyInvestigating the Use of Static Analysis in the Context of Smart Cities Applications: An Exploratory StudyInvestigating the Use of Static Analysis in the Context of Smart Cities Applications: An Exploratory StudyInvestigating the Use of Static Analysis in the Context of Smart Cities Applications: An Exploratory StudyInvestigating the Use of Static Analysis in the Context of Smart Cities Applications: An Exploratory StudyInvestigating the Use of Static Analysis in the Context of Smart Cities Applications: An Exploratory Study 

 

smart cities, static analysis, empirical studies

smart cities, static analysis, empirical studies

 

 

 

The evolution of software and hardware systems has enabled the application of such technologies

to assist in solving day-to-day problems in the context of big cities. Over the last

years, there is an increasing interest companies, researchers and government in the development

of large-scale systems and applications for the domain of smart cities. Large-scale

software systems often present critical challenges for their development, maintenance and

evolution. Smart city applications typically involve dealing with many challenges, such

as scalability, security, communication and heterogeneity. One way to identify problems

in the source code of large-scale systems is through the usage of static analysis tools. In

this context, this work presents an exploratory study that aims to evaluate the usefulness

of modern static analysis tools in the context of smart city applications. The study

analyzes 3 real smart cities systems through the analysis of rule violations reported by the

SonarQube tool. In addition, the work also relates such violations to existing challenges

of the smart city domain reported by the literature. The results show that the challenges

of security, data management and maintenance of the platform are the ones that exhibit

more problems related to static analysis.

The evolution of software and hardware systems has enabled the application of such technologies

to assist in solving day-to-day problems in the context of big cities. Over the last

years, there is an increasing interest companies, researchers and government in the development

of large-scale systems and applications for the domain of smart cities. Large-scale

software systems often present critical challenges for their development, maintenance and

evolution. Smart city applications typically involve dealing with many challenges, such

as scalability, security, communication and heterogeneity. One way to identify problems

in the source code of large-scale systems is through the usage of static analysis tools. In

this context, this work presents an exploratory study that aims to evaluate the usefulness

of modern static analysis tools in the context of smart city applications. The study

analyzes 3 real smart cities systems through the analysis of rule violations reported by the

SonarQube tool. In addition, the work also relates such violations to existing challenges

of the smart city domain reported by the literature. The results show that the challenges

of security, data management and maintenance of the platform are the ones that exhibit

more problems related to static analysis.