Generating OCL Constraints from Test Case Schemas For Testing Model Behavior

Desai, Nisha; Gogolla, Martin

doi:10.1007/978-3-319-99927-2_6

Cited by 1 publication

(2 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…A geração de testes utilizando SAT apresentou alguns trabalhos recentes como [Przigoda et al 2018] e [Desai and Gogolla 2018]. O trabalho de [Przigoda et al 2018] emprega a utilização de Teorias do Módulo de Satisfatibilidade (do inglês, SMT -Satisfiability Modulo Theory) para a validação de modelos UML/OCL.…”

Section: Introduçãòunclassified

“…O trabalho de [Przigoda et al 2018] emprega a utilização de Teorias do Módulo de Satisfatibilidade (do inglês, SMT -Satisfiability Modulo Theory) para a validação de modelos UML/OCL. Em [Desai and Gogolla 2018], os testes são gerados a partir de um esquema de teste previamente informado pelo usuário. Contudo, ambas as abordagens são empregadas com o intuíto apenas de validar o modelo UML/OCL.…”

Section: Introduçãòunclassified

See 1 more Smart Citation

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

Dias¹,

Schmitz²,

Lima³

2018

Anais Da v Escola Regional De Sistemas De Informação Do Rio De Janeiro

View full text Add to dashboard Cite

This paper proposes the generation of generic test cases from UML models annotated with OCL constraints. The proposal applies a Boolean satisfiability-based UML/OCL model validation technique. The application of the process of validation of the UML/OCL model is performed through the USE tool and its extension called ModelValidator. Two quasi-experiments were carried out in order to test the viability of the approach. Initial results indicate the usefulness of test case generation approach to structure and range of values of a system under test, considering class models of little complexity.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.

show abstract

Section: Introduçãòunclassified