Bidirectional finite state machine based testing

Detalhes bibliográficos
Autor(a) principal: Vilaça, Diogo Filipe Silva
Data de Publicação: 2018
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/1822/64258
Resumo: Dissertação de mestrado em Computer Science
id RCAP_9b18ad1c352a3e16a90d92c0b230bca1
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/64258
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Bidirectional finite state machine based testingEngenharia e Tecnologia::Outras Engenharias e TecnologiasDissertação de mestrado em Computer ScienceThis thesis aims to develop a new methodology that combines model-based testing and bidirectional transformations. More precisely, the method of software testing used is blackbox testing, where the system under test is a black-box. Without knowledge of the blackbox’s internal structures or implementation, the focus is on the inputs and outputs. To infer a model for this black-box, machine learning algorithms are used by submitting test cases against the black-box and observing the correspondent output. The resulting model is a finite state machine that produces the same outputs of the black-box when submitted the same inputs used in its making. Usually, in this approach, new test cases are provided to infer better models. In this thesis, bidirectional techniques will be studied in order to guarantee the conformity between both the model and the instance evolution. This way, it is allowed not only the evolution of the test cases and co-evolution of the model, but also the evolution of the model and the co-evolution of the test cases.Esta tese visa desenvolver uma nova metodologia que combina Model-Based Testing (MBT) e Bidirectional Transformations (Bx). Mais precisamente, o método de teste de software usado é Black-Box Testing (BBT), onde o System Under Test (SUT) é uma black-box. Sem o conhecimento das estruturas internas da black-box ou da sua implementação, o foco está nos inputs e outputs. Para inferir um modelo para esta black-box, são usados algoritmos de aprendizagem através de interrogações à black-box (i.e., casos de teste) e da observação do output correspondente. O modelo resultante é uma Finite State Machine (FSM), que produz os mesmos outputs da black-box, quando lhe são submetidos os mesmos inputs usados na sua criação. Geralmente, nesta abordagem, novos casos de teste são fornecidos para inferir melhores modelos. Nesta tese, serão estudadas técnicas bidireccionais com o objetivo de garantir a conformidade entre as evoluções do modelo e dos casos de teste. Desta forma, é permitida não só a evolução dos casos de teste e co-evolução do modelo, mas também a evolução do modelo e a co-evolução dos casos de teste.Saraiva, JoãoMendes, Jorge CunhaUniversidade do MinhoVilaça, Diogo Filipe Silva20182018-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/1822/64258eng202348091info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T11:58:33Zoai:repositorium.sdum.uminho.pt:1822/64258Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T18:48:17.809878Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Bidirectional finite state machine based testing
title Bidirectional finite state machine based testing
spellingShingle Bidirectional finite state machine based testing
Vilaça, Diogo Filipe Silva
Engenharia e Tecnologia::Outras Engenharias e Tecnologias
title_short Bidirectional finite state machine based testing
title_full Bidirectional finite state machine based testing
title_fullStr Bidirectional finite state machine based testing
title_full_unstemmed Bidirectional finite state machine based testing
title_sort Bidirectional finite state machine based testing
author Vilaça, Diogo Filipe Silva
author_facet Vilaça, Diogo Filipe Silva
author_role author
dc.contributor.none.fl_str_mv Saraiva, João
Mendes, Jorge Cunha
Universidade do Minho
dc.contributor.author.fl_str_mv Vilaça, Diogo Filipe Silva
dc.subject.por.fl_str_mv Engenharia e Tecnologia::Outras Engenharias e Tecnologias
topic Engenharia e Tecnologia::Outras Engenharias e Tecnologias
description Dissertação de mestrado em Computer Science
publishDate 2018
dc.date.none.fl_str_mv 2018
2018-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/64258
url http://hdl.handle.net/1822/64258
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 202348091
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132244192788480

Registros relacionados