Please use this identifier to cite or link to this item:
https://ri.ufs.br/jspui/handle/riufs/14203| Document Type: | Monografia |
| Title: | Refatorações seguras de programas Dafny |
| Authors: | Antunes, Jonas Bastos |
| Issue Date: | 26-Feb-2021 |
| Advisor: | Palma, Giovanny Fernando Lucero |
| Resumo : | 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 |
| Abstract: | 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 |
| Keywords: | 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 |
| Subject CNPQ: | CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO |
| Language: | por |
| Institution: | Universidade Federal de Sergipe |
| Department: | DCOMP - Departamento de Computação – Ciência da Computação – São Cristóvão - Presencial |
| Citation: | 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 |
| Appears in Collections: | Computação |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Jonas_Bastos_Antunes.pdf | 1,69 MB | Adobe PDF |  View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.