Critérios para geração de casos de teste baseados em modelos descritos em PcML

Detalhes bibliográficos
Autor(a) principal: Silva, Beatriz Aruk da
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/232539
Resumo: TCC (graduação) - Universidade Federal de Santa Catarina. Campus Joinville. Engenharia Mecatrônica.
id UFSC_df79421a0b7cedf511a9de7a65a60b49
oai_identifier_str oai:repositorio.ufsc.br:123456789/232539
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Critérios para geração de casos de teste baseados em modelos descritos em PcMLTeste de softwarePerformchartsStatechartMáquina de estados finitosCritérios de geração de casos de testeTCC (graduação) - Universidade Federal de Santa Catarina. Campus Joinville. Engenharia Mecatrônica.Com o avanço da tecnologia ferramentas como softwares estão cada vez mais presentes atualmente. Uma gama diversa de software se encontra em sistemas embarcados, os quais monitoram e executam diversas atividades. Uma das etapas para desenvolver um software é designada para verificar o correto funcionamento dele, para assim definir que nenhum dano ou execução incorreta seja executada. A geração de casos de teste com base em máquinas de estados finitos (MEF) vem sendo abordada a algum tempo, como uma maneira de automatizar os testes. Testar um software pode ser uma tarefa que demanda grande esforço e mesmo assim não garante que um erro seja detectado. A automatização da geração de testes surge como uma abordagem par dar suporte para a verificação e validação de softwares. Tem-se como objetivo principal deste trabalho o desenvolvimento dos critérios de teste Switch-Cover, UIO e DS em linguagem orientada a objeto C++, para integração com a ferramenta Performcharts. Um estudo analisando a relação dos critérios com o grafo gerado a partir de uma MEF possibilitou uma implementação direta deles. Para o método switch-cover foram abordadas algumas adaptações, já expostas à literatura, com o intuito de melhorar a eficiência do critério. A aplicação dos critérios de teste utilizou da transformação de MEF em statecharts planos, os quais apresentam o funcionamento de qualquer sistema com paralisemo, hierarquia e comunicação de difusão. Como a utilização da ferramente Performcharts, arquivos PcML foram utilizados para representação de statecharts. Visto que cada critério possui diferentes aplicabilidades, cabe ao projetista determinar qual critério é melhor aplicado ao sistema. Por fim, foi possível validar todos os três critérios para geração de casos de testes.Joinville, SCBerkenbrock, Gian RicardoUniversidade Federal de Santa CatarinaSilva, Beatriz Aruk da2022-03-22T17:03:33Z2022-03-22T17:03:33Z2022-03-14info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesis103application/pdfhttps://repositorio.ufsc.br/handle/123456789/232539info:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSC2022-03-22T17:03:33Zoai:repositorio.ufsc.br:123456789/232539Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732022-03-22T17:03:33Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Critérios para geração de casos de teste baseados em modelos descritos em PcML
title Critérios para geração de casos de teste baseados em modelos descritos em PcML
spellingShingle Critérios para geração de casos de teste baseados em modelos descritos em PcML
Silva, Beatriz Aruk da
Teste de software
Performcharts
Statechart
Máquina de estados finitos
Critérios de geração de casos de teste
title_short Critérios para geração de casos de teste baseados em modelos descritos em PcML
title_full Critérios para geração de casos de teste baseados em modelos descritos em PcML
title_fullStr Critérios para geração de casos de teste baseados em modelos descritos em PcML
title_full_unstemmed Critérios para geração de casos de teste baseados em modelos descritos em PcML
title_sort Critérios para geração de casos de teste baseados em modelos descritos em PcML
author Silva, Beatriz Aruk da
author_facet Silva, Beatriz Aruk da
author_role author
dc.contributor.none.fl_str_mv Berkenbrock, Gian Ricardo
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Silva, Beatriz Aruk da
dc.subject.por.fl_str_mv Teste de software
Performcharts
Statechart
Máquina de estados finitos
Critérios de geração de casos de teste
topic Teste de software
Performcharts
Statechart
Máquina de estados finitos
Critérios de geração de casos de teste
description TCC (graduação) - Universidade Federal de Santa Catarina. Campus Joinville. Engenharia Mecatrônica.
publishDate 2022
dc.date.none.fl_str_mv 2022-03-22T17:03:33Z
2022-03-22T17:03:33Z
2022-03-14
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/232539
url https://repositorio.ufsc.br/handle/123456789/232539
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 103
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_ 1808652375692410880

Registros relacionados