Verificando a boa formação de modelos GODA

Abstract

O framework GODA (Goal-Oriented Dependability Analysis) realiza análise de dependabilidade em modelos orientados a objetivos. Uma etapa importante é o processo de geração automática de modelo DTMC (Discrete-Time Markov Chains) a partir de um modelo CRGM (Contextual and Runtime Goal Model). O modelo CRGM apresenta notações específicas não testadas. Erros neste modelo podem acarretar em problemas na geração do modelo DTMC. Como o GODA é integrado à diferentes ferramentas, a atividade de teste funcional consegue verificar a funcionalidade geral deste framework. Esse trabalho teve como objetivo o desenvolvimento de uma suíte de testes que verifique a boa formação dos modelos CRGM. Para isso, foi escolhida a abordagem de teste funcional, utilizando o critério Teste Funcional Sistemático. A partir da especificação do programa, classes de equivalência foram definidas e, em seguidas, casos de teste foram identificados. A implementação dos testes foi feita utilizando a linguagem de programação Java, e o conjunto de testes foi automatizado utilizando a ferramenta JUnit. Os resultados mostraram falhas na validação de anotações utilizadas no modelo CRGM. O desenvolvimento da suíte de testes proposta foi importante para expor problemas que podem acarretar numa geração de modelos DTMC incorretos, devido a erros no CRGM.