@MastersThesis{Mariano:2019:IdEfAp,
               author = "Mariano, Matheus Monteiro",
                title = "Identifying efficient approaches to automatically generate test 
                         cases in model based testing",
               school = "Instituto Nacional de Pesquisas Espaciais (INPE)",
                 year = "2019",
              address = "S{\~a}o Jos{\'e} dos Campos",
                month = "2019-04-26",
             keywords = "Software testing, model-based testing, systematic mapping, 
                         graph-based algorithms, finite state machine, teste de software, 
                         teste baseado em modelo, mapeamento sistem{\'a}tico, algoritmos 
                         baseados em grafo, m{\'a}quina de estado finito.",
             abstract = "Context: Model Based Testing (MBT) has attracted a lot of 
                         attention from researchers since it has proved efficient in using 
                         formal models to represent reactive systems behavior in order to 
                         guide test case generation. Such systems are mostly specified and 
                         verified using Finite State Machine (FSM), a formal modeling 
                         technique commonly used to represent systems behavior. There is a 
                         plethora of test generation algorithms in the literature. Most of 
                         them are graph-based once a FSM can be considered as a graph. 
                         Nevertheless, there is a lack of studies on analyzing cost and 
                         efficiency of FSM-based test generation algorithms. Objective: 
                         This dissertation aims to investigate and compare graph-based 
                         algorithms employed to generate test cases from FSM models. In 
                         particular, we compare the Chinese Postman Problem (CPP) and 
                         H-Switch Cover (HSC) algorithms with the well-known breadth-first 
                         and depth-first search (BFS, DFS) algorithms in the context of 
                         covering all-transitions (AT) and all-transition-pairs (ATP) 
                         criteria in a FSM. Method: First, a systematic literature mapping 
                         was conducted to summarize the methods that have been adopted in 
                         MBT, considering FSM. Second, the main methods found were 
                         implemented and analyzed on random and real-world FSMs that 
                         represent embedded systems of space applications. For the 
                         evaluation of studies, we considered analyses in terms of cost 
                         (time), efficiency (mutant analysis) and coverage of the generated 
                         test cases (number of test cases, average length of test cases, 
                         largest and smallest test cases, etc.). Results: In general, CPP 
                         presented the best results with the FSMs used in terms of number 
                         of test cases and test suite size. In addition, CPP also presented 
                         low distribution of average length compared to other algorithms. 
                         RESUMO: Contexto: Teste Baseado em Modelo (TBM) tem 
                         atra{\'{\i}}do muita aten{\c{c}}{\~a}o de pesquisadores da 
                         {\'a}rea de Teste de Software, uma vez que se mostrou eficaz 
                         usando modelos formais para representar o comportamento do sistema 
                         a fim de orientar a gera{\c{c}}{\~a}o de casos de teste. Estes 
                         software s{\~a}o geralmente especificados e verificados usando 
                         uma t{\'e}cnica de modelagem formal chamada M{\'a}quina de 
                         Estados Finitos (MEF). Existem diversos algoritmos de 
                         gera{\c{c}}{\~a}o de casos de teste na literatura. A maioria 
                         s{\~a}o baseadas em grafo, uma vez que uma MEF pode ser 
                         considerada como um grafo. No entanto, h{\'a} falta de estudos 
                         que analisam o custo e a efici{\^e}ncia de algoritmos de 
                         gera{\c{c}}{\~a}o de casos de teste baseado em MEF. Objetivo: 
                         Esta disserta{\c{c}}{\~a}o tem como objetivo investigar e 
                         comparar algoritmos baseados em grafo aplicados {\'a} 
                         gera{\c{c}}{\~a}o de casos de teste a partir de modelos MEFs. Em 
                         particular, comparamos os algoritmos do Problema do Carteiro 
                         Chin{\^e}s (PCC) e o H \− SwitchCover com os algoritmos 
                         cl{\'a}ssicos da literatura, Busca em Largura e Busca em 
                         Profundidade (BL e BF), no contexto de cobrir uma MEF com os 
                         crit{\'e}rios todas-as-transi{\c{c}}{\~o}es (TT) e 
                         todos-os-pares-de-transi{\c{c}}{\~o}es (TPT). M{\'e}todo: 
                         Primeiro, um mapeamento sistem{\'a}tico da literatura foi 
                         conduzido para sumarizar os m{\'e}todos que tem sido adotados em 
                         TBM, considerando as MEFs. Segundo, os principais m{\'e}todos 
                         foram implementados e analisados com MEFs aleat{\'o}rias e reais 
                         que representam sistemas embarcados de aplica{\C{C}}{\~o}es 
                         espaciais. Para a avalia{\c{c}}{\~a}o dos estudos, foram 
                         considerados an{\'a}lises em termos de custo (tempo), 
                         efici{\^e}ncia (an{\'a}lise de mutante) e cobertura dos casos de 
                         teste gerados (n{\'u}mero dos casos de teste, tamanho m{\'e}dio 
                         dos casos de teste, os maiores e menores casos de teste, etc.). 
                         Resultados: No geral, o PCC apresentou os melhores resultados para 
                         as MEFs usadas em termo de n{\'u}mero dos casos de teste e 
                         tamanho da su{\'{\i}}te de teste. Al{\'e}m disso, o PCC 
                         tamb{\'e}m apresentou baixa distribui{\c{c}}{\~a}o do tamanho 
                         m{\'e}dio comparado aos outros algoritmos.",
            committee = "K{\"o}rting, Thales Sehn (presidente) and Vijaykumar, Nandamudi 
                         Lankalapalli (orientador) and Souza, {\'E}rica Ferreira de 
                         (orientadora) and Mendes, Celso Luiz and Endo, Andr{\'e} Takeshi 
                         and Santos, Luciana Brasil Rebelo dos",
         englishtitle = "Identificando abordagens eficientes de busca em grafo para 
                         gera{\c{c}}{\~a}o autom{\'a}tica de casos de teste para teste 
                         baseado em modelo",
             language = "en",
                pages = "74",
                  ibi = "8JMKD3MGP3W34R/3T5LM62",
                  url = "http://urlib.net/ibi/8JMKD3MGP3W34R/3T5LM62",
           targetfile = "publicacao.pdf",
        urlaccessdate = "20 abr. 2024"
}