Busca avançada
Ano de início
Entree


Model-based test case generation from UML sequence diagrams using extended finite state machines

Texto completo
Autor(es):
Rocha, Mauricio ; Simao, Adenilso ; Sousa, Thiago
Número total de Autores: 3
Tipo de documento: Artigo Científico
Fonte: SOFTWARE QUALITY JOURNAL; v. 29, n. 3, p. 31-pg., 2021-03-17.
Resumo

The effectiveness of model-based testing (MBT) is mainly due to its potential for automation. If the model is formal and machine-readable, test cases can be derived automatically. One of the most used formal modeling techniques is the interpretation of a system as an extended finite state machine (EFSM). However, formal models are not a common practice in the industry. The Unified Modeling Language (UML) has become the de facto standard for software modeling. Nevertheless, due to the lack of formal semantics, its diagrams can be given ambiguous interpretations and are not suitable for testing automation. This article introduces a systematic procedure for the generation of tests from UML models that uses concepts of model-driven engineering (MDE) for formalizing UML sequence diagrams into extended finite state machines and providing a precise semantics for them. It also applies ModelJUnit and JUnit libraries for an automatic generation of test cases. A case study was conducted in a real software towards the evaluation of its applicability. (AU)

Processo FAPESP: 13/07375-0 - CeMEAI - Centro de Ciências Matemáticas Aplicadas à Indústria
Beneficiário:Francisco Louzada Neto
Modalidade de apoio: Auxílio à Pesquisa - Centros de Pesquisa, Inovação e Difusão - CEPIDs
Processo FAPESP: 19/06937-0 - Estudo e desenvolvimento de técnicas de teste de software e suas aplicações
Beneficiário:Márcio Eduardo Delamaro
Modalidade de apoio: Auxílio à Pesquisa - Regular