Operadores de mutação para modelos de sistemas reativos

Detalhes bibliográficos
Autor(a) principal: Kammradt, Paulo Henrique Alves
Data de Publicação: 2022
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/handle/123456789/243149
Resumo: TCC (graduação) - Universidade Federal de Santa Catarina, Campus Joinville, Engenharia Mecatrônica.
id UFSC_3965dd82efe28a55f846207f5c8ddeef
oai_identifier_str oai:repositorio.ufsc.br:123456789/243149
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Operadores de mutação para modelos de sistemas reativosTeste de softwareOperadores de mutação de modeloAnálise de mutaçãoMáquina de estados finitaPerformChartsTCC (graduação) - Universidade Federal de Santa Catarina, Campus Joinville, Engenharia Mecatrônica.Com a intensa ascensão do desenvolvimento de software, problemas relacionados a correções de bugs se tornam mais complexos. Uma das etapas do desenvolvimento de software é dedicada a testar e corrigir problemas dessa natureza. O processo de teste de um software pode ser extenso, e propenso a erros humanos. Propostas de automatização da geração de casos de teste são estudadas intensamente a décadas. Uma aproximação frequentemente abordada é a de geração de casos de teste com base em máquinas de estados finitas (MEF). Para tornar a validação de softwares mais eficiente, foram criados critérios diversos de geração de casos de teste. Ferramentas implementam tais critérios para possibilitar a geração automatizada de testes em modelos. Este trabalho propõe o desenvolvimento de operadores de mutação de modelo e de um algoritmo de execução de testes unitários de modelos, utilizando da linguagem de programação C++, integrada à ferramenta PerformCharts. Seu principal objetivo foi analisar a qualidade dos testes, gerados a partir de MEFs pelos critérios implementados ao PerformCharts, utilizando de uma análise de mutação. Os operadores de mutação implementados foram os de omissão de arco, omissão de nó e inversão de arco. O algoritmo de execução de testes unitários foi desenvolvido para percorrer uma MEF, tendo como entrada uma sequência de eventos. Os critérios de geração de testes avaliados foram o Switch-Cover, o método UIO e o método DS. Os casos de teste gerados foram aplicados a uma análise de mutação, a fim de verificar sua capacidade de detecção de modelos defeituosos. Foram utilizadas diferentes MEFs para a análise de cada critério. Por fim, os critérios conseguiram detectar todas as falhas inseridas aos modelos, indicando uma boa qualidade de geração de casos de teste à MEFs simples.Joinville, SC.Berkenbrock, Gian RicardoUniversidade Federal de Santa Catarina.Kammradt, Paulo Henrique Alves2022-12-20T12:37:23Z2022-12-20T12:37:23Z2022-12-12info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisapplication/pdfhttps://repositorio.ufsc.br/handle/123456789/243149Open Access.info:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSC2022-12-20T12:37:24Zoai:repositorio.ufsc.br:123456789/243149Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732022-12-20T12:37:24Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Operadores de mutação para modelos de sistemas reativos
title Operadores de mutação para modelos de sistemas reativos
spellingShingle Operadores de mutação para modelos de sistemas reativos
Kammradt, Paulo Henrique Alves
Teste de software
Operadores de mutação de modelo
Análise de mutação
Máquina de estados finita
PerformCharts
title_short Operadores de mutação para modelos de sistemas reativos
title_full Operadores de mutação para modelos de sistemas reativos
title_fullStr Operadores de mutação para modelos de sistemas reativos
title_full_unstemmed Operadores de mutação para modelos de sistemas reativos
title_sort Operadores de mutação para modelos de sistemas reativos
author Kammradt, Paulo Henrique Alves
author_facet Kammradt, Paulo Henrique Alves
author_role author
dc.contributor.none.fl_str_mv Berkenbrock, Gian Ricardo
Universidade Federal de Santa Catarina.
dc.contributor.author.fl_str_mv Kammradt, Paulo Henrique Alves
dc.subject.por.fl_str_mv Teste de software
Operadores de mutação de modelo
Análise de mutação
Máquina de estados finita
PerformCharts
topic Teste de software
Operadores de mutação de modelo
Análise de mutação
Máquina de estados finita
PerformCharts
description TCC (graduação) - Universidade Federal de Santa Catarina, Campus Joinville, Engenharia Mecatrônica.
publishDate 2022
dc.date.none.fl_str_mv 2022-12-20T12:37:23Z
2022-12-20T12:37:23Z
2022-12-12
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://repositorio.ufsc.br/handle/123456789/243149
url https://repositorio.ufsc.br/handle/123456789/243149
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv Open Access.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Open Access.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Joinville, SC.
publisher.none.fl_str_mv Joinville, SC.
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652270510800896

Registros relacionados