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

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.