Por favor, use este identificador para citar o enlazar este ítem:
https://ri.ufs.br/jspui/handle/riufs/14203| Tipo de Documento: | Monografia |
| Título : | Refatorações seguras de programas Dafny |
| Autor : | Antunes, Jonas Bastos |
| Fecha de publicación : | 26-feb-2021 |
| Director(a): | Palma, Giovanny Fernando Lucero |
| Resumen: | Refatoração é uma técnica no qual o código de um programa é modificado, no intuito de melhorar legibilidade e estruturação, porém o comportamento é mantido. Existem ferramentas que realizam refatorações de forma automática, porém muitas não garantem que o comportamento é mantido, ou seja, não realizam refatorações seguras. Este trabalho apresenta a implementação de uma ferramenta que disponibiliza quatro tipos de refatorações seguras para Dafny. As refatorações são seguras no sentido que preservam o comportamento do programa original. O verificador de Dafny é explorado para garantir a segurança das refatorações. Para facilitar o uso para os programadores, também é apresentado neste trabalho uma extensão que integra as refatorações com o editor de texto VSCode. O código-fonte da ferramenta é aberto e pode ser usado como base para adicionar mais refatorações ao catálogo de Dafny |
| Resumen : | Refactoring is a technique in which a program code is modified but preserving its original behaviour, while its structure is improved. Although there are tools that automates refactoring transformations, a fair amount can not ensure the preservation of the orginal behaviour, that is, they do not guarantee safety in the refactorings performed by them. This work presents a safe refactor tool that provides four types of refactorings for the Dafny language. To ensure behaviour preservation, the Dafny verifier assists on the refactoring process. This work also implements a source editor extension for VSCode that provides easy access to the four implemented refactorings. The tool is open source and can be used as foundation for a tool with more refactorings for Dafny |
| Palabras clave : | Ciência da computação Ensino de ciência da computação Engenharia da computação Engenharia de software Dafny Refatoração segura Dafny Safe refactor |
| Área CNPQ: | CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO |
| Idioma : | por |
| Institución: | Universidade Federal de Sergipe |
| Departamento: | DCOMP - Departamento de Computação – Ciência da Computação – São Cristóvão - Presencial |
| Citación : | Antunes, Jonas Bastos. Refatorações seguras de programas Dafny. São Cristóvão, 2021. Monografia (graduação em Ciência da Computação) – Departamento de Computação, Centro de Ciências Exatas e Tecnologia, Universidade Federal de Sergipe, São Cristóvão, SE, 2021 |
| URI : | https://ri.ufs.br/jspui/handle/riufs/14203 |
| Aparece en las colecciones: | Computação |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| Jonas_Bastos_Antunes.pdf | 1,69 MB | Adobe PDF |  Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.