Submitted by Maria Medeiros (maria.dilva1@ufcg.edu.br) on 2018-06-05T13:58:29Z No. of bitstreams: 1 MELINA MONGIOVI CUNHA LIMA SABINO - TESE (PPGCC) 2016.pdf: 4752189 bytes, checksum: e1034c42632a733df07a498a7eea6d0b (MD5) / Made available in DSpace on 2018-06-05T13:58:29Z (GMT). No. of bitstreams: 1 MELINA MONGIOVI CUNHA LIMA SABINO - TESE (PPGCC) 2016.pdf: 4752189 bytes, checksum: e1034c42632a733df07a498a7eea6d0b (MD5) Previous issue date: 2016 / Capes / Definir e implementar refatoramentos não é uma tarefa trivial, pois é difícil definir todas as pré-condições necessárias para garantir que a transformação preserve o comportamento observável do programa. Com isso, ferramentas de refatoramentos podem ter condições muito fracas, condições muito fortes e podem aplicar transformações que não seguem a definição do refatoramento. Na prática, desenvolvedores escrevem casos de testes para checar suas implementações de refatoramentos e se preocupam em evitar esses tipos de bugs, pois 84% das asserções de testes do Eclipse e JRRT testam as ferramentas com relação aos bugs citados anteriormente. No entanto, as ferramentas ainda possuem esses bugs. Existem algumas técnicas automáticas para testar ferramentas de refatoramentos, mas elas podem ter limitações relacionadas com tipos de bugs que podem ser detectados, geração de entradas de testes, automação e performance. Este trabalho propõe uma técnica para escalar testes de ferramentas de refatoramentos. A técnica contém DOLLY um gerador automático de programas Java e C, no qual foram adicionadas mais construções de Java (classes e métodos abstratos e interface) e uma estratégia de pular algumas entradas de testes com o propósito de reduzir o tempo de testar as implementações de refatoramentos. Foi proposto um conjunto de oráculos para avaliar a corretude das transformações, dentre eles SAFEREFACTORIMPACT que identifica falhas relacionadas com mudanças comportamentais. SAFEREFACTORIMPACT gera testes apenas para os métodos impactados pela transformação. Além disso, foi proposto um novo oráculo para identificar transformações que não seguem a definição do refatoramento e uma nova técnica para identificar condições muito fortes. A técnica proposta foi avaliada em 28 implementações de refatoramentos de Java (Eclipse e JRRT) e C (Eclipse) e detectou 119 bugs relacionados com erros de compilação, mudanças comportamentais, condições muito fortes, e transformações que não seguem a definição do refatoramento. Usando pulos de 10 e 25 no gerador de programas, a técnica reduziu em 90% e 96% o tempo para testar as implementações de refatoramentos, enquanto deixou de detectar apenas 3% e 6% dos bugs, respectivamente. Além disso, detectou a primeira falha geralmente em alguns segundos. Por fim, com o objetivo de avaliar a técnica proposta com outras entradas de testes, foram avaliadas implementações do Eclipse e JRRT usando os programas de entrada das suas coleções de testes. Neste estudo, nossa técnica detectou mais 31 bugs não detectados pelos desenvolvedores das ferramentas. / Defining and implementing refactorings is a nontrivial task since it is difficult to define preconditions to guarantee that the transformation preserves the program behavior. There fore, refactoring engines may have overly weak preconditions, overly strong preconditions, and transformation issues related to the refactoring definition. In practice, developers manually write test cases to check their refactoring implementations. We find that 84% of the test suites of Eclipse and JRRT are concerned with identifying these kinds of bugs. However, bugs are still present. Researchers have proposed a number of techniques for testing refactoring engines. Nevertheless, they may have limitations related to the bug type, program generation, time consumption, and number of refactoring engines necessary to evaluate the implementations. In this work, we propose a technique to scale testing of refactoring engines by extending a previous technique. It automatically generates programs as test inputs using Dolly, a Java and C program generator. We add more Java constructs in DOLLY, such abstract classes and methods and interface, and a skip parameter to reduce the time to test the refactoring implementations by skipping some consecutive test inputs. Our technique uses SAFEREFACTORIMPACT to identify failures related to behavioral changes. It generates test cases only for the methods impacted by a transformation. Also, we propose a new oracle to evaluate whether refactoring preconditions are overly strong by disabling a subset of them. Finally, we present a technique to identify transformation issues related to the refactoring definition. We evaluate our technique in 28 refactoring implementations of Java (Eclipse and JRRT) and C (Eclipse) and find 119 bugs related to compilation errors, behavioral changes, overly strong preconditions, and transformation issues. The technique reduces the time in 90% and 96% using skips of 10 and 25 in Dolly while missing only 3% and 6% of the bugs, respectively. Additionally, it finds the first failure in general in a few seconds using skips. Finally, we evaluate our proposed technique by using other test inputs, such as the input programs of Eclipse and JRRT refactoring test suites. We find 31 bugs not detected by the developers.

Made available in DSpace on 2014-06-12T15:51:47Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Nas últimas décadas, indústrias de software têm investido um esforço substancial na melhoria da qualidade de seus produtos. Pensando nisso, muitas empresas estão buscando implantar ou melhorar seus processos de teste. A melhoria de processo de testes é uma instanciação da melhoria de processos. Com o intuito de facilitar a melhoria de processo de software, diversos modelos têm surgido, tais como IDEAL [McFeeley, 1996], ISO/IEC 15504 [ISO 15504, 2005] e Pro2Pi [Salviano, 2006]. Existem também modelos de referência específicos para definição de requisitos necessários a um Processo de Testes, como: TMM [Burnstein, 2003], TIM [Ericson, 1996] e TPI [Koomen, 1999]. No entanto, estes modelos não fornecem diretrizes para a sua implantação em uma organização de testes. A melhoria de processo de testes é uma instanciação da melhoria de processos. Embora tenham surgido tais modelos de melhoria de processo, bem como os modelos de referência para processos de testes, e haja resultados encorajadores, grande parte da indústria de software ainda apresenta muitas dificuldades em realizar um programa de melhoria de processo de testes de software efetivo. Isto ocorre por uma série de motivos, dentre os quais, podemos destacar o fato de que estes modelos são genéricos e exigem diversas adaptações para tratar as dificuldades comumente encontradas em um programa de melhoria de testes. Diante deste cenário, a abordagem proposta neste trabalho guiará as empresas de maneira simples e ágil a estabelecer processos de teste de software, possibilitando o alcance de melhores níveis de qualidade de seus produtos

Made available in DSpace on 2014-06-12T16:00:31Z (GMT). No. of bitstreams: 2 arquivo6680_1.pdf: 2321804 bytes, checksum: af9683ec20e14908477df5e0ec721097 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / No passado as grandes empresas confiavam a qualidade dos seus sistemas aos seus fornecedores (sejam internos ou externos). Novas tecnologias estão surgindo, processos de desenvolvimento estão mais maduros, mas os fornecedores ainda pecam na qualidade do produto. Falhas no desenvolvimento dos sistemas, cronogramas estourados e defeitos em produção são os principais problemas que prejudicam todo o planejamento financeiro e estratégico de uma organização [TER_01]. Boas práticas em testes de software contribuem para a melhoria da qualidade e redução dos custos dos produtos finais, pela diminuição de retrabalho nos estágios posteriores de testes, durante a implantação e na manutenção. Modelos de maturidade para o desenvolvimento de software, como CMMi vêm sendo utilizados em larga escala para amenizar estes problemas, entretanto esses modelos não tratam com grande atenção as atividades relacionadas a testes. Em resposta a esta deficiência foram criados modelos de maturidade para os processos de testes. Entre eles, o TMM, Testing Maturity Model [TMM_01], o TIM, Test Improvement Model [TIM_01] e o TPI, Test Process Improvement [TPI_01]. Um novo modelo de maturidade em teste, fruto deste trabalho tem como objetivo cobrir as ausências dos modelos citados. A principal delas é falta de detalhes sobre ambientes de teste. O TMM-e (enviroment) como será chamado é adequado para empresas de grande porte onde encontramos uma variedade de plataformas, linguagens de programação e dispositivos todos funcionando de forma integrada. O mesmo servirá de referência para estas empresas implantarem um processo de testes de qualidade, além de fornecer segurança e qualidade na definição e montagem de seus ambientes de testes

[pt] Teste de software é uma atividade crítica no processo de desenvolvimento de sistemas, principalmente devido ao aumento da complexidade das aplicações atuais e pelo impacto que tais aplicações podem gerar. Relacionado a essa complexidade, o paradigma de sistemas multiagentes tem sido utilizado especialmente quando entidades pró-ativas, autônomas, autoadaptáveis e distribuídas precisam ser desenvolvidas. Para acompanhar a criação, manutenção e execução dos testes nesses sistemas, torna-se necessária a adoção de um processo de gerência, pois prevê a realização das atividades de planejamento, projeto, execução e acompanhamento dos testes. Visando ajudar nessa gerência, a tese apresenta o Java self-Adaptive Agent Framework for Self- Test (JAAF mais T), framework que permite a criação de agentes autoadaptativos capazes de realizar autoteste, isto é, coordenar a execução dos testes necessários para validar suas autoadaptações. Como diversas informações são usadas para ajudar na gerência desses testes, documentá-las ajuda a entender como evoluir e executá-los. Baseada nessa preocupação, a tese oferece uma nova linguagem de modelagem chamada de UML Testing Profile for Coordination (UTP-C), perfil (profile) da UML que permite a modelagem dessas informações. Por fim, para automatizar o processo de gerência dos testes executados por agentes autoadaptativos, a tese apresenta ferramentas capazes de gerar de forma automática artefatos usados pelo JAAF mais T baseados em modelos UTP-C. / [en] Testing software systems has become a critical activity of software development over time. Especially when the development of complex systems, which are able to self-adapt theirs behaviors when necessary, is becoming extremely common. In this context, the multi-agent system (MAS) paradigm has been used especially when distributed, autonomous and pro-active entities are represented. Aiming to control the creation, maintenance and execution of tests on these systems, it is necessary to adopt a management process that considers the activities of planning, design, execution and monitoring of the tests. In order to help this management, the thesis presents the Java self-Adaptive Agent Framework for Self-Test (JAAF more T), that aims to allow the creation of selfadaptive agents that perform self-tests. Since several data are used to help the management of the tests, documenting them helps to understand how to evolve and execute them. Based on this concern, the thesis offers a new modeling language called UML Testing Profile for Coordination (UTP-C), profile of the UML that allows the modeling of these data. At last, but not least important, tools, which were created to automate the management of the tests executed for selfadaptive agents, are presented to generate useful artifacts used for instances of the JAAF more T based on UTP-C models.

Submitted by Lucienne Costa (lucienneferreira@ufcg.edu.br) on 2018-08-30T17:06:55Z No. of bitstreams: 1 ACHILES PEDRO DA CUNHA LUCIANO – DISSERTAÇÃO (PPGCC) 2017.pdf: 1197427 bytes, checksum: 46a99b6df28cd76000cf4c5b38285b57 (MD5) / Made available in DSpace on 2018-08-30T17:06:55Z (GMT). No. of bitstreams: 1 ACHILES PEDRO DA CUNHA LUCIANO – DISSERTAÇÃO (PPGCC) 2017.pdf: 1197427 bytes, checksum: 46a99b6df28cd76000cf4c5b38285b57 (MD5) Previous issue date: 2017-06-01 / Contexto: O desenvolvimento de aplicações móveis cresce, acompanhando as constantes evoluções do hardware dos dispositivos. Com esta evolução, mais e mais recursos são adicionados e integrados à vida diária dos usuários. Contudo, a prática de testes de software utilizada pela comunidade para garantir o correto funcionamento das aplicações, incluindo a verificação de aspectos de segurança, portabilidade e compatibilidade, continua sendo um assunto pouco difundido. Objetivo: O objetivo deste estudo é compreender como as equipes lidam com a prática de testes de software aplicada ao contexto móvel, a relação cotidiana dos desenvolvedores com a literatura científica, a automação de testes e os desafios encontrados neste contexto. Método: Foi elaborado um estudo qualitativo, baseado na metodologia de Análise Temática, em três etapas: um survey, de caráter exploratório, que obteve 44 respostas de profissionais da área, seguido de uma seção de entrevistas com 12 profissionais para detalhar as questões levantadas durante o survey e um novo survey, de caráter confirmatório, que obteve 54 respostas e permitiu aos respondentes avaliar as principais conclusões das etapas anteriores. Resultados: Nossos resultados indicam a preferência dos desenvolvedores por testes manuais em detrimento da automação e o uso de testes funcionais automáticos de performance em alternativa, a escassez de referências para criação dos cenários de teste e os meios utilizados pelos profissionais para lidar com desafios como a fragmentação. / Context: Mobile WebApplicationdevelopmentincrease,followedbyoftenhardwareevolutions fromdevices.Withthisdevelopment,moreandmorefeatureshasbeenaddedina daily lifeofusers.However,thepracticesofsoftwaretestingusedbydeveloperstoensure the correctexecutionflowoftheapplication,includingsafetyaspects,portabilityandcompatibility,remainsawidespreadissue. Objective: This studyaddresseshowtounderstand teams andhowtheyapplythetestsinthedevelopmentphase.plan. Method: There was elaborated aqualitativestudy,basedonTematicAnalisysmethodology,inthreestages:a exploratorysurvey,thatcollected44answersfromprofessionals,followedbyaninterview with 12professionalstodetailtheanswerscollectedduringtheexploratorysurveyanda newconfirmatorysurvey,thatcollected54answersandallowedtheprofessionalstoevaluate the mainconclusionsfrompreviousstages. Results: Our resultsshownapreferencefrom developersformanualtestingoverautomationanduseofautomaticfunctionaltestsinstead, the lackofreferencestocreatenewtestscenariesandthemethodusedbyprofessionalsto deal withchallengessuchasfragmentation.

Made available in DSpace on 2014-06-12T15:49:31Z (GMT). No. of bitstreams: 2 arquivo1252_1.pdf: 1197397 bytes, checksum: 95159c131dcb5fed48e21ab1ea96a5ef (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Seleção automática de casos de teste (CTs) é uma tarefa importante para melhora da eficiência das atividades de Testes de Software. Essa tarefa pode ser tratada como um problema de otimização, cujo objetivo é encontrar um subconjunto de CTs que maximizem um dado critério de teste. No nosso trabalho, o critério de testes é a cobertura de requisitos funcionais formalmente especificados, e, além dele, o custo (esforço de execução) também é levado em consideração no processo de seleção. Mesmo sendo um aspecto importante, o esforço de execução ainda é negligenciado por outros trabalhos na área de seleção automática de CTs. Nesse trabalho, utilizamos o algoritmo conhecido como como Otimização por Enxame de Partículas (Particle Swarm Optimization - PSO), ainda não investigado na resolução desse tipo de problema, para criação de uma ferramenta de seleção automática de CTs. Nela, o esforço de execução é utilizado como um limiar no processo de seleção, onde, dada uma suíte de testes, busca-se selecionar um subconjunto de casos de testes que não ultrapassem esse limiar e que maximizem a cobertura de requisitos funcionais. Para tanto, o esforço de execução foi considerado uma restrição ao problema de otimização e a cobertura de requisitos como a função de fitness. Nessa ferramenta, sete módulos (que implementavam outras técnicas de busca), foram desenvolvidos e seus desempenhos comparados através de experimentos onde foi possível oberservar o bom desempenho do PSO se comparado às outras técnicas

Made available in DSpace on 2014-06-12T15:55:54Z (GMT). No. of bitstreams: 2 arquivo2331_1.pdf: 1723278 bytes, checksum: 1074d6fd52a0438cb50b50df400e2be3 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / No mercado atual torna-se cada vez mais necessário um software com um alto nível de qualidade e que satisfaça o cliente. Para que os produtos sejam entregues com mais qualidade é vital a realização de testes de software. Há empresas que não investem adequadamente na área de testes. Não existe uma equipe dedicada apenas às atividades de testes de software, não há um processo definido para Teste de Software. Nessas empresas a principal técnica de teste utilizada é a execução de Testes Exploratórios. Neste cenário, na maioria das vezes os testes exploratórios são realizados de maneira informal, se baseiam na intuição e dependem da habilidade e experiência do testador. Este trabalho propõe boas práticas e um processo para testes exploratórios com o intuito de melhorar os resultados obtidos com a utilização desta técnica. O intuito é ajudar empresas que executam testes exploratórios a elevar o nível de qualidade dos testes realizados e dos softwares produzidos. Assim, a ideia é propor um processo que possa ser seguido por essas empresas e que atenda a padrões já conhecidos e respeitados no mercado. Foi realizado um experimento, no qual o processo proposto foi aplicado em uma célula de uma empresa por dois meses. A aplicação do mesmo apresentou vários benefícios e pretende-se adotá-lo formalmente

Made available in DSpace on 2014-06-12T16:00:26Z (GMT). No. of bitstreams: 2 arquivo6606_1.pdf: 4415777 bytes, checksum: 2f6d4d1e8b270706cdf01fd8117be5fd (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / Teste é uma atividade muito importante no processo de desenvolvimento de software, entretanto, é uma atividade cara, uma vez que ela consome uma parte considerável dos recursos de um projeto de desenvolvimento de software. Um problema encontrado na maioria dos processos de desenvolvimento de software é a ausência de uma maneira de se avaliar a efetividade dos casos de teste de unidade, que são executados no código desenvolvido. Uma possível solução para este problema é realizar testes de cobertura de código e obter métricas sobre a cobertura do conjunto de testes de unidade executados. O presente estudo descreve um processo de desenvolvimento de software incluindo análise de cobertura de código, em que utilizamos o Rational Unifield Process como base para o processo proposto

Made available in DSpace on 2014-06-12T18:01:33Z (GMT). No. of bitstreams: 2 arquivo1467_1.pdf: 8939578 bytes, checksum: 6e08f611bd2f6e7b7869ce15c25ebace (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / No mercado atual torna-se cada vez mais necessário um software com um alto nível de qualidade e que satisfaça o cliente. Para que os produtos sejam entregues com mais qualidade é vital a realização de testes de software. Há empresas que não investem adequadamente na área de testes. Não existe uma equipe dedicada apenas às atividades de testes de software, não há um processo definido para Teste de Software. Nessas empresas a principal técnica de teste utilizada é a execução de Testes Exploratórios. Neste cenário, na maioria das vezes os testes exploratórios são realizados de maneira informal, se baseiam na intuição e dependem da habilidade e experiência do testador. Este trabalho propõe boas práticas e um processo para testes exploratórios com o intuito de melhorar os resultados obtidos com a utilização desta técnica. O intuito é ajudar empresas que executam testes exploratórios a elevar o nível de qualidade dos testes realizados e dos softwares produzidos. Assim, a ideia é propor um processo que possa ser seguido por essas empresas e que atenda a padrões já conhecidos e respeitados no mercado. Foi realizado um experimento, no qual o processo proposto foi aplicado em uma célula de uma empresa por dois meses. A aplicação do mesmo apresentou vários benefícios e pretende-se adotá-lo formalmente

Submitted by Geyciane Santos (geyciane_thamires@hotmail.com) on 2015-06-17T13:21:45Z No. of bitstreams: 1 Dissertação- Jeanne de Castro Trovão.pdf: 2079561 bytes, checksum: c951810ee47ee9da038b5fbcc6171763 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-06-17T20:22:49Z (GMT) No. of bitstreams: 1 Dissertação- Jeanne de Castro Trovão.pdf: 2079561 bytes, checksum: c951810ee47ee9da038b5fbcc6171763 (MD5) / Made available in DSpace on 2015-06-17T20:22:49Z (GMT). No. of bitstreams: 1 Dissertação- Jeanne de Castro Trovão.pdf: 2079561 bytes, checksum: c951810ee47ee9da038b5fbcc6171763 (MD5) Previous issue date: 2014-10-30 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / Software companies are always concerned about improving the quality of their products and processes. By improving the quality of process, it also contributes to the quality of the product resulting from this process. Several strategies can applied to reach processes quality. One of them consists in the integration of support processes that assist the management of the main process and may be applied when required, contributing to the success and the quality of the main process and its products. When talking about software product quality, we can cite software testing activities, which are planned and executed in order to increase product quality through a process that also needs to be managed. Therefore, approaches that aim to contribute to the quality of the software testing process indirectly contribute to the quality of the software product. Thus, the strategy of integration of support processes that help to manage the testing process also contributes to this quality. However, this kind of approach is poorly developed in the technical literature, especially in the context of testing. Considering this necessity, this thesis presents the definition of two Support Processes instantiated to Software Testing Process, Testing Risk Management Process and Testing Human Resource Management Process, specified in order to contribute to the quality of management aspect of the testing process. These processes were defined based on several maturity models and norms/standards. In order to evaluate the proposed processes, a peer review was conducted with experts in the fields related to the specified processes and the results of this evaluation suggest that the proposed processes are appropriate and can be integrated into the testing process. / Empresas de software estão sempre preocupadas em melhorar a qualidade de seus produtos e processos. Ao melhorar a qualidade do processo, também se contribui para a melhoria do produto resultante desse processo. Diversas estratégias podem ser aplicadas visando à obtenção de qualidade de processos. Uma delas consiste na integração de processos de apoio, que são aqueles que auxiliam um processo principal como parte integrante, podendo ser empregado por ele quando necessário, contribuindo para o sucesso e a qualidade do processo principal e de seus produtos. Quando se fala em qualidade de produto de software, se remete às atividades de teste de software, que são planejadas e executadas a fim de aumentar a qualidade do produto através de um processo que também precisa ser gerenciado. Portanto, abordagens que visam contribuir para a qualidade do processo de testes de software contribuem indiretamente com a qualidade do produto de software. Assim, a estratégia de integração de processos de apoio que ajudam a gerenciar o processo de testes também contribui com essa qualidade. No entanto, esse tipo de abordagem é pouco desenvolvido na literatura técnica, principalmente no contexto de teste. Considerando essa necessidade, esta dissertação apresenta a definição de dois Processos de Apoio ao Processo de Testes, Processo de Gerência de Riscos de Teste e Processo de Gerência de Recursos Humanos de Teste, especificados e adequados com o objetivo de contribuir com a qualidade no aspecto gerencial do processo de testes de software. Esses processos foram definidos tendo-se como base diversos modelos de maturidade e normas técnicas. Para avaliar os processos propostos, uma revisão por pares foi conduzida com especialistas das áreas referentes aos processos especificados e os resultados dessa avaliação sugerem que os processos aqui definidos estão adequados e possibilitam a aplicação deles de forma integrada ao processo de testes.