dc.creator.ID |
NASCIMENTO FILHO, D. C. |
pt_BR |
dc.creator.Lattes |
http://lattes.cnpq.br/3151296501932443 |
pt_BR |
dc.contributor.advisor1 |
PIRES, Carlos Eduardo Santos. |
|
dc.contributor.advisor1ID |
PIRES, C. E. S. |
pt_BR |
dc.contributor.advisor1Lattes |
http://lattes.cnpq.br/4986021622366786 |
pt_BR |
dc.contributor.advisor2 |
MASSONI, Tiago Lima. |
|
dc.contributor.advisor2ID |
MASSONI, T. L. |
pt_BR |
dc.contributor.advisor2Lattes |
http://lattes.cnpq.br/3563923906851611 |
pt_BR |
dc.description.resumo |
Os procedimentos armazenados em bancos de dados são comumente utilizados por aplicações
para acessar e manipular dados em bancos de dados. Se os procedimentos forem
implementados de maneira ineficiente, esperas demasiadas podem ser repassadas para a camada
de aplicação e acarretar perdas financeiras significativas para as empresas. Caso sejam
implementados usando más práticas de programação, os procedimentos podem apresentar
difícil legibilidade e entendimento. Considerando que uma parte considerável da lógica de
negócio das aplicações pode ser desenvolvida na forma de procedimentos, a redução destes
problemas utilizando inspeções manuais pode tornar-se um processo custoso, propenso a erros
e desestimulante para os desenvolvedores. Neste trabalho, é proposta uma abordagem,
baseada em análise estática automática de código-fonte, para verificação da conformidade de
procedimentos de banco de dados com diretrizes pré-definidas de eficiência e qualidade. A
abordagem proposta foi instanciada para uma linguagem de programação de banco de dados
específica e avaliada de três maneiras. Primeiramente, foi medido o impacto da aplicação
de diretrizes de eficiência no tempo de execução de procedimentos de banco de dados. Para
as maiores cargas de trabalho testadas, as diretrizes investigadas acarretaram em melhorias
superiores a 80%. Além disso, foi realizado um estudo de caso, utilizando procedimentos de
banco de dados reais, no intuito de avaliar a eficiência (tempo de análise automática) e eficácia
(quantidade de advertências reportadas) da abordagem proposta. Neste processo, foram
reportadas 299 advertências após a análise dos procedimentos (∼2KLoC) selecionados e,
para tal, foram necessários menos de 7 segundos para a realização da análise automática.
Por fim, foram realizados experimentos, no contexto de um projeto industrial real, no intuito
de comparar as características da análise realizada pela abordagem proposta com as
realizadas de forma manual por desenvolvedores. Nestes experimentos, a abordagem automática
apresentou eficiência e eficácia superiores em todos os cenários observados. |
pt_BR |
dc.publisher.country |
Brasil |
pt_BR |
dc.publisher.department |
Centro de Engenharia Elétrica e Informática - CEEI |
pt_BR |
dc.publisher.program |
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO |
pt_BR |
dc.publisher.initials |
UFCG |
pt_BR |
dc.subject.cnpq |
Ciência da Computação |
|
dc.title |
Uma abordagem para análise estática automática de procedimentos armazenados em bancos de dados. |
pt_BR |
dc.date.issued |
2013-03-01 |
|
dc.description.abstract |
Stored Procedures are commonly used by applications to access and manipulate data in
databases. If procedures are inefficiently implemented, excessive delays are passed to the
application layer and can bring significant financial losses to enterprises. If procedures are
implemented using bad programming practices, it may become hard for a developer to read
and understand them. Considering that a significant part of the business logic of the applications
can be implemented as stored procedures, the reduction of these problems using manual
inspections may become a costly, error-prone and discouraging process to the developers. In
this work, we propose an approach, based on static analysis of source code, to check the
conformity of stored procedures with predefined efficiency and quality guidelines. The approach
was instantiated to a specific database programming language and evaluated in three
different ways. First, we measured the impact of the appliance of efficiency guidelines on the
execution time of stored procedures. Considering the highest processing loads under test, the
investigated guidelines led to optimization gains greater than 80%. Moreover, a case study,
using real open source projects, was conducted to evaluate the efficacy (amount of reported
warnings) and efficiency (automatic analysis time) of the proposed approach. In this process,
299 warnings were reported after the analysis of the selected procedures (∼2KLoC) and, for
doing so, less than 7 seconds of automatic analysis were required. Finally, we performed
experiments, in the context of an industrial project, in order to compare the automatic analysis
with manual inspections performed by developers. In these experiments, the automatic
approach presented a superior efficacy and efficiency in all observed treatments. |
pt_BR |
dc.identifier.uri |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/12351 |
|
dc.date.accessioned |
2020-03-05T12:27:45Z |
|
dc.date.available |
2020-03-05 |
|
dc.date.available |
2020-03-05T12:27:45Z |
|
dc.type |
Dissertação |
pt_BR |
dc.subject |
Banco de Dados |
|
dc.subject |
Procedimentos de Banco de Dados |
|
dc.subject |
Análise Estática |
|
dc.subject |
Análise de Desempenho |
|
dc.subject |
Eficiência |
|
dc.subject |
Qualidade de Código |
|
dc.subject |
Database |
|
dc.subject |
Database Procedures |
|
dc.subject |
Static Analysis |
|
dc.subject |
Performance Analysis |
|
dc.subject |
Efficiency |
|
dc.subject |
Code Quality |
|
dc.rights |
Acesso Aberto |
pt_BR |
dc.creator |
NASCIMENTO FILHO, Dimas Cassimiro do. |
|
dc.publisher |
Universidade Federal de Campina Grande |
pt_BR |
dc.language |
por |
pt_BR |
dc.title.alternative |
An approach to automatic static analysis of stored procedures in databases. |
pt_BR |
dc.identifier.citation |
NASCIMENTO FILHO, Dimas Cassimiro do. Uma abordagem para análise estática automática de procedimentos armazenados em bancos de dados. 2013. 132f. (Dissertação) Mestrado em Ciência da Computação, Programa de Pós-graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande - Campina Grande - Paraíba - Brasil, 2013. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/12351 |
pt_BR |