Um Método para Geração de Casos de Teste a partir da Validação de Modelos UML/OCL utilizando Satisfatibilidade

• Marcos Vinicius Furriel A. Dias PPGI Universidade Federal do Rio de Janeiro
• Eber Assis Schmitz PPGI Universidade Federal do Rio de Janeiro
• Priscila M. V. Lima PPGI Universidade Federal do Rio de Janeiro

DOI: https://doi.org/10.5753/ersirj.2018.4656

Resumo

Este artigo propõe a geração de casos de teste genéricos a partir de modelos UML anotados com restrições OCL. A proposta aplica a técnica de validação de modelos UML/OCL baseada em satisfatibilidade booleana. A aplicação do processo de validação do modelo UML/OCL é realizada por intermédio da ferramenta USE e de sua extensão denominada ModelValidator. Dois quasi-experimentos foram realizados a fim de testar a viabilidade da abordagem. Os resultados iniciais demonstram que há indícios de que a abordagem de geração de casos de teste para estrutura e faixa de valores de um sistema sob teste seja útil considerando modelos de classes pouco complexos ou parciais.