A proposta deste trabalho é estudar as teorias de análise de qualidade de rede GPS, baseando-se nas teorias de confiabilidade de rede propostas por Baarda, em 1968. As hipóteses estatísticas para detecção de "outliers" constituem a base desse estudo, pois são fundamentais para elaboração dos testes de detecção de "outliers", localização e eliminação de erros grosseiros e, também, para a análise da confiabilidade da rede. A confiabilidade, que traduz a controlabilidade da rede e depende do número de redundância, é estudada em dois aspectos: confiabilidade interna e confiabilidade externa. A rede de referência cadastral do município de Vitória – ES, escolhida para o estudo de caso foi estabelecida por GPS, em 2001, tendo como concepção básica a implantação de 37 pares de vértices intervisíveis, privilegiando locais públicos e de livre acesso. Essa rede foi ajustada em 2001 pela Prefeitura Municipal de Vitória, e as coordenadas ajustadas dos vértices são usadas, deste então, para apoiar todos os levantamentos topográficos e cadastrais realizados no município. O ajustamento dessa rede, em 2001, constituiu-se de um ajustamento simples em que os testes estatísticos de detecção de "outliers", a localização e eliminação dos erros grosseiros não foram levados em conta. A parte prática desta pesquisa compreendeu a medição de 21 novos vetores (linhas bases) para formar uma rede de controle, conforme estabelece a NBR-14166, o ajustamento dessa rede de controle (15 vértices) e o ajustamento da rede principal (78 vértices), tendo por injunção a rede de controle previamente ajustada. A principal diferença ente o ajustamento de 2001, feito pela Prefeitura Municipal de Vitória, e ajustamento de 2004, feito para esta pesquisa, foi a consideração no novo ajustamento dos testes estatísticos baseados nas teorias de confiabilidade propostas por Baarda. A comparação entre os resultados dos dois ajustamentos da rede cadastral de Vitória não apontou diferenças significativas entre as coordenadas ajustadas / The proposal of this work is to study the theories of analysis of network quality GPS, basing on the theories of reliability network proposed by Baarda, in 1968. The statistical hypotheses for outlier's detection constitute the base of this study, because they are fundamental for elaboration of the tests of outlier's detection tests, location and elimination of observations with gross errors as well as for the analysis of the realiability of the network. The reliability, that translates the controllability of the network and it depends of the redundancy number, it was studied in two aspects: internal reliability and external reliability. The network of cadastral reference of the municipal district of Vitória (ES), chosen for the case study it established by GPS, in 2001. The basic conception of this network was the implantation of 37 pair of vertexes inter-visible, privileging public places (of free access), as sidewalks and central stonemasons. This network adjusted in 2001 by the Municipal City Hall of Vitória, and the adjusted coordinates of the vertexes used, of this then, to support all topographical and cadastral survey accomplished in the municipal district. The adjustment of this network, in 2001, constituted of a simple adjustment in that did not take into account the statistical tests of outlier's detection and location and elimination of observations with gross errors. The practical part of this research was constituted of the measurement of 21 new vectors (line bases) to form a control network, as it establishes NBR-14166, the adjustment of that control network (15 vertexes) and the adjustment of the main network (78 vertexes), tends previously for injunction the control network adjusted. To principal it differentiates being the adjustment of 2001, done by the Municipal City Hall of Vitória, and adjustment of 2004, done for this research; it was the consideration in the new adjustment of the based statistical tests, mainly, in the reliability theories proposed by Baarda. The results of the adjustment of 2001 and of 2004 compared, and it verified that, in the case of the cadastral network of Vitória, there was not significant difference among results found in the two adjustments

Submitted by SBI Biblioteca Digital (sbi.bibliotecadigital@puc-campinas.edu.br) on 2017-02-14T17:01:37Z No. of bitstreams: 1 JESSICA PARTICELLI GOBBO.pdf: 2562281 bytes, checksum: 302381e747c99a8330edc758a1d60030 (MD5) / Made available in DSpace on 2017-02-14T17:01:37Z (GMT). No. of bitstreams: 1 JESSICA PARTICELLI GOBBO.pdf: 2562281 bytes, checksum: 302381e747c99a8330edc758a1d60030 (MD5) Previous issue date: 2016-12-16 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / Considering the importance of life projects for adolescents and the lack of national instruments in the Brazilian scenario, the present research aimed to develop a scale to evaluate life projects in Brazilian adolescents. To achieve this goal, three studies were carried out: (1) scale development, (2) validity evidence based on content analysis, and (3) focus groups to verify the suitability of items for the selected age group. Initially, a national and international literature review was carried out, through which it was possible to define the first dimensions in which adolescents more commonly construct their life projects. After this step, three studies were performed. In the first study, seven dimensions including 116 items were constructed. Data from a previous study in which 113 adolescents completed the following: "Think about who you are today. Imagine yourself in 10 years. Describe how you wish your life was", was also used for item development. In the second study, five psychologists, interested in life projects construct and / or experts in scale development, participated as evaluators for content validity. The results of this study pointed to positive evidence for most of the items created, although some items were excluded and others were reworded. The scale version in this phase of the study contained 91 items. Finally, the third study aimed to verify the suitability of the scale items to the target age group. For that, 18 male and female adolescents between the ages of 14 and 17, were divided into five focal groups in which they were asked to comment on each of the items of the scale, informing the researcher what they understood in each item, indicating difficult words or even suggesting they be excluded or rewritten. Results showed that 22 items were reworded and 4 items were excluded, totaling 87 items distributed in seven dimensions. In conclusion, items of the present scale are adequate for the studied age groups. / Considerando-se a import?ncia do projeto de vida para o adolescente e a aus?ncia de instrumentos nacionais para acess?-lo, a presente pesquisa teve como objetivo a constru??o de uma escala para avaliar projetos de vida de adolescentes brasileiros. Para atingir esse objetivo, foram realizados tr?s estudos: (1) Constru??o do instrumento, (2) Busca por evid?ncias de validade baseadas na an?lise de conte?do e (3) Grupos focais para verifica??o da adequa??o dos itens para a faixa et?ria selecionada. Inicialmente, realizou-se uma revis?o da literatura nacional e internacional, por meio da qual foi poss?vel definir as primeiras dimens?es nas quais os adolescentes mais comumente constroem seus projetos de vida. Ap?s esta etapa, tr?s estudos foram realizados. No primeiro estudo, foram constru?das as sete dimens?es do construto e a vers?o inicial do instrumento, composta por 116 itens. Para a constru??o dos itens, foram tamb?m utilizados dados de um estudo anterior no qual 113 adolescentes responderam ? quest?o: ?Pense na pessoa que voc? ? hoje. Imagine voc? mesmo daqui a 10 anos. Descreva como voc? desejaria que estivesse sua vida?. O segundo estudo buscou evid?ncias de validade de conte?do por meio da an?lise de ju?zes. Participaram desse estudo cinco psic?logos interessados no construto projeto de vida e/ou peritos em constru??o de instrumento. Os resultados desse estudo apontaram para evid?ncias positivas para a maioria dos itens criados, embora alguns itens tenham sido exclu?dos e outros tenham sido reformulados. A vers?o da escala nessa fase do estudo continha 91 itens. Por fim, o terceiro estudo teve como objetivo verificar a adequa??o dos itens da escala ? faixa et?ria alvo. Para isso, 18 adolescentes com idades de 14 a 17 anos de idade, de ambos os sexos, foram divididos em cinco grupos focais nos quais se solicitou que comentassem cada um dos itens da escala, informando ? pesquisadora o que entendiam em cada item, indicando palavras dif?ceis ou mesmo dando sugest?es sobre a exclus?o ou reda??o dos mesmos. Os resultados mostraram que 22 itens foram reformulados e 4 itens foram exclu?dos, totalizando 87 itens espalhados nas sete dimens?es. De maneira geral, concluiu-se que os itens da presente escala encontram-se adequados ?s faixas et?rias estudadas, alcan?ando os objetivos dos estudos realizados.

Foi investigada a existência da correlação entre o teste padrão de potência de bacterinas antileptospiras e o teste de inibição de crescimento de leptospiras in vitro. Os ensaios foram realizados, em hamsters machos, isoladamente segundo a bacterina comercial (A ou B) antileptospirose empregada. Foram comparados a proteção conferida pelas bacterinas e os níveis de anticorpos neutralizantes, respectivamente obtidos nos teste de desafio e inibição de crescimento de leptospiras in vitro (ICL). O protocolo de imunização adotou duas aplicações de 0,25 mL das bacterinas, puras e suas diluições, pela via subcutânea com o intervalo de 15 dias. Os desafios foram realizados após 15 dias da segunda dose com 0,2 mL de culturas vivas dos sorovares Canicola (bacterina A e B) ou Pomona (somente bacterina A), os óbitos por leptospirose foram registrados e, os animais sobreviventes foram submetidos a eutanásia no 21° dia de observação e a condição de portador renal foi investigada por cultivos de tecido renal em meio de Fletcher. Os animais destinados ao teste de inibição de crescimento de leptospiras in vitro foram sacrificados no mesmo dia em que se realizou o desafio dos animais submetidos ao teste de potência. As colheitas de sangue foram efetuadas assepticamente por punção intracardíaca. Constatada individualmente a esterilidade dos soros foram constituídos os pools com quantidades iguais de soro por animal e subgrupo (n=5). No teste de potência de bacterinas para ambas as estirpes a DL50 foi superior a diluição 10-9 do controle do inóculo de desafio, os animais foram desafiados com a diluição 10-6. O número de animais sobreviventes ao desafio e a proteção contra a infecção renal variou de acordo com a bacterina empregada e sua concentração. Os resultados do teste de desafio com as bacterinas antileptospirose A e B situaram-se dentro dos parâmetros exigidos, sendo as bacterinas aprovadas segundo o critério de avaliação internacional. A diluição 1:800 das duas bacterinas testadas recomendada pelas normas internacionais não foi capaz de proteger contra o estado de portador renal de leptospiras. Os hamsters imunizados com as bacterinas apresentaram anticorpos neutralizantes em níveis superiores ao de aglutininas. A comparação do desempenho das bacterinas testadas para os sorovares Canicola e/ou Pomona, segundo sua concentração, por meio das proporções de animais sobreviventes ao teste de desafio e a média dos títulos de anticorpos neutralizantes, estabeleceu que o título de anticorpos neutralizantes igual ou superior a 1,0log10 como correspondente ao nível de aprovação de bacterinas no teste de potência. / It was investigated the existence in hamsters of correlation between the standard potency test of bacterins antileptospires and the in vitro leptospires growth inhibition test. The assays were performed, in male hamsters, separately according to the commercial (A and B) animal antileptospirosis bacterin used. The quality of the bacterins and the level of neutralizing antibodies were compared, respectively obtained in the challenge test and the in vitro leptospires growth inhibition test (ICL). The potency test with challenge, performed with serovars Pomona and Canicola, was modified from the protocol of The United States Agriculture Department. The immunization schedule employed two 0,25 mL of bacterins, pure and with dilutions, by subcutaneous route with 15-day interval. The challenge was performed after 15 days from the second dose with 0,2 mL of alive cultures from serovars Canicola (bacterins A and B) or Pomona (only bacterin A), the deaths by leptospirosis were registered and on the 21st observation day the survivors were sacrificed and the condition of renal carrier was investigated by culture of renal tissue for leptospires isolation in Fletcher medium. The animals destined to the in vitro leptospire growth inhibition test were sacrificed on the same day the potency assay with challenge was performed on the other group of hamsters. The blood samples were collected aseptically by intracardiac puncture. Once the sterility of each serum was verified the pools were formed with equal amounts of serum per animal and subgroup (n=5). The bacterins potency tests, for both strains, resulted in a higher DL50 for the dilution 10-9 of the challenge inoculum control, the animals were challenged with the dilution 10-6. The number of surviving animals to the challenge and the protection against renal infection varied according to the bacterin used and its concentration. The results of the potency tests with challenge using the bacterins antileptospirosis A and B were within the required standards, being therefore approved according to the international evaluation criteria. The dilution 1:800, for both bacterins tested, which is recommended by international criteria was not capable of protecting against the condition of leptospires renal carrier. Hamsters immunized with the bacterins showed neutralizing antibodies in higher titers in comparison to agglutinating antibodies. The comparison of the performance of the tested bacterins with the sorovars Canicola and/or Pomona, according to its concentration, by the proportions of surviving animals to the challenge assay and the average of the neutralizing antibodies titers, established a neutralizing antibodies titer equal or higher than 1,0log10 corresponding with the bacterins level of approval in the potency assay.

Embedded systems are present in many fields of application where failure may be critical. Such systems often possess characteristics that hampers the testing activity, as large amount of produced data and temporal requirements which must be specified and evaluated. There are tools that support the development of models for analysis and simulation still in the design stage. After being evaluated, a model may be used as basis to the implementation. In this case, it is important to ensure that the model is consistent with the specification. Otherwise, a divergence will be propagated to the final code. Therefore, the model must be tested prior to the codification. Simulink is a standard development and simulation tool for models of embedded systems. Its wide application in the industry has promoted the creation of free-software alternatives, as XCos. In the literature, there are researches which seek to improve the testing activity for Simulink-like models. The proposed solutions usually focus on test case selection strategies. However, little efforts have been directed to the oracle problem, that is, the difficulty in evaluating if an execution agrees with the specification. The objective of this doctorate proposal is to provide an oracle generation approach for Simulink-like models which addresses the characteristics previously summarized. Specifically, it is proposed a process, methods, procedures and a tool that enable the partially-automated generation of oracles for such models. As a main contribution, it is expected an improvement in the evaluation process of embedded systems in terms of quality, cost and time / Sistemas embarcados estão presentes em diversas áreas de aplicação em que falhas podem ser críticas. Tais sistemas frequentemente possuem características que tornam a fase de teste particularmente desafiadora, como a produção de grande quantidade de dados e requisitos temporais que precisam ser validados de acordo com a especificação. Existem ferramentas que auxiliam no desenvolvimento de modelos para análise e simulação do comportamento de sistemas embarcados ainda na fase de design. Após ser avaliado, o modelo pode ser usado como base para a implementação. Neste caso, deve-se buscar garantir que um modelo esteja de acordo com a especificação. Do contrário, tal divergência será propagada para a implementação. Portanto, e importante que o modelo seja testado antes da fase de implementação. Simulink e uma ferramenta-padrão de desenvolvimento e simulação de modelos de sistemas embarcados. Sua ampla aplicação na indústria incentivou a criação de alternativas de software livres como XCos. Na literatura, existem pesquisas que visam a aprimorar a atividade de teste de modelos Simulink-like. As soluções propostas geralmente focam em estratégias de seleção de casos de teste. Mas pouco esforço tem sido direcionado ao problema do oráculo, isto e, na dificuldade em avaliar se a execução está de acordo com a especificação. O objetivo desta proposta de doutorado é prover uma abordagem de geração de oráculos de teste para modelos simulink-like que contemple as características previamente resumidas. Especificamente, é proposto um processo, métodos, procedimentos e uma ferramenta que viabilizem a geração parcialmente automatizada de oráculos de teste para modelos Simulink-like. Como contribuição principal, é esperada a melhora da qualidade, custo e tempo do processo de validação de sistemas embarcados suportados por modelagem em Simulink e ferramentas similares

Este trabalho propõe um modelo de teste para programas concorrentes que utilizam memória compartilhada. O modelo é inovador em três aspectos principais: (1) tratar a sincronização e a comunicação de threads de forma separada, (2) considerar a sincronização decorrente da inicialização/finalização de threads, e (3) apresenta um método baseado em timestamps para determinar as comunicações exercitadas em uma dada execução do programa. Os critérios de cobertura existentes para programas concorrentes foram adaptados ao contexto de programas baseados no paradigma de memória compartilhada. A ferramenta chamada ValiPThread foi implementada neste trabalho para apoiar a aplicação do modelo e dos critérios definidos. Com essa ferramenta é possível criar sessões de teste que podem ser salvas, interrompidas e retomadas a qualquer momento. Também é possível adicionar e executar casos de teste, avaliando a cobertura do código fonte em relação aos critérios de teste. A implementação da ferramenta mostra que é possível instanciar o modelo proposto em um software que auxilie a atividade de teste no contexto de programas com memória compartilhada. O trabalho apresenta soluções significativas para os principais desafios impostos pela programação concorrente para a atividade de teste, destacando-se dentre eles: (1) desenvolvimento de novas técnicas de análise estática para analisar programas concorrentes no contexto de memória compartilhada; (2) testar aspectos cruciais à programação concorrente como: sincronização, comunicação e fluxo de dados; (3) reproduzir uma execução de maneira controlada; (4) mapeamento de critérios de teste já existentes para programas concorrentes com passagem de mensagem para o contexto de memória compartilhada; (5) projetar critérios de fluxo de dados para programas concorrentes, considerando variáveis compartilhadas e (6) desenvolvimento de uma ferramenta de apoio a essas atividades / This work presents a novel test model for shared memory concurrent programs. Some important new features in this model are: (1) analysis the communication and synchronization in an isolated manner, (2) examines the synchronization due the start and the finish of threads, and (3) employs a method based on timestamps to check the communication exercised for an execution of the program. The coverage criteria set defined for concurrent programs was adjusted to the shared memory programs. In this work, the tool ValiPThread was implemented to support the application of the test model and of the coverage criteria. This tool allows to create a test session that can be saved, stopped and resumed at any time. In this tool is also possible to add and to execute test cases, analyzing the source code coverage with respect to the coverage criteria. The new tool shows that is possible instance the proposed model in a software that supports the test activity in context of shared memory. This work presents solutions for the major challenges related to task of to test concurrent programs, such as: (1) develop new techniques to do static analyzes of shared memory programs; (2) test important aspects to concurrent programs such as like: synchronization, communication and data flow; (3) replay and deterministic re-execution; (4) adjust coverage criteria from the context of message passing concurrent programs to shared memory context; (5) design data flow criteria based on shared variables and (6) build a tool to support these activities

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-08-26T23:09:02Z No. of bitstreams: 1 IngridMorganeMedeirosDeLucena_DISSERT.pdf: 1893477 bytes, checksum: af3baeea1aaa51a500a23196c3ed264b (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-08-30T23:12:54Z (GMT) No. of bitstreams: 1 IngridMorganeMedeirosDeLucena_DISSERT.pdf: 1893477 bytes, checksum: af3baeea1aaa51a500a23196c3ed264b (MD5) / Made available in DSpace on 2016-08-30T23:12:54Z (GMT). No. of bitstreams: 1 IngridMorganeMedeirosDeLucena_DISSERT.pdf: 1893477 bytes, checksum: af3baeea1aaa51a500a23196c3ed264b (MD5) Previous issue date: 2016-02-03 / A ?rea denominada de Engenharia de Software Baseada em Pesquisa (Search Based Software Engineering) vem crescendo nas ?ltimas d?cadas e possui um grande n?mero de trabalhos dedicados a ela. Esta ?rea re?ne a Engenharia de Software e a Otimiza??o no desenvolvimento de algoritmos que otimizem os custos de atividades inerentes ao processo do desenvolvimento de software. Dentre tais atividades est? o teste de software, o qual visa verificar, detectar e corrigir poss?veis erros cometidos pelos programadores. Uma vez que esta atividade ? respons?vel por at? 50% do custo total do desenvolvimento, os pesquisadores buscam minimizar o custo dos testes sem comprometer a qualidade do software. Os primeiros trabalhos abordando atividades de Teste de Software como problemas de otimiza??o surgiram na d?cada de 70. Este trabalho tem por objetivo realizar uma revis?o do estado-da-arte das t?cnicas e algoritmos de otimiza??o desenvolvidos para teste de software, estendendo um trabalho anterior, com a revis?o de 415 artigos da ?rea. ?, tamb?m, apresentada uma classifica??o de tais trabalhos quanto aos tipos de m?tricas, algoritmos de otimiza??o e outras caracter?sticas dos problemas inerentes ao teste de software. / The area known as Search Based Software Engineering has been growing in recent decades and has a large number of works dedicated to it. This area gathers the Software Engineering and Optimization in the development of algorithms that optimize the costs of activities related to the software development process. Software testing is one among those activities which aims at checking, detecting and correcting possible errors made by programmers. Since this activity is responsible for 50% of the total development cost, researchers seek to minimize testing costs without compromising the software quality. Early works addressing Software Testing activities as optimization problems arose in the 70s. This paper aims to conduct a review of the state of the art techniques and optimization algorithms developed for a major problem area, the Test Data Generation problem. A classification of works by metrics, optimization algorithms and other characteristics inherent to software testing problem.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-27T18:21:34Z No. of bitstreams: 1 LAÍSA HELENA OLIVEIRA DO NASCIMENTO - DISS PPGCC 2008..pdf: 1446971 bytes, checksum: 3622ab4c366ab0a686c4f32d688c13b6 (MD5) / Made available in DSpace on 2018-08-27T18:21:34Z (GMT). No. of bitstreams: 1 LAÍSA HELENA OLIVEIRA DO NASCIMENTO - DISS PPGCC 2008..pdf: 1446971 bytes, checksum: 3622ab4c366ab0a686c4f32d688c13b6 (MD5) Previous issue date: 2008-02-28 / Processos de teste de software vêm ganhando cada vez mais espaço na indústria. Empresas têm investindo na definição e formalização dos seus processos e em meio a essa mudança de comportamento, Model-Based Testing (MBT) apresenta-se como uma técnica promissora de teste. No entanto, a utilização de MBT ainda é baixa e pesquisadores têm focado em maneiras de superar as barreiras para que se obtenha uma adoção maior por parte da indústria. O mundo empresarial é movido a processos e resultados. Dessa forma, o uso de MBT precisa se adaptar aos processos existentes, e estudos de caso que evidenciem as vantagens de sua utilização precisam ser conduzidos. Neste trabalho, o paradigma Goal Question Metric é utilizado na definição de modelos de medição que têm como foco principal a avaliação e o acompanhamento do desempenho de MBT sem causar impacto ao processo de teste já existente. Os modelos de medição consideram métricas como esforço, percentual de requisitos testáveis cobertos, percentual de casos de teste modificados, percentual de falhas,dentre outros. Os modelos não estão atrelados ao processo de MBT apresentado, podendo ser aplicados em qualquer processo que permita a coleta dos dados necessários para o cálculo das métricas. Para validar os modelos, estudos de caso foram conduzidos dentro do ambiente de testes da Motorola. / Software testing processes have become more common in industry. Companies are investing on the definition and the formalization of their test processes and, in this context, Model-Based Testing (MBT) appears as an interesting testing technique. However, industrial adoption of MBT remains low and researchers are also focusing on how to beat the barriers to wide adoption. Processes and results move the business world so, MBT processes must be adaptable to actual testing processes. For this, experiments to evaluate the results achieved with its use must be conduct. In this work, measurement models based on the Goal Question Metric methodology are proposed. The purpose is evaluating the use of MBT without increasing actual testing process costs. The models focus on aspects as effort, testable requirements coverage, modified test cases, failures, among others. The models are not associated with the MBT process presented. They can be applied with any process that allows metrics collection. In order to validate the measurement models, case studies were conducted into Motorola testing environment.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-31T23:21:36Z No. of bitstreams: 1 MELINA MANGIOVI CUNHA LIMA SABINO - PPGCC DISSERTAÇÃO 2013..pdf: 29220438 bytes, checksum: 42486beccb60e73d444ba221ab430942 (MD5) / Made available in DSpace on 2018-08-31T23:21:36Z (GMT). No. of bitstreams: 1 MELINA MANGIOVI CUNHA LIMA SABINO - PPGCC DISSERTAÇÃO 2013..pdf: 29220438 bytes, checksum: 42486beccb60e73d444ba221ab430942 (MD5) Previous issue date: 2013-03-11 / CNPq / Refatoramentos são transformações que melhoram a estrutura interna do programa preservando seu comportamento observável. Na prática, desenvolvedores utilizam testes de regressão e ferramentas para garantir que o refatoramento preservou o comportamento do programa. Entretanto, ferramentas de refatoramentos possuem bugs. Além disso, a coleção de testes pode ser modificada pela transformação aplicada manualmente ou pela ferramenta. Se a transformação não for aplicada corretamente, esta pode modificar a coleção de testes incapacitando-a de detectar a mudança comportamental. Por fim, a coleção pode não ser adequada para testar a transformação, pois os casos de testes podem não exercitar as entidades impactadas pela transformação. Este problema se torna maior se a coleção de testes for grande, tornando a execução de toda a coleção de testes custosa. Nós propomos uma abordagem para avaliar preservação de comportamento em refatoramentos baseada em geração automática de testes e análise de impacto da mudança. A abordagem analisa o impacto da mudança e gera automaticamente testes apenas para os métodos impactados pela transformação. Implementamos uma ferramenta chamada SafeRefactorlmpact para avaliar a preservação de comportamento. Esta utiliza Safira, ferramenta que implementamos para realizar a análise de impacto. Avaliamos SafeRefactorlmpact em um conjunto de 10 transformações aplicadas a um sistema real, e em uma técnica para testar implementações de refatoramentos. Além disso, comparamos SafeRefactorlmpact com SafeRefactor, uma ferramenta que também avalia preservação de comportamento em refatoramentos mas não utiliza análise de impacto. Nós comparamos com relação às mudanças comportamentais identificadas, quantidade de métodos identificados para geração de testes, tempo total da análise da transformação, quantidade de casos de testes gerados e cobertura da mudança dos testes gerados. O SafeRefactorlmpact conseguiu identificar mudanças comportamentais não identificadas pelo SafeRefactor, reduziu em torno de 60% o tempo para testar implementações de refatoramentos, mostrou-se menos sensível ao tempo limite passado para o gerador automático de testes, além da análise de impacto permitir a diminuição de algumas limitações do gerador automático de testes enfrentadas pelo SafeRefactor. / Refactorings are transformations that improve the internal structure of the program while preserving its observable behavior. In practice, developers use regression tests and refactoring tools to ensure that the refactoring has preserved the behavior of the program. However, refactoring tools may have bugs. In addition, the test suite may be modified by the transformation applied manually or using a refactoring tool. If the transformation is applied incorrectly, it can change the test suite by disabling it to detect the behavioral change. Finally, the test suite may be inappropriate to test the transformation because the test cases may not exercise the change. This problem can get worse if the test suite is large. This way, it is time consuming executing the entire test suite. We propose an approach for evaluating whether a transformation is behavior preserving based on change impact analysis. This approach performs a change impact analysis and it automatically generates tests only to the methods impacted by the transformation. We implemented a tool called SafeRefactorlmpact to evaluate behavior preservation. It uses Safira, a tool that we implemented to identify the methods impacted by a change in the program. We evaluate SafeRefactorlmpact in a set of 10 transformations applied to a real system and to a technique to test refactoring implementations. Moreover, we compared the SafeRefactorlmpact with SafeRefactor, a tool that also evaluates whether a transformation preserves the program behavior. The difference is that SafeRefactor does not use the impact analysis. The SafeRefactorlmpact managed to identify behavioral changes not identified by SafeRefactor; it reduced in 60% the total time to analyze the refactoring implementations; it showed to be less sensitive to the time limit to generate the tests; and the impact analysis allows the reduction of some limitations of the automatic tests generator faced by the SafeRefactor.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-23T15:26:25Z No. of bitstreams: 1 OSÓRIO LOPES ABATH NETO - DISSERTAÇÃO PPGCC 2007..pdf: 1322223 bytes, checksum: 3e204692131c02935d262bb71e470eaa (MD5) / Made available in DSpace on 2018-08-23T15:26:25Z (GMT). No. of bitstreams: 1 OSÓRIO LOPES ABATH NETO - DISSERTAÇÃO PPGCC 2007..pdf: 1322223 bytes, checksum: 3e204692131c02935d262bb71e470eaa (MD5) Previous issue date: 2007-08-30 / O Desenvolvimento de Software Guiado por Testes de Aceitação – Acceptance Test Driven Development (ATDD) – é uma metodologia de desenvolvimento de software ágil que apresenta vários benefícios, que incluem confiança no software em desenvolvimento, sincronização automática entre análise e código, redução de problemas de comunicação no projeto e foco dos desenvolvedores nos requisitos do cliente. É particularmente adequada para projetos terceirizados e para ensinar desenvolvimento de software a estudantes de Ciência da Computação. Entretanto, como é uma metodologia nova, ainda falta para ela uma cobertura adequada na literatura. Além disso, a área de padrões para ATDD ainda precisa ser iniciada. Esta dissertação envolve a realização de um estudo investigativo sobre melhores práticas e padrões para ATDD, a definição de como aplicar a metodologia sob o ponto de vista de um processo de desenvolvimento de software, e um resumo da experiência adquirida com ensino de desenvolvimento de software utilizando ATDD. Como resultado da realização destas atividades, foi escrito um texto introdutório sobre ATDD, que esperamos sirva não só para que novatos aproveitem o máximo da metodologia, mas também para divulgar seus benefícios. Os exemplos do texto usam EasyAccept, uma ferramenta de testes de aceitação com scripts, como meio de exposição da metodologia. / Acceptance Test Driven Development (ATDD) is an emerging agile methodology to develop software which has a number of advantages, including confidence in the software being developed, automated synchronization between analysis and code, reduction of project communication problems and developer focus on client requirements. It is particularly suited to outsource projects and to teach software development to Computer Science students. As it is new, however, there is still a lack of proper coverage of this methodology in the literature. Furthermore, the area of patterns for ATDD still needs to be started. This dissertation involves performing an investigative study on best practices and patterns for ATDD, defining the application of the methodology with a software development process point of view and summarizing gathered experience with ATDD as a means of teaching software development. The result of these activities was an introductory text on ATDD, which we hope will serve not only to help newcomers yield more from the methodology, but also to divulge its benefits. The examples in the text use EasyAccept, a scripted acceptance testing tool, as a means of exposing the methodology.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Baccharis dracunculifolia is a medicinal species, popularly known as broom, and has its use based on the preparation of infusions of leaves for the treatment of gastric disorders, physical fatigue, lack of appetite, fever diseases and organic weakness. Its essential oil stands out in the perfumery industry as well as in biological studies. The study aimed to evaluate the potential antiproliferative, genotoxic and antigenotoxic of two populations of B. dracunculifolia on the test systems Allium cepa L. and Lactuca sativa L. as well as performs the phytochemical analysis of the aqueous extract and oil obtained from the leaves. The material used in the preparation of infusions and oil consisted of two populations collected in Santa Maria (SM) and São Pedro do Sul (SPS), which part was dehydrated to prepare infusions in 5g.L-1 and 10g.L -1 concentrations, and the other part was frozen for later extraction of essential oil. To determine the antiproliferative, genotoxic and antigenotoxic activities, the effects of aqueous extracts and oil on the A. cepa test and L. sativa systems. The experiment whith A. cepa consisted of twelve groups of four bulbs, each group corresponding to a treatment. The bulbs were rooted in water an than subjected to treatments for 24 hours. The experiment whith L. sativa consisted of nine groups of four Petri dishes. Each plate was soacked whith about 7 mL of extract, which were in contact with the seeds for 72 hours. After this period the roots of A. cepa and L. sativa seeds were collected, fixed in Carnoy 3:1 and stored in refrigerated in 70% ethanol until the preparation of the slides. The determination of phenolic compounds from aqueous extracts was performed by the High Performance Liquid Chromatography (HPLC). The compounds of the essential oil were determined by Gas Chromatography (GC). The genotoxicity data were subjected to analysis Chi-square test, whereas the data of the chromatographic analysis were subjected to Tukey test (p <0.05). The results of the A. cepa test showed that extracts from B. dracunculifolia have antiproliferative and antigenotoxic potential as well as the essential oil of the SPS population, while the oil SM population induces cell proliferation. For L. sativa test, aqueous extracts of the two populations demonstrated atiproliferativo effect, except the aqueous extract of SPS population at a concentration of 10 g.L-1, in which there was an increase in cell proliferation. Chromatographic analysis indicated as major compounds, p-coumaric acid to the aqueous extracts and E-nerolidol to the essential oil. / Baccharis dracunculifolia DC. é uma espécie medicinal, conhecida popularmente como vassourinha, e tem sua utilização baseada no preparo de infusões das folhas para o tratamento de distúrbios gástricos, cansaço físico, inapetência, afecções febris e debilidade orgânica. Seu óleo essencial se destaca na indústria de perfumaria, bem como em estudos biológicos. O trabalho teve por objetivos avaliar o potencial antiproliferativo, genotóxico e antigenotóxico de duas populações de B. dracunculifolia sobre os sistemas teste de Allium cepa L. e Lactuca sativa L., bem como realizar a análise fitoquímica do extrato aquoso e do óleo obtidos a partir das folhas. O material utilizado no preparo das infusões e do óleo constou de duas populações coletadas em Santa Maria (SM) e São Pedro do Sul (SPS), do qual parte foi desidratado para preparo das infusões nas concentrações 5g.L-1 e 10g.L-1 e outra parte foi congelada para posterior extração do óleo essencial. Para determinação das atividades antiproliferativa, genotóxica e antigenotóxica, foi avaliado o efeito dos extratos aquosos e do óleo sobre os sistemas teste de A. cepa e L. sativa. O experimento com A. cepa constou de doze grupos de quatro bulbos, cada grupo correspondendo a um tratamento. Os bulbos foram enraizados em água e posteriormente submetidos aos tratamentos por 24 horas. O experimento com L. sativa constou de nove grupos de quatro placas de Petri, cada grupo correspondendo a um tratamento, onde foram dispostas 50 sementes por placa. Cada placa foi embebida com aproximadamente 7 mL de extrato, os quais ficaram em contato com as sementes por 72 horas. Após esse período as raízes de A. cepa e as sementes de L. sativa foram coletadas, fixadas em Carnoy 3:1 e armazenadas sob refrigeração em etanol 70% até o preparo das lâminas. A determinação dos compostos fenólicos presentes nos extratos aquosos foi realizada pela técnica de Cromatografia Líquida de Alta Eficiência (CLAE). Os compostos do óleo essencial foram determinados pela técnica de Cromatografia Gasosa (CG). Os dados obtidos da análise de genotoxicidade foram submetidos ao teste Qui-quadrado, enquanto que, os dados da análise cromatográfica foram submetidos ao teste de Tukey (p<0,05). Os resultados do teste de A. cepa demonstraram que os extratos de B. dracunculifolia possuem potencial antipoliferativo e antigenotóxico, bem como o óleo essencial da população de SPS, enquanto que o óleo da população SM induziu a proliferação celular. Para o teste de L. sativa, os extratos aquosos das duas populações demonstraram efeito antiproliferativo, com exceção do extrato aquoso da população SPS na concentração de 10 g.L-1, no qual houve um aumento da proliferação celular. As análises cromatográficas indicaram como compostos majoritários, o ácido p-cumárico para os extratos aquosos e o E-nerolidol para o óleo essencial.