@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 = "26 abr. 2024"
}