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

DSpace Repository

A- A A+

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

Show simple item record

dc.contributor Universidade Federal de Santa Catarina pt_BR
dc.contributor.advisor Berkenbrock, Gian Ricardo
dc.contributor.author Silva, Beatriz Aruk da
dc.date.accessioned 2022-03-22T17:03:33Z
dc.date.available 2022-03-22T17:03:33Z
dc.date.issued 2022-03-14
dc.identifier.uri https://repositorio.ufsc.br/handle/123456789/232539
dc.description TCC (graduação) - Universidade Federal de Santa Catarina. Campus Joinville. Engenharia Mecatrônica. pt_BR
dc.description.abstract 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. pt_BR
dc.format.extent 103 pt_BR
dc.language.iso por pt_BR
dc.publisher Joinville, SC pt_BR
dc.rights Open Access
dc.subject Teste de software pt_BR
dc.subject Performcharts pt_BR
dc.subject Statechart pt_BR
dc.subject Máquina de estados finitos pt_BR
dc.subject Critérios de geração de casos de teste pt_BR
dc.title Critérios para geração de casos de teste baseados em modelos descritos em PcML pt_BR
dc.type TCCgrad pt_BR


Files in this item

Files Size Format View Description
TCC_UFSC_Joinville___Beatriz_Aruk_da_Silva.pdf 2.212Mb PDF View/Open TCC (graduação) – Universidade Federal de Santa Catarina. Centro Tecnológico de Joinville. Engenharia Mecatrônica.

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account

Statistics

Compartilhar