Refatorações seguras de programas Dafny

dc.contributorPalma, Giovanny Fernando Lucero
dc.creatorAntunes, Jonas Bastos
dc.date2021-05-07T23:31:53Z
dc.date2021-05-07T23:31:53Z
dc.date2021-02-26
dc.date.accessioned2023-09-28T23:10:59Z
dc.date.available2023-09-28T23:10:59Z
dc.identifierAntunes, 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
dc.identifierhttps://ri.ufs.br/jspui/handle/riufs/14203
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/9085908
dc.descriptionRefactoring 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
dc.descriptionRefatoraçã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
dc.descriptionSão Cristóvão, SE
dc.formatapplication/pdf
dc.languagepor
dc.publisherDCOMP - Departamento de Computação – Ciência da Computação – São Cristóvão - Presencial
dc.publisherUniversidade Federal de Sergipe
dc.subjectCiência da computação
dc.subjectEnsino de ciência da computação
dc.subjectEngenharia da computação
dc.subjectEngenharia de software
dc.subjectDafny
dc.subjectRefatoração segura
dc.subjectDafny
dc.subjectSafe refactor
dc.subjectCIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
dc.titleRefatorações seguras de programas Dafny
dc.typeMonografia


Este ítem pertenece a la siguiente institución