Sobre ferramentas para análise automatizada de algoritmos

• Ano de defesa: 2018
• Autor(a) principal: Souza, Juliana Macario de
• 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
• Palavras-chave em Português: 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
• Link de acesso: http://www.bdtd.uerj.br/handle/1/7661

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