| dc.contributor.advisor | Dorneles, Ricardo Vargas | |
| dc.contributor.author | Breda, Matthias Bebber | |
| dc.contributor.other | Martinotto, André Luis | |
| dc.contributor.other | Nascimento, Alexandre Erasmo Krohn | |
| dc.date.accessioned | 2018-10-04T16:24:38Z | |
| dc.date.available | 2018-10-04T16:24:38Z | |
| dc.date.issued | 2018-10-04 | |
| dc.date.submitted | 2018 | |
| dc.identifier.uri | https://repositorio.ucs.br/11338/4023 | |
| dc.description | Análise estática de código é realizada sem a execução real do algoritmo, que é o
oposto de análise dinâmica que é realizada quando o algoritmo está executando.
O objetivo deste trabalho é desenvolver um analisador estático de código para
o Portal de Algoritmos da UCS. Neste trabalho são abordadas as técnicas mais
conhecidas de análise estática, SSA (Static Single Assignment) (do inglês, Static
Single Assignment - Atribuição Única Estática) e Análise de Fluxo de Dados e
Análise de Intervalo de Valores. Estas técnicas foram utilizadas para reconhecer
erros que o analisador léxico e sintático do Portal de Algoritmos da UCS não
consegue identificar (variáveis não inicializadas, variáveis não utilizadas, função
que não define valor de retorno, código inacessível entre outros), ajudando assim
o aluno, indicando onde existem possíveis erros no código (sic). | pt_BR |
| dc.language.iso | pt | pt_BR |
| dc.subject | Engenharia de software | pt_BR |
| dc.subject | Algoritmos | pt_BR |
| dc.title | Análise estática de código para o portal de algoritmos da UCS | pt_BR |
| dc.type | Monografia | pt_BR |
| mtd2-br.advisor.instituation | Universidade de Caxias do Sul | pt_BR |
| mtd2-br.program.name | Bacharelado em Ciência da Computação | pt_BR |
