Sobre ferramentas para análise automatizada de algoritmos
| Ano de defesa: | 2018 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Dissertação |
| Tipo de acesso: | Acesso aberto |
| Idioma: | por |
| Instituição de defesa: |
Universidade do Estado do Rio de Janeiro
Centro de Tecnologia e Ciências::Instituto de Matemática e Estatística BR UERJ Programa de Pós-Graduação em Ciências Computacionais |
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: | |
| Link de acesso: | http://www.bdtd.uerj.br/handle/1/7661 |
Resumo: | Este trabalho tem por objetivo comparar ferramentas que produzem análise automatizada de algoritmos, através da realização de experimentos com diversos tipos de algoritmos e estruturas de dados. Para cada um, avaliam-se qualitativamente os resultados obtidos por tais ferramentas. Além disso, tem-se por objetivo apresentar a metodologia e as funcionalidades da ferramenta EMA (EMpirical Analysis of algorithms). Finalmente são apresentados os resultados de uma metodologia de análise empírica chamada teste do Big-Enough. Esta metodologia consiste em determinar o valor inicial de tamanho de entrada para o qual verifica-se empiricamente a complexidade analítica. A metodologia foi aplicada a diversos algoritmos, cujas funções de complexidade de tempo são de variadas classes |
| id |
UERJ_4ed819b7a18fba62604a07a20ba1c0d1 |
|---|---|
| oai_identifier_str |
oai:www.bdtd.uerj.br:1/7661 |
| network_acronym_str |
UERJ |
| network_name_str |
Biblioteca Digital de Teses e Dissertações da UERJ |
| repository_id_str |
|
| spelling |
Sobre ferramentas para análise automatizada de algoritmosAbout tools for automated algorithm analysisAlgorithmsComplexity of AlgorithmsEmpirical Analysis of AlgorithmsAutomatic Analysis of AlgorithmsComplexidade de algoritmosAnálise empírica de algoritmosAnálise automática de algoritmosAlgoritmosCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOEste trabalho tem por objetivo comparar ferramentas que produzem análise automatizada de algoritmos, através da realização de experimentos com diversos tipos de algoritmos e estruturas de dados. Para cada um, avaliam-se qualitativamente os resultados obtidos por tais ferramentas. Além disso, tem-se por objetivo apresentar a metodologia e as funcionalidades da ferramenta EMA (EMpirical Analysis of algorithms). Finalmente são apresentados os resultados de uma metodologia de análise empírica chamada teste do Big-Enough. Esta metodologia consiste em determinar o valor inicial de tamanho de entrada para o qual verifica-se empiricamente a complexidade analítica. A metodologia foi aplicada a diversos algoritmos, cujas funções de complexidade de tempo são de variadas classesThis work aims to compare tools that produce an automated analysis of algorithms, through experiments with several types of algorithms and data structures. For each one, the results obtained by such tools are evaluated qualitatively. In addition, the objective is to present the methodology and functionalities of the tool EMA (EMpirical Analysis of algorithms). Finally, the results of an empirical analysis methodology called Big-Enough test are presented. This methodology consists of determining the initial value of input size for which analytic complexity is verified empirically. The methodology was applied to several algorithms, whose time complexity functions are of several classesFundação de Amparo à Pesquisa do Estado do Rio de JaneiroUniversidade do Estado do Rio de JaneiroCentro de Tecnologia e Ciências::Instituto de Matemática e EstatísticaBRUERJPrograma de Pós-Graduação em Ciências ComputacionaisOliveira, Fabiano de Souzahttp://lattes.cnpq.br/7554024807062103Pinto, Paulo Eustáquio Duartehttp://lattes.cnpq.br/5413422509570085Barbosa, Valmir Carneirohttp://lattes.cnpq.br/4602221579308599Protti, Fábiohttp://lattes.cnpq.br/00000000000000000Souza, Juliana Macario de2021-01-05T17:53:31Z2019-03-082018-09-13info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfSOUZA, Juliana Macario de. Sobre ferramentas para análise automatizada de algoritmos. 2018. 109 f. Dissertação (Mestrado em Modelagem matemático-estatístico-computacional) - Universidade do Estado do Rio de Janeiro, Rio de Janeiro, 2018.http://www.bdtd.uerj.br/handle/1/7661porinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UERJinstname:Universidade do Estado do Rio de Janeiro (UERJ)instacron:UERJ2024-02-27T17:34:53Zoai:www.bdtd.uerj.br:1/7661Biblioteca Digital de Teses e Dissertaçõeshttp://www.bdtd.uerj.br/PUBhttps://www.bdtd.uerj.br:8443/oai/requestbdtd.suporte@uerj.bropendoar:29032024-02-27T17:34:53Biblioteca Digital de Teses e Dissertações da UERJ - Universidade do Estado do Rio de Janeiro (UERJ)false |
| dc.title.none.fl_str_mv |
Sobre ferramentas para análise automatizada de algoritmos About tools for automated algorithm analysis |
| title |
Sobre ferramentas para análise automatizada de algoritmos |
| spellingShingle |
Sobre ferramentas para análise automatizada de algoritmos Souza, Juliana Macario de Algorithms Complexity of Algorithms Empirical Analysis of Algorithms Automatic Analysis of Algorithms Complexidade de algoritmos Análise empírica de algoritmos Análise automática de algoritmos Algoritmos CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
| title_short |
Sobre ferramentas para análise automatizada de algoritmos |
| title_full |
Sobre ferramentas para análise automatizada de algoritmos |
| title_fullStr |
Sobre ferramentas para análise automatizada de algoritmos |
| title_full_unstemmed |
Sobre ferramentas para análise automatizada de algoritmos |
| title_sort |
Sobre ferramentas para análise automatizada de algoritmos |
| author |
Souza, Juliana Macario de |
| author_facet |
Souza, Juliana Macario de |
| author_role |
author |
| dc.contributor.none.fl_str_mv |
Oliveira, Fabiano de Souza http://lattes.cnpq.br/7554024807062103 Pinto, Paulo Eustáquio Duarte http://lattes.cnpq.br/5413422509570085 Barbosa, Valmir Carneiro http://lattes.cnpq.br/4602221579308599 Protti, Fábio http://lattes.cnpq.br/00000000000000000 |
| dc.contributor.author.fl_str_mv |
Souza, Juliana Macario de |
| dc.subject.por.fl_str_mv |
Algorithms Complexity of Algorithms Empirical Analysis of Algorithms Automatic Analysis of Algorithms Complexidade de algoritmos Análise empírica de algoritmos Análise automática de algoritmos Algoritmos CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
| topic |
Algorithms Complexity of Algorithms Empirical Analysis of Algorithms Automatic Analysis of Algorithms Complexidade de algoritmos Análise empírica de algoritmos Análise automática de algoritmos Algoritmos CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
| description |
Este trabalho tem por objetivo comparar ferramentas que produzem análise automatizada de algoritmos, através da realização de experimentos com diversos tipos de algoritmos e estruturas de dados. Para cada um, avaliam-se qualitativamente os resultados obtidos por tais ferramentas. Além disso, tem-se por objetivo apresentar a metodologia e as funcionalidades da ferramenta EMA (EMpirical Analysis of algorithms). Finalmente são apresentados os resultados de uma metodologia de análise empírica chamada teste do Big-Enough. Esta metodologia consiste em determinar o valor inicial de tamanho de entrada para o qual verifica-se empiricamente a complexidade analítica. A metodologia foi aplicada a diversos algoritmos, cujas funções de complexidade de tempo são de variadas classes |
| publishDate |
2018 |
| dc.date.none.fl_str_mv |
2018-09-13 2019-03-08 2021-01-05T17:53:31Z |
| dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
| format |
masterThesis |
| status_str |
publishedVersion |
| dc.identifier.uri.fl_str_mv |
SOUZA, Juliana Macario de. Sobre ferramentas para análise automatizada de algoritmos. 2018. 109 f. Dissertação (Mestrado em Modelagem matemático-estatístico-computacional) - Universidade do Estado do Rio de Janeiro, Rio de Janeiro, 2018. http://www.bdtd.uerj.br/handle/1/7661 |
| identifier_str_mv |
SOUZA, Juliana Macario de. Sobre ferramentas para análise automatizada de algoritmos. 2018. 109 f. Dissertação (Mestrado em Modelagem matemático-estatístico-computacional) - Universidade do Estado do Rio de Janeiro, Rio de Janeiro, 2018. |
| url |
http://www.bdtd.uerj.br/handle/1/7661 |
| dc.language.iso.fl_str_mv |
por |
| language |
por |
| dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
| eu_rights_str_mv |
openAccess |
| dc.format.none.fl_str_mv |
application/pdf |
| dc.publisher.none.fl_str_mv |
Universidade do Estado do Rio de Janeiro Centro de Tecnologia e Ciências::Instituto de Matemática e Estatística BR UERJ Programa de Pós-Graduação em Ciências Computacionais |
| publisher.none.fl_str_mv |
Universidade do Estado do Rio de Janeiro Centro de Tecnologia e Ciências::Instituto de Matemática e Estatística BR UERJ Programa de Pós-Graduação em Ciências Computacionais |
| dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da UERJ instname:Universidade do Estado do Rio de Janeiro (UERJ) instacron:UERJ |
| instname_str |
Universidade do Estado do Rio de Janeiro (UERJ) |
| instacron_str |
UERJ |
| institution |
UERJ |
| reponame_str |
Biblioteca Digital de Teses e Dissertações da UERJ |
| collection |
Biblioteca Digital de Teses e Dissertações da UERJ |
| repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da UERJ - Universidade do Estado do Rio de Janeiro (UERJ) |
| repository.mail.fl_str_mv |
bdtd.suporte@uerj.br |
| _version_ |
1829133565863919616 |