Geração automatizada de casos de teste para auto-graders utilizando execução simbólica.

Detalhes bibliográficos
Ano de defesa: 2024
Autor(a) principal: Silva, Loham Santos da
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Execução simbólica
Auto-Graders
Geração de casos de teste
Link de acesso: https://www.repositorio.ufop.br/handle/123456789/19337
Resumo: Programa de Pós-Graduação em Ciência da Computação. Departamento de Ciência da Computação, Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto.
id UFOP_b3019d9d4c0812dfabbd473a27235791
oai_identifier_str oai:repositorio.ufop.br:123456789/19337
network_acronym_str UFOP
network_name_str Repositório Institucional da UFOP
repository_id_str
spelling Geração automatizada de casos de teste para auto-graders utilizando execução simbólica.Execução simbólicaAuto-GradersGeração de casos de testePrograma de Pós-Graduação em Ciência da Computação. Departamento de Ciência da Computação, Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto.Diversos pesquisadores têm proposto a utilização de auto-graders, ou ferramentas de correção automática de exercícios de programação introdutória, que auxiliam docentes na avaliação, classificação e gerenciamento de exercícios de programação de computadores. Nessas ferramentas, se faz necessária a inserção de casos de teste manualmente por parte dos professores, para cada exercício, a qual demanda grande tempo para a sua elaboração. Devido a isso, o presente trabalho apresenta uma abordagem de geração automatizada de casos de teste para auto-graders, implementada em uma ferramenta de correção denominada Symb, na qual se utiliza a técnica de execução simbólica. Através dela, pode-se explorar todos os caminhos de execução de um programa, obtendo-se valores de entradas simbólicos que exploram esses caminhos de execução. Com a ferramenta, o professor somente indica a localização de seu gabarito, o diretório que contém os exercícios dos alunos e a quantidade de execuções, para que os exercícios possam ser corrigidos. Adicionalmente, a ferramenta é extensível, na qual permite que diversas linguagens de programação possam ser utilizadas no processo de correção, devido à linguagem Symb possuir as principais estruturas trabalhadas por diversas universidades brasileiras. Basta converter a linguagem de programação de origem para a linguagem Symb que executará o processo de geração de casos de teste automatizados e correção. Após serem realizados experimentos com a ferramenta, com soluções referentes a listas de exercícios de uma disciplina do curso de Bacharelado em Ciência da Computação da Universidade Federal de Ouro Preto (UFOP), constatou-se que a ferramenta conseguiu identificar soluções corretas e incorretas para todos os exercícios considerados, mostrando que a técnica proposta é promissora. O objetivo primordial da abordagem é poder simplificar o trabalho do docente para elaborar exercícios.Several researchers have proposed using auto-graders or automatic programming assessments to introduce programming courses that help teachers evaluate, classify, and manage computer programming exercises. In these tools, teachers must insert test cases manually for each exercise, which takes a long time to make these tests. Due to this, this work presents an approach to the automated generation of test cases for auto-graders, implemented in a tool nominated by Symb in which the symbolic execution technique is used. Through it, it can explore all the execution paths of a program, obtaining symbolic input values that explore these execution paths. As a tool, the teacher only indicates the location of his template, the directory containing the students’ exercises, and the number of executions, so that the exercises can be corrected. Furthermore, the tool is extensible, allowing several programming languages can be used in the correction process, because of the Symb language has the main structures used by several Brazilian universities. It is necessary convert the source programming language to Symb language which will perform the automated test case generation and correction. After experiments were carried out with the tool, with solutions related to exercise lists from a discipline of the Bachelor’s Degree in Computer Science at the Federal University of Ouro Preto, it was found that the tool was able to identify correct and incorrect solutions for all the exercises considered, demonstrating that the proposed technique is promising. The main objective of the approach is to simplify the teacher’s work in preparing exercises and to obtain rapid feedback on the students’ possible solutions.Ribeiro, Rodrigo GeraldoFortes, Reinaldo SilvaRibeiro, Rodrigo GeraldoFortes, Reinaldo SilvaReis, Leonardo Vieira dos SantosFeitosa, Samuel da SilvaSilva, Loham Santos da2024-12-20T17:45:10Z2024-12-20T17:45:10Z2024info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfSILVA, Loham Santos da. Geração automatizada de casos de teste para auto-graders utilizando execução simbólica. 2024. 54 f. Dissertação (Mestrado em Ciência da Computação) - Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto, Ouro Preto, 2024.https://www.repositorio.ufop.br/handle/123456789/19337Attribution-NoDerivs 3.0 United Stateshttp://creativecommons.org/licenses/by-nd/3.0/us/Autorização concedida ao Repositório Institucional da UFOP pelo(a) autor(a) em 17/12/2024 com as seguintes condições: disponível sob Licença Creative Commons 4.0 que permite copiar, distribuir e transmitir o trabalho, desde que sejam citados o autor e o licenciante. Não permite a adaptação.info:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFOPinstname:Universidade Federal de Ouro Preto (UFOP)instacron:UFOP2025-02-09T00:56:42Zoai:repositorio.ufop.br:123456789/19337Repositório InstitucionalPUBhttp://www.repositorio.ufop.br/oai/requestrepositorio@ufop.edu.bropendoar:32332025-10-20T22:04:35.365720Repositório Institucional da UFOP - Universidade Federal de Ouro Preto (UFOP)false
dc.title.none.fl_str_mv Geração automatizada de casos de teste para auto-graders utilizando execução simbólica.
title Geração automatizada de casos de teste para auto-graders utilizando execução simbólica.
spellingShingle Geração automatizada de casos de teste para auto-graders utilizando execução simbólica.
Silva, Loham Santos da
Execução simbólica
Auto-Graders
Geração de casos de teste
title_short Geração automatizada de casos de teste para auto-graders utilizando execução simbólica.
title_full Geração automatizada de casos de teste para auto-graders utilizando execução simbólica.
title_fullStr Geração automatizada de casos de teste para auto-graders utilizando execução simbólica.
title_full_unstemmed Geração automatizada de casos de teste para auto-graders utilizando execução simbólica.
title_sort Geração automatizada de casos de teste para auto-graders utilizando execução simbólica.
author Silva, Loham Santos da
author_facet Silva, Loham Santos da
author_role author
dc.contributor.none.fl_str_mv Ribeiro, Rodrigo Geraldo
Fortes, Reinaldo Silva
Ribeiro, Rodrigo Geraldo
Fortes, Reinaldo Silva
Reis, Leonardo Vieira dos Santos
Feitosa, Samuel da Silva
dc.contributor.author.fl_str_mv Silva, Loham Santos da
dc.subject.por.fl_str_mv Execução simbólica
Auto-Graders
Geração de casos de teste
topic Execução simbólica
Auto-Graders
Geração de casos de teste
description Programa de Pós-Graduação em Ciência da Computação. Departamento de Ciência da Computação, Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto.
publishDate 2024
dc.date.none.fl_str_mv 2024-12-20T17:45:10Z
2024-12-20T17:45:10Z
2024
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv SILVA, Loham Santos da. Geração automatizada de casos de teste para auto-graders utilizando execução simbólica. 2024. 54 f. Dissertação (Mestrado em Ciência da Computação) - Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto, Ouro Preto, 2024.
https://www.repositorio.ufop.br/handle/123456789/19337
identifier_str_mv SILVA, Loham Santos da. Geração automatizada de casos de teste para auto-graders utilizando execução simbólica. 2024. 54 f. Dissertação (Mestrado em Ciência da Computação) - Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto, Ouro Preto, 2024.
url https://www.repositorio.ufop.br/handle/123456789/19337
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv Attribution-NoDerivs 3.0 United States
http://creativecommons.org/licenses/by-nd/3.0/us/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Attribution-NoDerivs 3.0 United States
http://creativecommons.org/licenses/by-nd/3.0/us/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFOP
instname:Universidade Federal de Ouro Preto (UFOP)
instacron:UFOP
instname_str Universidade Federal de Ouro Preto (UFOP)
instacron_str UFOP
institution UFOP
reponame_str Repositório Institucional da UFOP
collection Repositório Institucional da UFOP
repository.name.fl_str_mv Repositório Institucional da UFOP - Universidade Federal de Ouro Preto (UFOP)
repository.mail.fl_str_mv repositorio@ufop.edu.br
_version_ 1857928208723214336

Registros relacionados