Banca de QUALIFICAÇÃO: JOSÉ GAMELEIRA DO RÊGO NETO

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
STUDENT : JOSÉ GAMELEIRA DO RÊGO NETO
DATE: 22/12/2020
TIME: 10:30
LOCAL: Google Meet
TITLE:

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

 
 
 
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 

KEY WORDS:

smart cities, static analysis, empirical studies

 

smart cities, static analysis, empirical studies

smart cities, static analysis, empirical studies

 
 

PAGES: 60
BIG AREA: Ciências Exatas e da Terra
AREA: Ciência da Computação
SUBÁREA: Metodologia e Técnicas da Computação
SPECIALTY: Engenharia de Software
SUMMARY:

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.

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.

 
 

BANKING MEMBERS:
Presidente - 1644456 - UIRA KULESZA
Interno - 1678918 - NELIO ALESSANDRO AZEVEDO CACHO
Externo ao Programa - 2510306 - FREDERICO ARAUJO DA SILVA LOPES
Notícia cadastrada em: 14/01/2021 08:47
SIGAA | Superintendência de Tecnologia da Informação - | | Copyright © 2006-2022 - UFRN - sigaa27-producao.info.ufrn.br.sigaa27-producao