Fontes Retornados
IEEE 127
ACM 38
Scopus 62
Springer Link 237
ScienceDirect 77
Web of Science 4
Engineering Village 1 Oxford Journals 3
TOTAL 549
para a gerac¸˜ao de teste. Al´em disso, muitos estudos exclu´ıdos tratavam apenas de Especificac¸˜ao Formal com o uso de IOTSs ou LTSs.
2.2 Selec¸ ˜ao Final e Extrac¸ ˜ao dos Resultados
Nessa fase, foi realizada uma leitura dinˆamica do texto completo, de modo que foi poss´ıvel estabelecer os estudos inclu´ıdos para a fase de an´alise. A lista final de estudos selecionados foi validada com um especialista.
Devido a indisponibilidade do texto completo na Web (crit´erio de exclus˜ao 5), 9 estudos foram eliminados, restando 246 estudos. Foram exclu´ıdos 171 estudos com base na leitura do texto completo, sendo que 9 deles foram exclu´ıdos pelo crit´erio 6 (estudos repetidos), 9 foram exclu´ıdos pelo crit´erio 4 (n˜ao estava em portuguˆes ou inglˆes), 35 foram exclu´ıdos pelo crit´erio 3 (n˜ao tratavam de m´etodos de gerac¸˜ao de teste para IOTSs/LTSs), 111 foram exclu´ıdos pelo crit´erio 2 (n˜ao tratavam de IOTS/LTS), e 3 foram exclu´ıdos pelo crit´erio 1 (n˜ao tratava de teste de software). Portanto, foram selecionados 84 estudos para an´alise e extrac¸˜ao de dados.
O especialista recomendou a inclus˜ao de mais um estudo [Rusu et al., 2005], totalizando 85 estudos para extrac¸˜ao de dados e an´alise.
Dentre os estudos exclu´ıdos, ´e importante enfatizar que 56 estudos tratavam de M´aquinas de Estado Finito (MEFs). Isso pode ser explicado pelo fato de que esse modelo possui uma teoria de teste bem formada e estabelecida, e atualmente alguns estudos relacionam os m´etodos de gerac¸˜ao de teste baseado a partir de MEFs com os m´etodos de gerac¸˜ao a partir de IOTSs [Hierons, 2012b,c].
2.2.1 Extrac¸ ˜ao de dados
A partir dos 85 estudos selecionados, algumas informac¸˜oes relevantes foram extra´ıdas. A Figura 2.1 apresenta o tipo de publicac¸˜ao dos estudos selecionados. Nota-se que a maioria foi publicado em peri´odico seguido de publicac¸˜oes em conferˆencias. No entanto, os estudos pu-blicados em colec¸˜oes LNCS (Lecture Notes in Computer Science, da Springer) correspondem
CAP´ITULO 2. CONDUC¸ ˜AO DO MAPEAMENTO SISTEM ´ATICO 11 a anais de conferˆencias indexadas pela Springer. Portanto, cerca de 55% dos estudos dos estu-dos identificaestu-dos foi publicado em conferˆencia. A Tabela 2.3 apresenta os principais f´oruns de publicac¸˜ao dos estudos e o n´umero de estudos de cada um. ´E importante observar que as duas primeiras conferˆencias da Tabela 2.3, nas quais h´a mais estudos selecionados, foram recente-mente unificadas em uma ´unica conferˆencia (International Conference on Testing Software and Systems). O peri´odico Electronic Notes in Theoretical Computer Sciencese destaca por ser o que cont´em mais estudos dentre os selecionados. Apesar disso, observa-se que os estudos est˜ao bem distribu´ıdos entre os f´oruns.
Figura 2.1:Tipo de Publicac¸˜ao dos estudos selecionados
Tabela 2.3:Principais F´oruns dos Estudos Selecionados
F´orum #
Conferˆencias
International Conference on Formal Approaches to Software Testing 4 International Conference on Testing of Communicating Systems 4
International Conference on Quality Software 3
International Conference on Software Engineering and Formal Methods 3 International Conference on Software Engineering Research, Manage-ment Applications
2 International Symposium on Automated Technology for Verification and Analysis
2 IEEE International Symposium on Software Reliability Engineering 2
Peri´odicos
Electronic Notes in Theoretical Computer Science 6 International Journal on Software Tools for Technology Transfer 3
Information and Software Technology 2
Theoretical Computer Science 2
Formal Aspects of Computing 2
Distributed Computing 2
A Figura 2.2 apresenta a distribuic¸˜ao dos estudos pelo modelo aplicado. A maioria dos estudos ´e sobre IOTSs (Input/Output Transition Systems), seguido do modelo IOLTS. Apesar
12 2.2. SELEC¸ ˜AO FINAL E EXTRAC¸ ˜AO DOS RESULTADOS de ser mais gen´erico, o modelo LTS (Labeled Transition Systems) tamb´em foi citado. A sec¸˜ao 4.1 ir´a detalhar os modelos utilizados nos estudos.
Figura 2.2:Modelos utilizados nos estudos selecionados
Na Figura 2.3, ´e exibida a distribuic¸˜ao dos estudos no decorrer dos anos. Existem poucos estudos no final da d´ecada de 1990, e houve um not´avel crescimento de publicac¸˜oes a partir do ano de 2004, sendo que o maior n´umero de publicac¸˜oes concentra-se em 2012. Notou-se tamb´em uma diminuic¸˜ao no n´umero de publicac¸˜oes de 2009 at´e 2011.
Figura 2.3:Ano de Publicac¸˜ao dos estudos selecionados
A Tabela 2.4 apresenta os estudos obtidos e os selecionados para cada fonte. Mais da metade dos estudos selecionados ´e daSpringer. Isso ocorre porque essa fonte indexa muitos eventos e peri´odicos na ´area de Teste formal, de forma similar `a ´area de Especificac¸˜ao Formal [Costa and Pereira, 2013], j´a que esses dois t´opicos s˜ao relacionados.
Uma representac¸˜ao de resultados bastante comum em mapeamentos sistem´aticos ´e um bub-ble plot [Petersen et al., 2008], no qual os eixos x e y representam categorias, os pontos do
CAP´ITULO 2. CONDUC¸ ˜AO DO MAPEAMENTO SISTEM ´ATICO 13 Tabela 2.4:Estudos retornados e inclu´ıdos para cada fonte
Fontes Retornados Inclu´ıdos
IEEE 127 14
ACM 38 2
Scopus 62 10
Springer Link 237 46
ScienceDirect 77 11
Web of Science 4 1
Engineering Village 1 0
Oxford Journals 3 1
gr´afico representam intersecc¸˜oes entre as categorias e s˜ao indicados por bolhas, com raio pro-porcional `a quantidade de estudos que est´a classificando sob aquelas duas categorias espec´ıficas.
A Figura 2.4 apresenta o mapa sistem´atico obtido para os estudos selecionados trabalho. O eixo xapresenta os modelos utilizados e o eixoyapresenta a forma de aplicac¸˜ao do teste. A maioria dos trabalhos utiliza os modelos IOLTS e IOTS. Considerando o modelo IOLTS, a maioria dos trabalhos preocupa-se com detalhes espec´ıficos do tipo de sistema na qual o teste ser´a aplicado, como sistemas reativos e sistemas concorrentes. J´a o modelo IOTS tem os trabalhos concentra-dos no teste distribu´ıdo e teste ass´ıncrono, sendo estes os estuconcentra-dos mais recentes dessa ´area.
Figura 2.4:Mapa dos estudos selecionados