Submitted by Rafael Santana (rafael.silvasantana@ufpe.br) on 2018-02-21T17:19:52Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) dissertação diogo - definitiva.pdf: 1114333 bytes, checksum: 2d5217b1d58aa3d45ab5f8208741f0b5 (MD5) / Made available in DSpace on 2018-02-21T17:19:52Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) dissertação diogo - definitiva.pdf: 1114333 bytes, checksum: 2d5217b1d58aa3d45ab5f8208741f0b5 (MD5) Previous issue date: 2015-08-21 / CNPQ / Contexto – A engenharia de Software Empírica foca em investigar questões da Engenharia de Software (ES) utilizando métodos experimentais. Estudos empíricos têm se mostrado um importante instrumento para o avanço científico da área de ES. Como exemplo de estudos empíricos utilizados nesta área, podemos destacar: experimento controlado, quasi-experimento, survey, etnografia, pesquisa-ação, estudo de caso e estudos sistemáticos da literatura (Revisão Sistemática e Mapeamento Sistemático). Dessa forma, é salutar a realização de pesquisas objetivando o crescimento e o amadurecimento desses tipos de estudos na área de ES. A Revisão Sistemática da Literatura (RSL) é um tipo de estudo secundário utilizado para buscar de forma abrangente trabalhos primários relacionados com uma questão específica de pesquisa. Com o crescente uso de RSL na ES, torna-se cada vez mais importante a avaliação da qualidade dos trabalhos publicados em diversas conferências ejournals da área. Objetivo - O objetivo deste trabalho é identificar critérios que possam ser utilizados para analisar a qualidade de RSL em ES. De posse de um instrumento de avaliação da qualidade de uma RSL, analisaremos o nível da qualidade das principais pesquisas na área ao longo dos últimos anos das principais conferêncis ejournals. Método - Um processo foi definido para guiar a busca e identificação de critérios de qualidade na literatura. Foram identificados 23 critérios, e os mesmos foram subdivididos em 53 questões. Após definido os critérios, foram selecionados 160 estudos secundários e distribuídos entre 10 duplas de pesquisadores para extrair os dados baseados na lista de critérios de qualidade identificados. Resultados - Dos 160 estudos secundários selecionados inicialmente, 53 foram excluídos por não serem revisões sistemáticas. Os dados dos 107 estudos avaliados mostram que 13% obtiveram a classificação de qualidade "Ruim", 39% "Regular", 34% "Boa", 14% "Muito boa" e nenhum estudo atingiu a classificação de qualidade "Excelente". Conclusões A principal contribuição desta pesquisa é fornecer um instrumento que possa ser utilizado para avaliar RSL em ES, bem como reportar o nível de qualidade das pesquisas publicadas na área ao longo dos últimos anos. Após análise dos dados percebe-se que ainda há muito a ser melhorado em termos de execução de RSL em ES, entretanto está havendo evolução nos últimos anos. / Context - The Empirical Software Engineering focuses on investigating Software Engineering (SE) issues using experimental methods. Empirical studies have proven an important tool for scientific advancement in SE area. As an example of how empirical studies are being used in this area, we can highlight: controlled experiment, quasi-experiment, survey, ethnography, action research, case study and systematic studies of literature (Systematic Review and Systematic Mapping). Thus, conduct research aimed at growth and maturation of these types of studies is beneficial to SE area. The Systematic Review Literature (SRL) is a type of secondary study used to look comprehensively primary work related to a specific research question. With the growing use of SRL in SE increasingly important it is to assess the quality of papers published in various conferences and journals. Objective - The objective of this study is to identify criteria that can be used to analyze the quality of SRL in SE. Having an instrument for assessing the quality of a SRL, analyze the quality level of the leading research in the area over the past few years major conferences and journals. Method-A process has been set to guide the search and identification of quality criteria in literature. There were 23 criteria, and they were divided into 53 questions. After defining criteria were selected 160 secondary studies and distributed among 10 pairs of researchers to extract data based on the defined quality criteria list. Results-Ofthe160selected secondary studies initially, 53 were excluded because they are not systematic reviews. Data from 107 evaluated studies show that 13 % obtained the quality rating of "Poor", 39 % "Regular", 34 % "Good", 14 % "Very Good" and no study got the quality rating "Excellent."Conclusions The main contribution of this study is to provide an instrument that can be used to assess SRL in SE and report the level of quality of published research in the area over the past few years. After analyzing the data we can see that there is still much to be improved in terms of execution SRL in SE, however there is progress in recent years.

Submitted by Irene Nascimento (irene.kessia@ufpe.br) on 2016-01-07T18:58:29Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação de Mestrado - Cleyton Vanut Cordeiro de Magalhães.pdf: 1644153 bytes, checksum: c2921e802bf7c060e832088600f2aac9 (MD5) / Made available in DSpace on 2016-01-07T18:58:29Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação de Mestrado - Cleyton Vanut Cordeiro de Magalhães.pdf: 1644153 bytes, checksum: c2921e802bf7c060e832088600f2aac9 (MD5) Previous issue date: 2015-02-25 / Capes / Context: Two recent mapping studies which were intended to verify the current state of replication of empirical studies in Software engineering (SE) identified two sets of studies: empirical studies actually reporting replications (published between 1994- 2012) and a second group of studies that are concerned with definitions, classifications, processes, guidelines, and other research topics or themes about replication work in empirical software engineering research (published between 1996- 2012). Objective: The goal of this work is to analyse and discuss the contents of the second set of studies about replications to increase our understanding of the current state of the work on replication in empirical software engineering research. Method: The systematic literature review method was applied to build a systematic mapping study, in which the primary studies were collected by two previous mapping studies covering the period 1996-2012 complemented by manual and automatic search procedures that collected articles published in 2013. Results: We analysed 37 papers reporting studies about replication published in the last 17 years. These papers explore different topics related to concepts and classifications, guidelines, and discuss theoretical issues that are relevant for our understanding of replication in our field. We also investigated how these 37 papers have been cited in the 135 replication papers published between 1994 and 2012. Conclusions: Replication in SE still lacks a set of standardized concepts and terminology, which has a negative impact on the replication work in our field. To improve this situation, it is important that the SE research community engage on an effort to create and evaluate taxonomy, frameworks, guidelines, and methodologies to fully support the development of replications. / Contexto. Dois mapeamentos sistemáticos recentes que tiveram o objetivo de verificar o atual estado das pesquisas sobre replicação de estudos empíricos em Engenharia de Software (ES) identificaram dois conjuntos de estudos: o primeiro conjunto apresenta estudos empíricos que realizaram replicações (publicados entre 1994 e 2012) e o segundo conjunto apresenta pesquisas relacionadas a definições, classificações, processos, guidelines e outros tópicos de pesquisa sobre replicações de estudos empíricos em Engenharia de Software (publicados entre 1996 e 2012). Objetivo: O objetivo deste trabalho é analisar o conteúdo do segundo conjunto de estudos com o intuito de compreender melhor o atual estado das pesquisas sobre replicações de estudos empíricos em Engenharia de Software. Método: O método de revisão sistemática da literatura foi utilizado para construir um mapeamento sistemático, no qual, os estudos primários analisados foram coletados em dois mapeamentos sistemáticos realizados anteriormente, cobrindo o período de 1996 a 2012. Este período foi complementado por um processo de busca manual e automática que obteve artigos publicados em 2013. Resultados: Foram analisados 37 artigos que relatam estudos sobre replicação publicados nos últimos 17 anos. Estes artigos exploram diferentes tópicos relacionados a conceitos e classificações, apresentam guidelines e discutem questões teóricas que são relevantes para a compreensão de replicações em Engenharia de Software. Também foi investigado como estes 37 artigos foram citados em 135 replicações publicadas entre 1994 e 2012. Conclusões: Replicação em Engenharia de Software ainda necessita de um conjunto de conceitos padronizados e uma terminologia, pois isso traz um impacto negativo nos trabalhos de replicação nesta área. Para melhorar esta situação, é importante que os pesquisadores de Engenharia de Software integrem esforços para a criação de e avaliação de uma taxonomia, frameworks, guidelines e metodologias que possam apoiar o desenvolvimento de replicações.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Economia, Administração e Contabilidade, Departamento de Economia, Mestrado em Economia do Setor Público, 2014. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2014-07-24T12:37:17Z No. of bitstreams: 1 2014_AndreCoelhoVianna.pdf: 508887 bytes, checksum: 1d4e66d5450ec76385835cfdcb7faf0f (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2014-07-29T12:41:38Z (GMT) No. of bitstreams: 1 2014_AndreCoelhoVianna.pdf: 508887 bytes, checksum: 1d4e66d5450ec76385835cfdcb7faf0f (MD5) / Made available in DSpace on 2014-07-29T12:41:39Z (GMT). No. of bitstreams: 1 2014_AndreCoelhoVianna.pdf: 508887 bytes, checksum: 1d4e66d5450ec76385835cfdcb7faf0f (MD5) / Esta dissertação de mestrado busca aplicar a consagrada equação de gravidade do comércio internacional à economia brasileira, no período de 1993 a 2011. No primeiro experimento empírico, foram coletados dados de 106 países, que representaram 94,4% da corrente de comércio brasileira em 2011. A aplicabilidade da equação de gravidade ao caso brasileiro foi confirmada, e as variáveis binárias mais explicativas foram o Mercosul, os tigres asiáticos, e as línguas inglesa e francesa, sendo estas duas últimas negativamente correlacionadas com o fluxo de comércio brasileiro. Também foi possível descartar a relevância da fronteira nacional (McCallum Border Puzzle) como barreira para a corrente de comércio do Brasil. No segundo experimento, foi coletada uma taxa de câmbio que embute a variação de poder de compra, para um total de 32 países. Esta variável explicativa se mostrou significante nas simulações por dois métodos, dentre três testados. Até hoje, a maioria dos pesquisadores buscou aperfeiçoar e testar os fundamentos teóricos da equação de gravidade do comércio internacional, porém praticamente deixaram sem investigação o caso específico de um país em relação aos seus parceiros. Por fim, vale ressaltar que os resultados do primeiro experimento mostraram que é possível chegar a um modelo empírico que otimiza o nível do poder de explicação da equação de corrente de comércio brasileira, utilizando-se reduzida quantidade de dummies explicativas. ______________________________________________________________________________ ABSTRACT / This master’s thesis aims to apply the well-established gravity equation in international trade to the Brazilian economy, in the period from 1993 to 2011. In the first empirical experiment, data were collected for 106 countries, which represent 94.4% of the Brazilian trade flow in 2011. The applicability of the gravity equation to the Brazilian case was confirmed, and the most explanatory binary variables were Mercosul, Asian Tigers, and the English and French languages, these last two being negative correlated to the Brazilian total trade. It was also possible to discard the national border relevance (McCallum’s Border Puzzle) as a barrier to the Brazilian trade flow. In the second experiment, an exchange rate, which embeds purchasing power variations, was collected for a total of 32 countries. This variable was proved significant in simulations by two of the three econometric methods tested. Most past researchers have intended to improve and test the theoretical foundations of this equation, although practically leaving out the single country case uninvestigated. Finally, it is worth emphasizing that the results of the first experiment showed that it is possible to reach an empirical model that optimizes the explanatory power of the Brazilian trade flow equation, using a reduced number of explanatory dummy variables.

Submitted by Lucelia Lucena (lucelia.lucena@ufpe.br) on 2015-03-06T17:44:49Z No. of bitstreams: 2 DISSERTAÇÃO Bruno Falcão de Souza Cartaxo.pdf: 1159978 bytes, checksum: 107536ce6295bda63d1ace55772177ba (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-06T17:44:49Z (GMT). No. of bitstreams: 2 DISSERTAÇÃO Bruno Falcão de Souza Cartaxo.pdf: 1159978 bytes, checksum: 107536ce6295bda63d1ace55772177ba (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014-02-18 / Contexto: Estudos empíricos em engenharia de software apresentam problemas no que se refere à caracterização de contexto. Tal situação inibe a replicação de estudos, dificulta a interpretação de resultados, complica a síntese de evidências para estudos secundários e prejudica a transferência de conhecimento para indústria,uma vez que não se sabe se os resultados dos estudos se aplicam a um ambiente específico. Objetivo: Esta pesquisa tem o objetivo de identificar, classificar e quantificar mecanismos para guiar a caracterização de contexto de estudos empíricos na engenharia de software, uma vez que acredita-se que utilizando esses mecanismos os pesquisadores poderão caracterizar o contexto dos estudos empíricos adequadamente, partindo da motivação mais ampla de tornar as evidências empíricas mais úteis para a academia e indústria de software. Método: Para alcançar tal objetivo conduziu-se um mapeamento sistemático de cobertura exaustiva de acordo com as premissas e guias da engenharia de software baseada em evidências. Resultados: Analisou-se 13.355 estudos e ao final de duas rodadas realizadas por até oito pesquisadores selecionou-se 13 estudos, publicados entre 1999 e 2012. Framerwork foi o mecanismo mais utilizado, sendo apresentado em 7 dos 13 estudos selecionados. Mapeou-se 131 elementos contextuais de acordo coma abordagem discreta. Dos 13 estudos, 12 expuseram a noção de contexto através da abordagem discreta em oposição a um único de abordagem omnibus. 10 estudos exibiram mecanismos para guiar a caracterização de contexto de experimentos controlados, mas nenhum mencionou o método de survey. Apenas 4 dos 10 tópicos da engenharia de software foram cobertos com algum mecanismo para guiar a caracterização de contexto de estudos empíricos. Conclusões: Esta pesquisa evidenciou a importância da caracterização de contexto de estudos empíricos, bem como mostrou que há pesquisadores e instituições atentos ao tema. No entanto, se identificou que a quantidade e qualidade de mecanismos para guiar a caracterização de contexto é muito baixa. Por essa razão, é necessário debruçar-se sobre o tema objetivando definir mecanismos e criar teorias para aumentar a robustez da atividade de caracterização de contexto, aumentando a relevância das evidências empíricas na engenharia de software.

Made available in DSpace on 2014-06-12T15:56:50Z (GMT). No. of bitstreams: 2 arquivo2999_1.pdf: 2292884 bytes, checksum: f12a1a417b95360f4a2d16d0cc59bc61 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Contexto Muitos autores consideram replicação de estudos empíricos como uma atividade essencial para a construção do conhecimento em qualquer ciência empírica. Em engenharia de software, os primeiros estudos de replicação datam de meados de 1990, portanto são relativamente recentes. Embora o entendimento sobre replicação em engenharia de software tenha evoluído ao longo dos anos, os estudos e o debate científico sobre replicação ainda se encontram em um estágio inicial. Os trabalhos publicados ainda não fazem uso claro de termos e conceitos associados à replicação e nenhuma base abrangente de conhecimentos tem sido publicada para fornecer material sobre replicação. Objetivo - Analisar as pesquisas relacionadas à replicação de estudos empíricos em engenharia de software e trabalhos conceituais e teóricos sobre replicações. Nesta pesquisa são apresentadas as conclusões desta análise, concentrando-se nas informações dos estudos sobre replicações e estudos originais relacionados. Método - Aplicou-se a metodologia de revisão sistemática para realizar um mapeamento sistemático sobre o estado atual dos trabalhos de replicação de estudos empíricos realizados em engenharia de software. Resultados - Foram analisados 16.126 artigos, a partir dos quais foram extraídos 93 artigos, com 125 replicações e 76 estudos originais, realizadas entre 1994 e 2010. Mais de 60% das replicações foram realizadas nos últimos seis anos e 71% dos estudos foram replicações internas. Os tópicos de construção de software, testes e manutenção concentram em torno de 50% dos trabalhos de replicação, enquanto os tópicos de projeto de software, gerenciamento de configuração, ferramentas de software e métodos são os temas com menos replicações. Conclusões - O número de replicações cresceu nos últimos anos, mas o número absoluto de replicações ainda é muito pequeno, em particular considerando a amplitude dos temas relacionados com engenharia de software. Incentivos para executar replicações externas e melhorar os padrões dos relatórios de estudos empíricos e suas replicações ainda são necessários

A crescente utilização de sistemas baseados em computação em praticamente todas as áreas da atividade humana provoca uma crescente demanda por qualidade e produtividade, tanto do ponto de vista do processo de produção como do ponto de vista dos produtos de software gerados. Nessa perspectiva, atividades agregadas sob o nome de Garantia de Qualidade de Software têm sido introduzidas ao longo de todo o processo de desenvolvimento de software. Dentre essas atividades destacam-se as atividades de Teste e Revisão, ambas com o objetivo principal de minimizar a introdução de erros durante o processo de desenvolvimento nos produtos de software gerados. A atividade de Teste constitui um dos elementos para fornecer evidências da confiabilidade do software em complemento a outras atividades, como por exemplo, o uso de revisões e de técnicas formais e rigorosas de especificação e de verificação. A atividade de Revisão, por sua vez, é um 'filtro' eficiente para o processo de engenharia de software, pois favorece a identificação e a eliminação de erros antes do passo seguinte do processo de desenvolvimento. Atualmente, pesquisas estão sendo realizadas com objetivo de determinar qual técnica, Revisão ou Teste, é mais adequada e efetiva, em determinadas circunstâncias, para descobrir determinadas classes de erros; e de forma mais ampla, como as técnicas podem ser aplicadas de forma complementar para melhoria da qualidade de software. Ainda que a atividade de teste seja indispensável no processo de desenvolvimento, investigar o aspecto complementar dessas técnicas é de grande interesse, pois em muitas situações tem-se observado que as revisões são tão ou mais efetivas quanto os testes. Nessa perspectiva, este trabalho tem como objetivo realizar um estudo comparativo, por meio da replicação de experimentos, entre Técnicas de Teste e Técnicas de Revisão no que se refere à detecção de erros em produtos de software (código fonte e documento de especificação de requisitos). Para realizar esse estudo são utilizados critérios de teste das técnicas funcional (particionamento em classes de equivalência e análise do valor limite), estrutural (todos-nós, todos-arcos, todos-usos, todos-potenciais-usos), baseada em erros (análise de mutantes), bem como, técnicas de leitura (stepwise abstraction e perspective based reading) e técnicas de inspeção (ad hoc e checklist). Além de comparar a efetividade e a eficiência das técnicas em detectar erros em produtos de software, este trabalho objetivo ainda utilizar os conhecimentos específicos relacionados a critérios de teste para reavaliar as técnicas utilizadas nos experimentos de Basili & Selby, Kamsties & Lott e Basili. / The increasing use of computer based systems in practically all human activity areas provokes higher demand for quality and productivity, from the point of view of software process as well as from the point of view of software products. In this perspective, activities aggregated under the name of Software Quality Assurance have been introduced throughout the software development process. Amongst these activities, the test and review activities are distinguished, both of them aiming at minimizing the introduction of errors during the development process. The test activity constitutes one of the elements to supply evidences of software reliability as a complement to other activities, for example, the use of review and formal, rigorous techniques for specification and verification. The review activity, in turn, is an efficient 'filter' for the process of software engineering, therefore it favors the identification of errors before the next step of the development process. Currently, researches have been carried out with the objective of determining which technique, review or test, is more appropriate and effective, in certain circumstances, to discover some classes of errors, and mostly, how the techniques can be applied in complement to each other for improvement of software quality. Even if the test activity is indispensable in the development process, investigating the complementary aspect of these techniques is of great interest, for in many situations it has been observed that reviews are as or more effective as test. In this perspective, this work aims at accomplishing a comparative study, through the replication of experiments, between Testing Techniques and Reviews concerning error detection in software products at the source code and requirement specification level. To carry out this study are used testing criteria of the techniques: functional (equivalence partitioning and boundary value analysis); structural (all-nodes, all-edges, all-uses, all-potential-uses); error based (mutation testing), as well as reading techniques (stepwise abstraction and perspective based reading) and inspection techniques (ad hoc e checklist). Besides comparing the effectiveness and efficiency of the techniques in detecting errors in software products, this work also aims at reevaluating and eventually at improving the techniques used in experiment of Basili & Selby, Kamsties & Lott and Basili.

A crescente utilização de sistemas baseados em computação em praticamente todas as áreas da atividade humana provoca uma crescente demanda por qualidade e produtividade, tanto do ponto de vista do processo de produção como do ponto de vista dos produtos de software gerados. Nessa perspectiva, atividades agregadas sob o nome de Garantia de Qualidade de Software têm sido introduzidas ao longo de todo o processo de desenvolvimento de software. Dentre essas atividades destacam-se as atividades de Teste e Revisão, ambas com o objetivo principal de minimizar a introdução de erros durante o processo de desenvolvimento nos produtos de software gerados. A atividade de Teste constitui um dos elementos para fornecer evidências da confiabilidade do software em complemento a outras atividades, como por exemplo, o uso de revisões e de técnicas formais e rigorosas de especificação e de verificação. A atividade de Revisão, por sua vez, é um 'filtro' eficiente para o processo de engenharia de software, pois favorece a identificação e a eliminação de erros antes do passo seguinte do processo de desenvolvimento. Atualmente, pesquisas estão sendo realizadas com objetivo de determinar qual técnica, Revisão ou Teste, é mais adequada e efetiva, em determinadas circunstâncias, para descobrir determinadas classes de erros; e de forma mais ampla, como as técnicas podem ser aplicadas de forma complementar para melhoria da qualidade de software. Ainda que a atividade de teste seja indispensável no processo de desenvolvimento, investigar o aspecto complementar dessas técnicas é de grande interesse, pois em muitas situações tem-se observado que as revisões são tão ou mais efetivas quanto os testes. Nessa perspectiva, este trabalho tem como objetivo realizar um estudo comparativo, por meio da replicação de experimentos, entre Técnicas de Teste e Técnicas de Revisão no que se refere à detecção de erros em produtos de software (código fonte e documento de especificação de requisitos). Para realizar esse estudo são utilizados critérios de teste das técnicas funcional (particionamento em classes de equivalência e análise do valor limite), estrutural (todos-nós, todos-arcos, todos-usos, todos-potenciais-usos), baseada em erros (análise de mutantes), bem como, técnicas de leitura (stepwise abstraction e perspective based reading) e técnicas de inspeção (ad hoc e checklist). Além de comparar a efetividade e a eficiência das técnicas em detectar erros em produtos de software, este trabalho objetivo ainda utilizar os conhecimentos específicos relacionados a critérios de teste para reavaliar as técnicas utilizadas nos experimentos de Basili & Selby, Kamsties & Lott e Basili. / The increasing use of computer based systems in practically all human activity areas provokes higher demand for quality and productivity, from the point of view of software process as well as from the point of view of software products. In this perspective, activities aggregated under the name of Software Quality Assurance have been introduced throughout the software development process. Amongst these activities, the test and review activities are distinguished, both of them aiming at minimizing the introduction of errors during the development process. The test activity constitutes one of the elements to supply evidences of software reliability as a complement to other activities, for example, the use of review and formal, rigorous techniques for specification and verification. The review activity, in turn, is an efficient 'filter' for the process of software engineering, therefore it favors the identification of errors before the next step of the development process. Currently, researches have been carried out with the objective of determining which technique, review or test, is more appropriate and effective, in certain circumstances, to discover some classes of errors, and mostly, how the techniques can be applied in complement to each other for improvement of software quality. Even if the test activity is indispensable in the development process, investigating the complementary aspect of these techniques is of great interest, for in many situations it has been observed that reviews are as or more effective as test. In this perspective, this work aims at accomplishing a comparative study, through the replication of experiments, between Testing Techniques and Reviews concerning error detection in software products at the source code and requirement specification level. To carry out this study are used testing criteria of the techniques: functional (equivalence partitioning and boundary value analysis); structural (all-nodes, all-edges, all-uses, all-potential-uses); error based (mutation testing), as well as reading techniques (stepwise abstraction and perspective based reading) and inspection techniques (ad hoc e checklist). Besides comparing the effectiveness and efficiency of the techniques in detecting errors in software products, this work also aims at reevaluating and eventually at improving the techniques used in experiment of Basili & Selby, Kamsties & Lott and Basili.

Submitted by Luiz Felipe Barbosa (luiz.fbabreu2@ufpe.br) on 2015-03-10T17:58:34Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO Roberta Moraes Monteiro Bezerra.PDF: 1091395 bytes, checksum: 97b21b9ce126c1c662fb69cb1cbaf288 (MD5) / Made available in DSpace on 2015-03-11T17:37:53Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO Roberta Moraes Monteiro Bezerra.PDF: 1091395 bytes, checksum: 97b21b9ce126c1c662fb69cb1cbaf288 (MD5) Previous issue date: 2014-05-05 / Contexto: Pesquisadores das ciências empíricas relatam a necessidade de realizar replicações dos estudos empíricos, inclusive na Engenharia de Software. Os primeiros estudos de replicação na Engenharia de Software Empírica são da década de 1990, sendo uma área relativamente recente. A Engenharia de Software Empírica ainda não conseguiu definir os termos e conceitos básicos de replicação, estando este debate em estágio inicial. Também não existe uma vasta literatura com material de replicação. Objetivo: Estender a pesquisa de (Silva et al., 2011) analisando os estudos relacionadas a replicação na Engenharia de Software Empírica e publicadas nos anos de 2011 e 2012. Método: A realização de um mapeamento sistemático sobre o estado atual dos trabalhos de replicação na Engenharia de Software Empírica, para extrair e analisar os novos dados dos artigos selecionados e depois comparar os resultados dos dois mapeamentos sistemáticos. Resultados: Nesse estudo foram analisados mais de 7.000 artigos, a partir dos quais foram selecionados 39 artigos referente a replicações executadas, com 51 replicações, executadas em 2011 e 2012, e 35 estudos originais. Também foram selecionados 10 artigos referente a trabalhos teóricos sobre replicação. 53% das replicações são consideradas externas; há uma forte concentração de replicações de quasi-experimentos, que utilizam “Acadêmicos” como unidade de análise e que confirmam o estudo original. Os conjuntos de replicação com apenas uma replicação para cada estudo original representam 80% dos conjuntos. Os tópicos de Design de Software, Teste de Software e Qualidade de Software concentram 58,8% das replicações. Conclusões: Considerando os números do primeiro mapeamento e do atual, percebe-se um aumento proporcional no número de replicações que retratam estudos empíricos na Engenharia de Software, entretanto, o número de replicações ainda é pequeno, sendo preciso incentivos para aumentar o número de replicações e a qualidade dos seus resultados. Quando analisado os resultados desta extensão e do primeiro mapeamento, percebe-se que as maiores mudanças estão entre as replicações externas.

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2016-07-12T12:30:10Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO (2015-08-17) - RAFAEL BRANDAO LOBO.pdf: 1015468 bytes, checksum: d543b6f16adc4ce4d3aa4d59c8d546ff (MD5) / Made available in DSpace on 2016-07-12T12:30:10Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO (2015-08-17) - RAFAEL BRANDAO LOBO.pdf: 1015468 bytes, checksum: d543b6f16adc4ce4d3aa4d59c8d546ff (MD5) Previous issue date: 2015-07-17 / CAPEs / Deadlocks are a common type of concurrency bug. When a deadlock occurs, it is difficult to clearly determine whether there is an actual deadlock or if the application is slow or hanging due to a different reason. It is also difficult to establish the cause of the deadlock. In general, developers deal with deadlocks by using analysis tools, introducing application-specific deadlock detection mechanisms, or simply by using techniques to avoid the occurrence of deadlocks by construction. In this paper we propose a different approach. We believe that if deadlocks manifest at runtime, as exceptions, programmers will be able to identify these deadlocks in an accurate and timely manner. We leverage two insights to make this practical: (i) most deadlocks occurring in real systems involve only two threads acquiring two locks (TTTL deadlocks); and (ii) it’s possible to detect TTTL deadlocks efficiently enough for most practical systems. We conducted a study on bug reports and found that more than 90% of identified deadlocks were indeed TTTL.We extended Java’s ReentrantLock class to detect TTTL deadlocks and measured the performance overhead of this approach with a conservative benchmark. For applications whose execution time is not dominated by locking, the overhead is estimated as below 6%. Empirical usability evaluation in two experiments showed that students finished tasks 16.87% to 30.7% faster on the average using our approach with the lock being the most significant factor behind it, and, in one of the experiments they were able to identify the defects more accurately with a signficant 81.25% increase in the number of correct answers when deadlock exceptions where present. / Deadlocks são um tipo comum de bug de concorrência. Quando um deadlock acontece, é difícil determinar claramente se houve um deadlock de verdade ou se a aplicação está lenta ou travada por qualquer outro motivo. Também é difícil estabelecer a causa do deadlock. Em geral, desenvolvedores lidam com deadlocks de várias maneiras: utilizando ferramentas analíticas; utilizando mecanismos especificos da aplicação para detectar deadlocks; ou simplesmente usando técnicas para evitar a ocorrência de deadlocks no momento da construção do código. Neste trabalho, propomos uma abordagem diferente. Acreditamos que se deadlocks se manifestarem durante a execução na forma de exceções, programadores serão capazes de identificar esses deadlocks de forma mais precisa e mais rápida. Levamos em consideração alguns aspectos para tornar esta abordagem prática: (i) a maioria dos deadlocks que ocorrem em sistemas reais envolvem apenas duas threads adquirindo dois locks ou two-thread, two-lock (TTTL) deadlock; e (ii) é possível detectar TTTL deadlocks de forma suficientemente eficiente para uso prático na maioria dos sistemas. Conduzimos um estudo com bugs reportados em sistemas de software de larga escala e descobrimos que mais de 90% dos bugs identificados como deadlocks eram de fato TTTL. Extendemos a classe ReentrantLock de Java para detectar TTTL deadlocks e medimos seu overhead na performance com um benchmark bastante conservador onde medimos o overhead das operações de trava quando deadlocks não são possíveis. Para aplicações cujo tempo de execução não é dominado por travas, o impacto médio no tempo de execução é na ordem de 6%. Realizamos uma avaliação empírica para testar usabilidade através de dois experimentos. Nesta avaliação, mostramos que, em média, estudantes terminam tarefas de 16.87% a 30.7% mais rapidamente usando nossa abordagem, sendo o tipo de abordagem o fator de maior significância e, em um dos experimentos, estudantes foram capazes de identificar mais corretamente a causa dos bugs, mostrando que o número de respostas corretas aumentou significativamente em 81.25% quando as exceções propostas estavam presentes.

Made available in DSpace on 2016-04-29T13:17:51Z (GMT). No. of bitstreams: 1 Rodrigo Rodrigues Costa Boavista.pdf: 1392154 bytes, checksum: 07f3bfa1630aa7feecb15343ca51e287 (MD5) Previous issue date: 2014-02-21 / Relational Frame Theory (RFT) was proposed by Steven Hayes and Aaron Brownstein in 1985. Only in 2001 the first book whose content was exclusively dedicated to present RFT proposal and application fields was released. Inspired by research on stimulus equivalence and operant understanding of language RFT proponents argue that verbal behavior is closely related to a high order operant strengthened since early childhood via multiple exemplars training. This operant - arbitrarily applicable relational responding is defined by the properties of mutual implication, combinatorial implication, and transformation of stimuli function. RFT has received criticism directed to iits philosophical foundations, theoretical assumptions and regarding methodological research practices that guarantee its empirical support. This study aimed to review the empirical literature produced in the light of the RFT analyzing bibliometric aspects (year of publication, authors, affiliation of authors, journals, journals´ relevancy rates), methodological aspects (participants´ age, diagnosis and education, type and site of application, material and equipment used, relational frame employed, experimental task and measurement used) and trials to comprehend phenomena traditionally explore by other areas of knowledge/research lines/theories. 85 articles published between 1991 and May 2013 were reviewed. The Psychological Record led publications (42 articles). Studies majority employed participants from 18 years old onwards. Only 8% considered participants with psychiatric diagnosis. Just one publication was conducted in a group setting. Great part of the studies used computerized tasks. In terms of relational frames 68 studies investigated coordinated relations. 53 publications employed simultaneous matching-to-sample procedure. Between 1991 and 2001 there were nine studies that combined at least two measures but between 2006 and May 2013 there were 35. We found articles in which phenomena traditionally explored by areas such as philosophy, heuristic, clinics, theory of mind, neuroscience, among others, were discussed. Results show that RFT researchers produced empirical data through a variety of methodological conditions. However, we didn´t find evidence on non-human subjects or studies which assessed results in terms of sociodemographic variables or number of training and testing trials / A Teoria das Molduras Relacionais (Relational Frame Theory RFT) foi proposta por Steven Hayes e Aaron Brownstein em 1985. Apenas em 2001 foi lançado o primeiro livro cujo conteúdo era exclusivamente dedicado a apresentar sua proposta e indicar campos para aplicação. Inspirados nas pesquisas em equivalência de estímulos e na compreensão operante da linguagem os proponentes da RFT argumentam que o comportamento verbal está relacionado a um operante de ordem superior fortalecido desde a infância via treino de múltiplos exemplares. Este operante responder relacional arbitrariamente aplicável define-se pelas propriedades de implicação mútua, implicação combinatória e transformação de função de estímulos. A RFT vem recebendo críticas de cunho filosófico, teórico e metodológico. O presente trabalho teve como objetivo revisar a literatura empírica produzida à luz da RFT analisando aspectos bibliométricos (ano de publicação, autores, filiação dos autores, periódico, índices de relevância dos periódicos), metodológicos (faixa etária, diagnóstico e escolaridade dos participantes, tipo e local de aplicação, material e equipamentos utilizados, moldura relacional empregada, tarefa experimental e medida utilizadas) e tentativas de compreender fenômenos tradicionalmente estudados por outras linhas de pesquisa/teorias/áreas do conhecimento. Foram revistos 85 artigos publicados entre 1991 e maio de 2013. Identificou-se que o The Psychological Record liderou o número de publicações (42 artigos). A maioria das pesquisas tinha como participantes indivíduos de 18 anos em diante. Apenas 8% publicações consideraram participantes com diagnóstico psiquiátrico. Apenas uma publicação foi conduzida em contexto de grupo. A maior parte dos estudos utilizou tarefas computadorizadas. No que tange às molduras relacionais 68 estudos investigaram relações de coordenação. 53 publicações empregaram procedimentos de matching-to-sample simultâneo. Entre 1991 e 2001 foram identificadas nove pesquisas que combinavam ao menos duas medidas, já entre 2006 e maio de 2013 havia 35. Foram observados estudos nos quais fenômenos tipicamente abordados pela filosofia, heurística, clínica comportamental, teoria da mente, neurociências, entre outras, foram discutidos. Os resultados mostram que os pesquisadores que trabalham sob a perspectiva da RFT produziram dados empíricos a partir de uma diversidade de configurações metodológicas. Contudo, não foram identificadas evidências empíricas com sujeitos não humanos, estudos que avaliassem os resultados obtidos em termos de variáveis sóciodemográficas e pesquisas em que fossem correlacionados resultados à número de tentativas de treino/teste