Use este identificador para citar ou linkar para este item:
https://ri.ufs.br/jspui/handle/riufs/14203| Tipo de Documento: | Monografia |
| Título: | Refatorações seguras de programas Dafny |
| Autor(es): | Antunes, Jonas Bastos |
| Data do documento: | 26-Fev-2021 |
| Orientador: | 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 |
| Palavras-chave: | 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 |
| Sigla da Instituição: | Universidade Federal de Sergipe |
| Departamento: | DCOMP - Departamento de Computação – Ciência da Computação – São Cristóvão - Presencial |
| Citação: | 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 nas coleções: | Computação |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| Jonas_Bastos_Antunes.pdf | 1,69 MB | Adobe PDF |  Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.