Model-based test case generation from UML sequence diagrams using extended finite state machines (2021)
- Authors:
- USP affiliated authors: SIMÃO, ADENILSO DA SILVA - ICMC ; ROCHA, MAURICIO RÊGO MOTA DA - ICMC
- Unidade: ICMC
- DOI: 10.1007/s11219-020-09531-0
- Subjects: AUTOMAÇÃO INDUSTRIAL; TESTE E AVALIAÇÃO DE SOFTWARE; ESTUDO DE CASO
- Keywords: Model-based testing; Model-driven engineering; Sequence diagram; Extended finite state machine; ModelJUnit; JUnit
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Software Quality Journal
- ISSN: 0963-9314
- Volume/Número/Paginação/Ano: v. 29, p. 597-627, 2021
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
ROCHA, Mauricio Rego Mota da e SIMÃO, Adenilso da Silva e SOUSA, Thiago. Model-based test case generation from UML sequence diagrams using extended finite state machines. Software Quality Journal, v. 29, p. 597-627, 2021Tradução . . Disponível em: https://doi.org/10.1007/s11219-020-09531-0. Acesso em: 01 nov. 2024. -
APA
Rocha, M. R. M. da, Simão, A. da S., & Sousa, T. (2021). Model-based test case generation from UML sequence diagrams using extended finite state machines. Software Quality Journal, 29, 597-627. doi:10.1007/s11219-020-09531-0 -
NLM
Rocha MRM da, Simão A da S, Sousa T. Model-based test case generation from UML sequence diagrams using extended finite state machines [Internet]. Software Quality Journal. 2021 ; 29 597-627.[citado 2024 nov. 01 ] Available from: https://doi.org/10.1007/s11219-020-09531-0 -
Vancouver
Rocha MRM da, Simão A da S, Sousa T. Model-based test case generation from UML sequence diagrams using extended finite state machines [Internet]. Software Quality Journal. 2021 ; 29 597-627.[citado 2024 nov. 01 ] Available from: https://doi.org/10.1007/s11219-020-09531-0 - Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML
- Inferring FSM models of systems without reset
- This volume contains the papers presented at SBMF 2010... [Prefácio]
- Generating asynchronous test cases from test purposes
- Formal methods: foundations and applications
- Checking sequence generation using state distinguishing subsequences
- Model-based testing of web service compositions
- Experimental comparison of test case generation methods for finite state machines
- Model partitions and compact test case suites
- A holistic approach to model-based testing of Web service compositions
Informações sobre o DOI: 10.1007/s11219-020-09531-0 (Fonte: oaDOI API)
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 | 3024121_postprint.pdf | Direct link | |
 | 3024121.pdf |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
