Reparo automático de programas usando corretude relativa

Oliveira, Rodrigo Dottori de

Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/19672

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	Silva, João Carlos Pereira da	-
dc.contributor.author	Oliveira, Rodrigo Dottori de	-
dc.date.accessioned	2023-02-06T18:05:20Z	-
dc.date.available	2023-12-21T03:06:12Z	-
dc.date.issued	2023-01-12	-
dc.identifier.uri	http://hdl.handle.net/11422/19672	-
dc.language	por	pt_BR
dc.publisher	Universidade Federal do Rio de Janeiro	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.subject	inteligência artificial	pt_BR
dc.subject	reparo automático de programas	pt_BR
dc.subject	corretude relativa	pt_BR
dc.subject	corretude absoluta	pt_BR
dc.subject	bugs de software	pt_BR
dc.subject	remoção de falhas	pt_BR
dc.title	Reparo automático de programas usando corretude relativa	pt_BR
dc.type	Trabalho de conclusão de graduação	pt_BR
dc.contributor.advisorLattes	http://lattes.cnpq.br/9413102524215939	pt_BR
dc.contributor.authorLattes	http://lattes.cnpq.br/8951681486947556	pt_BR
dc.contributor.referee1	Rossetto, Silvana	-
dc.contributor.referee1Lattes	http://lattes.cnpq.br/0054098292730720	pt_BR
dc.contributor.referee2	Martins Moreira, Anamaria	-
dc.contributor.referee2Lattes	http://lattes.cnpq.br/2363575151206774	pt_BR
dc.description.resumo	O reparo automático de programas consiste em identificar e consertar falhas em um código até que o mesmo passe a se adequar a uma especificação fornecida. Tal especificação é geralmente feita através de uma suíte de testes. Neste caso, um código é considerado absolutamente correto se passa em todos os testes. Ferramentas atuais nesse ramo fazem uso de técnicas como a programação genética, que se baseia em princípios da computação evolutiva, para construir programas corretos a partir de incorretos. Tais ferramentas são capazes de realizar consertos em diversos casos, mas têm sua utilidade limitada por se basearem em uma noção muito simples de corretude, onde programas são considerados apenas absolutamente corretos ou absolutamente incorretos, sem se levar em conta programas intermediários. Essa dificuldade aparece frequentemente em casos com múltiplas falhas. O presente trabalho propõe expandir o escopo de algumas das ferramentas existentes através de uma teoria de corretude relativa, na qual é possível determinar quais programas podem ser considerados estritamente mais corretos que outros. O uso dessa teoria permite a criação de um paradigma novo de reparo de programas focado em aprimoramentos graduais. O trabalho também relata estudos de caso que visam verificar que, com esse novo paradigma, há a possibilidade de consertar programas que não eram reparáveis pelos métodos originais.	pt_BR
dc.publisher.country	Brasil	pt_BR
dc.publisher.department	Instituto de Computação	pt_BR
dc.publisher.initials	UFRJ	pt_BR
dc.subject.cnpq	CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO	pt_BR
dc.embargo.terms	aberto	pt_BR
Appears in Collections:	Ciência da Computação

Files in This Item:

File	Description	Size	Format
RDOliveira.pdf		646.96 kB	Adobe PDF	View/Open

Show simple item record Recommend this item View Statistics

Pantheon Institutional repository