|
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. |
