Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Biológicas. Programa de Pós-Graduação em Biotecnologia e Biociências, Florianópolis, 2015 / Made available in DSpace on 2016-04-19T04:22:36Z (GMT). No. of bitstreams: 0 Previous issue date: 2015Bitstream added on 2016-05-24T17:34:34Z : No. of bitstreams: 1 337986.pdf: 2799017 bytes, checksum: 4aeae083fbd264b859e7eeb1e831db5b (MD5) / O Trypanosoma cruzi e o Trypanosoma rangeli são duas espécies de protozoários de ocorrência simpátrica entre as Américas do Sul e Central e que compartilham os mesmos hospedeiros invertebrados, hospedeiros mamíferos silvestres e domésticos, incluindo seres humanos. Uma vez que infecções mistas T. rangeli/T. cruzi já foram relatadas para diversos hospedeiros, buscamos gerar ferramentas para analisar a dinâmica da co-infecção, tendo gerado cepas de ambas as espécies que expressassem marcadores fluorescentes diferentes. Após a obtenção das cepas transfectadas, as mesmas foram clonadas e ensaios de PFGE confirmaram a integração dos plasmídeos pTREXmRFP/pTREXnGFP-Neo, pTREXmRFP-Hygro e pROCKGFP-Neo no genoma dos parasitos. Com estas ferramentas foi possível realizar um estudo quantitativo da cinética da infecção mista e das variações populacionais dos parasitos em ambos os hospedeiros mamífero e invertebrado. A avaliação do crescimento em diferentes proporções das duas espécies em co-cultivo axênico em meio LIT não revelou diferenças significativas se comparado ao cultivo isolado de cada cepa. Infecções de células THP-1 com os parasitos transfectados revelou uma diferença significativa no que diz respeito às cepas selvagens e transfectadas de T. cruzi, sendo caracterizada por um número menor de formas amastigotas por célula infectada em relação à cepa parental nos tempos de 2, 4, 8 e 24 h de infecção, porém ao comparar as taxas e tempos de multiplicação de cada uma das cepas, as diferenças não foram significativas. Ensaios preliminares in vitro da interação de hemócitos extraídos de Rhodnius prolixus com uma cepa de T. rangeli transfectada com o plasmídeo pTREXnGFP-Neo permitiram evidenciar uma rápida interação do parasito com estes tipos celulares, sendo registrada a internalização em várias situações, não sendo evidenciados sinais de multiplicação do T. rangeli nestes tipos celulares. Foram também realizados ensaios preliminares in vivo de co-infecção de Rhodnius prolixus por T. cruzi e T. rangeli, revelando uma resposta diferencial frente à infecção exclusiva pelo T. cruzi e T. rangeli em relação à co- infecção neste vetor. Em camundongos Balb/C a infecção prévia pelo T. rangeli não foi capaz de gerar uma proteção significativa contra a infecção subsequente pelo T. cruzi, porém é capaz de gerar uma redução da parasitemia causada pelo T. cruzi além de aumentar a sobrevida dos animais infectados.<br. / Abstract : Trypanosoma cruzi and Trypanosoma rangeli are two species of sympatric occurrence of protozoa between South and Central America that share the same invertebrates hosts, wild and domestic mammalian hosts, including humans. Once mixed infections T. rangeli / T. cruzi have been reported for various hosts, we seek to generate tools for analyzing the dynamics of co-infection, having generated strains of both species that expressed different fluorescent markers. After obtaining the transfected strains, they were cloned and PFGE assays confirmed the integration of the plasmids pTREXmRFP / pTREXnGFP-Neo, and pROCKGFP pTREXmRFP-Hygro-Neo into the genome of parasites. With these tools it was possible to perform a quantitative kinetic study of mixed infection and population variations of the parasites in both mammal and invertebrate hosts. The evaluation of different growth ratios of the two species in axenic co-cultivation in LIT medium revealed no significant differences when compared to the isolated culture of each strain. THP-1 cells infections with transfected parasites revealed a significant difference in respect to the wild and transfected T. cruzi strains, characterized by a smaller number of amastigotes per infected cell In relation to parental strain on times 2, 4, 8 and 24 h of infection. However, when comparing propagation rates and times of each of the strains, the differences were not significant. Preliminary assays in vitro of the interaction of hemocytes extracted from Rhodnius prolixus with T. rangeli strain transfected with the pTREXnGFP-Neo plasmid showed a rapid interaction of the parasite with these cell types, internalization being recorded in various situations, not being evidenced signals of multiplication of T. rangeli in these cell types. It was also carried out preliminary tests in vivo of co-infection of Rhodnius prolixus by T. cruzi and T. rangeli, showing a differential response against exclusive infection by T. cruzi and T. rangeli regarding co-infection in this vector. In mice BALB / C, prior infection with T. rangeli was not able to generate a significant protection against subsequent infection by T. cruzi, but it is able to generate a reduction in parasitemia caused by T. cruzi, in addition to increasing the survival of infected animals.

Este trabalho tem como objetivo estudar e avaliar técnicas para a aceleração de algoritmos de análise de timing funcional (FTA - Functional Timing Analysis) baseados em geração automática de testes (ATPG – Automatic Test Generation). Para tanto, são abordados três algoritmos conhecidos : algoritmo-D, o PODEM e o FAN. Após a análise dos algoritmos e o estudo de algumas técnicas de aceleração, é proposto o algoritmo DETA (Delay Enumeration-Based Timing Analysis) que determina o atraso crítico de circuitos que contêm portas complexas. O DETA está definido como um algoritmo baseado em ATPG com sensibilização concorrente de caminhos. Na implementação do algoritmo, foi possível validar o modelo de computação de atrasos para circuitos que contêm portas complexas utilizando a abordagem de macro-expansão implícita. Além disso, alguns resultados parciais demonstram que, para alguns circuitos, o DETA apresenta uma pequena dependência do número de entradas quando comparado com a dependência no procedimento de simulação. Desta forma, é possível evitar uma pesquisa extensa antes de se encontrar o teste e assim, obter sucesso na aplicação de métodos para aceleração do algoritmo.

Neste trabalho, a modificação superficial do polipropileno (PP) por imersão em plasma de baixa energia foi investigada. Fazendo-se uso de uma tela ativa de aço inox revestida com carbono, a qual previne o desbaste sofrido pela mesma durante o tratamento e a contaminação da amostra com ferro, as propriedades físico-químicas superficiais do polipropileno puderam ser eficientemente moduladas pela incorporação e formação de grupos funcionais contendo nitrogênio e oxigênio induzidos pela ação do plasma. A concentração desses elementos dependeu da fonte utilizada para excitação do plasma. Novas ligações químicas como C-O, C-N e C=O/O=C-O/N-C=O além das ligações C-C da estrutura do PP foram identificadas na região próxima da superfície através de espectroscopia de fotoelétrons excitados por raios X (XPS) e espectroscopia de reflexão total atenuada na região do infravermelho (ATR-IR). A inserção de tais estruturas polares foi confirmada por uma diminuição substancial do ângulo de contato da água sobre a superfície após o tratamento por plasma. As análises de microscopia eletrônica de varredura (MEV) revelaram que enquanto a utilização da fonte DC para excitação do plasma não ocasionou maiores mudanças na morfologia quando comparada com a amostra antes do tratamento, o uso da fonte pulsada para excitação do plasma conduziu consistentemente à formação de trincas na superfície. A substituição do material da gaiola catódica por grafite surpreendentemente levou a formação de um filme duplex composto por uma camada superior de carbono puro e uma camada inferior de nitreto de carbono estequiométrico (CNx). O mecanismo de deposição deste filme envolve o "sputtering" de átomos de carbono da estrutura de gaiola, os quais subseqüentemente se depositam na superfície e reagem com as espécies de nitrogênio presentes no plasma. Portanto, este é um método simples e original que permite a preparação de filmes de CNx em amostras sensíveis a ação da temperatura, como é o caso da maioria dos polímeros. As abordagens experimentais utilizadas neste trabalho mostraram um aumento significativo na dureza da superfície do polímero. Tal efeito sobre as propriedades mecânicas variou em função do método de excitação do plasma, do tempo de exposição e do material da gaiola catódica. Em particular, um efeito sinérgico foi observado para as amostras com a superfície modificada por plasma e recoberta com uma camada de nitreto de carbono. A metodologia desenvolvida neste estudo pode ser considerada uma ferramenta economicamente atrativa e ecologicamente viável para modificação da superfície de polímeros. / Submitted by Marcelo Teixeira (mvteixeira@ucs.br) on 2014-05-23T18:37:33Z No. of bitstreams: 1 Dissertacao Alan P Kauling.pdf: 2823887 bytes, checksum: 5dfbbc7d7ccb010a34025932fa89a5bd (MD5) / Made available in DSpace on 2014-05-23T18:37:33Z (GMT). No. of bitstreams: 1 Dissertacao Alan P Kauling.pdf: 2823887 bytes, checksum: 5dfbbc7d7ccb010a34025932fa89a5bd (MD5) / The use of low energy plasma immersion with active screen as a convenient approach for polypropylene (PP) surface modification is described in this work. Employing a stainless steel cathodic cage coated with carbon in order to prevent the sputtering of iron from the grid and its deposition onto the polymer sample, the physical chemical properties of PP surface could be effectively functionalized through the plasma-induced incorporation/formation of nitrogen- and oxygen-containing species. The areal densities of these elements depended on the plasma excitation source. Newly formed C-O, C-N, and C=O/O=C-O/N-C=O bonds along with C-C linkages from the PP backbone were identified at the near surface region of the specimens by x-ray photoelectron spectroscopy (XPS) and attenuated total reflection infrared spectroscopy (ATR-IR). The insertion of such polar reactive functionalities was further confirmed by a substantial decrease in the water contact angle upon plasma treatment. Scanning electron microscopy (SEM) analysis revealed that while no major changes in the morphology occur upon DC plasma treatments as compared to untreated samples, the use of pulsed plasma consistently leads to the formation of cracks at the surface. The replacement of the cathodic cage material by graphite surprisingly led to the formation of duplex films composed of a top layer of pure carbon a bottom layer of stoichiometric carbon nitride (CNx). The deposition mechanism involves the sputtering of carbon atoms from the cage structure, which subsequently deposit on the surface and react with nitrogen species present in the plasma. Therefore, this is a very simple and original method that allows for the preparation of CNx films on temperature-sensitive samples, as is the case of most polymers. All the experimental approaches undertaken in this work were found to improve remarkably the hardness of the polymer surface to an extent that depended on the plasma excitation method, exposure time and cathodic cage material. In particular, a synergic effect was observed for specimens containing a plasma-modified surface covered by a carbon nitrided layer. The herein reported approach is an attractive tool for environmental friendly, cost-effective surface engineering of novel polymeric materials.

O processo comumente mais utilizado para o endurecimento de superfície de aços é o tratamento térmico. Usando tratamentos térmicos convencionais, camadas endurecidas foram formadas em aço SAE 1020 e SAE 8620 pela difusão de carbono em sua superfície. A determinação da espessura endurecida em aços tradicionalmente é feita por técnicas destrutivas. Este trabalho tem como principal objetivo determinar estas espessuras de camadas endurecidas por medidas magnéticas e medições de ruído de Barkhausen (método não destrutivo). No entanto, a fim de comparação, as espessuras das camadas foram medidas por técnicas tradicionais destrutivas. Medições de ruído Barkhausen e dos laços de histerese foram feitas e, tanto o envelope RMS do pulsos de Barkhausen e transformadas rápidas de Fourier (FFT) foram obtidas a partir de cálculos numéricos. As áreas dos pulsos Barkhausen possibilitam a construção de uma curva de calibração para determinar a espessura da camada dura. A amplitude da FFT foi obtida como uma função da frequência, e foi associada com a distância a partir da superfície para cada amostra por meio da equação clássica de distância de penetração de ondas eletromagnéticas. Finalmente, um índice de potência normalizada (IPN) foi obtido e utilizado para relacionar com as espessuras endurecidas na superfície das amostras. O IPN é discutido em relação à microestrutura da camada endurecida e, neste trabalho ao núcleo de amostra. Várias amostras foram tratadas em temperaturas de nitrogênio líquido para transformar austenita retida em martensita. As medidas das propriedades magnéticas obtidas mostraram-se consistentes com o teor de aumento da microestrutura martensítica. / Submitted by Marcelo Teixeira (mvteixeira@ucs.br) on 2014-07-10T16:39:23Z No. of bitstreams: 1 Dissertacao Alessandra Drehmerl.pdf: 2218145 bytes, checksum: d7138e596df948f3e3ba861a349dae92 (MD5) / Made available in DSpace on 2014-07-10T16:39:23Z (GMT). No. of bitstreams: 1 Dissertacao Alessandra Drehmerl.pdf: 2218145 bytes, checksum: d7138e596df948f3e3ba861a349dae92 (MD5) / Universidade de Caxias do Sul / The process most commonly used for surface hardening of steels is annealing. Using conventional thermal treatments, hardened layers were formed on SAE 1020 and SAE 8620 steel by diffusion of carbon into the surface. The determination of the thickness of the hardened layer in steels is traditionally done by destructive techniques. This work has as main objective a determination of the thicknesses of the hardened layers by magnetic measurements, measurements of Barkhausen noise, which is a non-destructive method. However, for comparison the thicknesses of the layers were measured by traditional destructive techniques. Barkhausen noise and hysteresis loops were measured and both the RMS Barkhausen pulse envelope and the fast Fourier transform (FFT) were obtained from numerical calculations. The areas under the Barkhausen pulses may be used for the construction of a calibration curve to determine a case depth of the hard layer. The amplitude of the FFT was obtained as a function of frequency, and has been associated with distance from the surface for each sample using the classical equation for the penetration distance of electromagnetic waves in a metal. Finally a normalized power ratio (IPN) was obtained and used for correlatation with the thickness of the surface layer of hardened samples. The IPN is discussed in this paper in relation to the microstructure of the hardened layer and the core sample. Several samples were treated at temperatures of liquid nitrogen to transform retained austenite into martensite. Measurements of magnetic properties were consistent with an increase in the martensite content of the microstructure.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Psicologia, Programa de Pós-graduação em Psicologia Social, do Trabalho e das Organizações, 2013. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2013-10-11T15:00:53Z No. of bitstreams: 1 2013_GabrielOlimpioNascimentoAlmeida.pdf: 1130678 bytes, checksum: 32397c39898bc6c56e0ae46e1ba18894 (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2013-10-21T12:32:18Z (GMT) No. of bitstreams: 1 2013_GabrielOlimpioNascimentoAlmeida.pdf: 1130678 bytes, checksum: 32397c39898bc6c56e0ae46e1ba18894 (MD5) / Made available in DSpace on 2013-10-21T12:32:18Z (GMT). No. of bitstreams: 1 2013_GabrielOlimpioNascimentoAlmeida.pdf: 1130678 bytes, checksum: 32397c39898bc6c56e0ae46e1ba18894 (MD5) / Estudos que fornecem evidências de validade dos escores de um teste são essenciais para assegurar uma interpretação correta dos seus resultados. Assim, este estudo investigou a validade convergente do teste não-verbal de inteligência SON-R 6-40 com dois outros testes que medem nteligência: o SON-R 2½-7[a] e a forma A da Bateria de Provas de Raciocínio (BPR-5). O SON-R 6-40 é um teste não-verbal de inteligência para pessoas entre 6 e 40 anos de idade que foi publicado na Holanda em 2010. O teste foi normatizado e validado para Holanda e Alemanha. O SON-R 2½-7[a] é um teste não-verbal de inteligência para crianças entre 2 anos e 6 meses e 7 anos e 11 meses que foi normatizado para o Brasil em 2009. Ambos os testes SON-R foram desenvolvidos para medir a inteligência fluida, assim reduzindo a influência de fatores socioeconômicos no desempenho do teste. O teste BPR-5 é uma bateria de provas que avaliam cinco diferentes tipos de raciocínio: Raciocínio Verbal (RV), Raciocínio Abstrato (RA), Raciocínio Espacial (RE), Raciocínio Numérico (RN) e Raciocínio Mecânico (RM). No presente estudo, entretanto, foram aplicados apenas quatro subtestes: o subteste que avalia raciocínio mecânico não foi aplicado. A forma A da BPR-5 destina-se a alunos da 6ª, 7ª e 8ª séries do ensino fundamental e foi normatizado para o Brasil em 2000. No total, 112 alunos do Distrito Federal de escolas públicas participaram no presente estudo: 44 alunos com idades entre 6 e 7 anos no primeiro estudo de validade com o SON-R 2½-7[a] e 68 alunos entre 12 anos e 16 anos no segundo estudo de validade com o BPR-5. A correlação corrigida para atenuação encontrada entre o SON-R 6-40 e o SON-R 2½-7[a] foi igual a 0,75 e entre o SON-R 6-40 e a BPR-5 foi de 0,72. Como esperado, as correlações mais altas foram encontradas entre o SON-R 6-40 e os subtestes de Raciocínio Abstrato e Raciocínio Espacial do BPR-5 uma vez que estes subtestes também medem a inteligência fluida (r = 0,68 para ambos os subtestes). Correlações mais baixas foram encontradas entre o SON-R 6-40 e os subtestes de Raciocínio Verbal e Numérico da BPR-5 que medem a inteligência cristalizada (r = 0,62 e r = 0,44 respectivamente). Os resultados da presente pesquisa justificam a conclusão que evidências satisfatórias de validade convergente do teste SON-R 6-40 foram obtidas para a faixa de idade investigada. ______________________________________________________________________________ ABSTRACT / Studies that provide validity evidence of tests scores are essential to assure a correct interpretation of the outcomes of a test. In this context, the present study investigated the convergent validity of the SON-R 6-40 administering it together with two other instruments that measure intelligence: the SON-R 2½-7[a] and form A of the Battery of Reasoning Tests (BPR-5). The SON-R 6-40 is a nonverbal test of intelligence intended for persons with ages ranging from 6 to 40 years and that was published in 2010. Normatization and validation studies of the SON-R 6-40 has been undertaken in The Netherlands and in Germany. The SON-R 2½-7[a] is a nonverbal test of intelligence for children with ages varying from 2 years and 6 months to 7 years and 11 months. The normatization and validation studies of the SON-R 2½-7[a] for Brazil were concluded in 2009. Both SON-R tests were developed to measure fluid intelligence to reduce the influence of socioeconomic factors on the test performance. The BPR-5 is a battery of reasoning subtests that assess five different reasoning types: Verbal Reasoning (VR), Abstract Reasoning (AR), Spatial Reasoning (SR), Numerical Reasoning (NR) and Mechanical Reasoning (MR). In the present study, however, the Mechanical Reasoning subtest was not administered. Brazilian norms of the BPR-5 were established in 2000 th th thfor students of the 6 ,7 and 8 grades of elementary school. Altogether, 112 students of public schools from the Distrito Federal (Brazil) participated in the present research: 44 students with ages between 6 and 7 years in the first validation study and 68 students between 12 and 16 years in the second validation study. The results of these two studies indicate a correlation corrected for attenuaton between the SON-R 6-40 and the SON-R 2½-7[a] of .75 and of .74 between the SON-R 6-40 and form A of the BPR-5. As expected, the highest correlations were found between the SON-R 6-40 and the Abstract and Spatial Reasoning subtests of the BPR-5 since these also measure fluid intelligence (r =.72 and r=.73, respectively). Lower correlations were encountered between the SON-R 6-40 and the Verbal and Numerical Reasoning subtests of the BPR-5 which measure crystalized intelligence (r=.65 and r=.47, respectively). The results of the present research justify the conclusion that satisfactory evidence of the convergent validity of the SON-R 6-40 has been obtained for the investigated age group.

Este trabalho tem como objetivo estudar e avaliar técnicas para a aceleração de algoritmos de análise de timing funcional (FTA - Functional Timing Analysis) baseados em geração automática de testes (ATPG – Automatic Test Generation). Para tanto, são abordados três algoritmos conhecidos : algoritmo-D, o PODEM e o FAN. Após a análise dos algoritmos e o estudo de algumas técnicas de aceleração, é proposto o algoritmo DETA (Delay Enumeration-Based Timing Analysis) que determina o atraso crítico de circuitos que contêm portas complexas. O DETA está definido como um algoritmo baseado em ATPG com sensibilização concorrente de caminhos. Na implementação do algoritmo, foi possível validar o modelo de computação de atrasos para circuitos que contêm portas complexas utilizando a abordagem de macro-expansão implícita. Além disso, alguns resultados parciais demonstram que, para alguns circuitos, o DETA apresenta uma pequena dependência do número de entradas quando comparado com a dependência no procedimento de simulação. Desta forma, é possível evitar uma pesquisa extensa antes de se encontrar o teste e assim, obter sucesso na aplicação de métodos para aceleração do algoritmo.

Submitted by Danielle Karla Martins Silva (danielle.martins@ufpe.br) on 2015-03-11T17:58:02Z No. of bitstreams: 2 DISSERTAÇÃO José Wellington stanford Dantas.pdf: 7648763 bytes, checksum: 89d94ec267f78931f8fa8f796abbdb01 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-11T17:58:02Z (GMT). No. of bitstreams: 2 DISSERTAÇÃO José Wellington stanford Dantas.pdf: 7648763 bytes, checksum: 89d94ec267f78931f8fa8f796abbdb01 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012 / Este trabalho tem o objetivo de contribuir com informações que possam colaborar com o processo de controle, proteção e utilização racional das águas subterrâneas dos Aquíferos Beberibe, Barreiras e Aluvionar do Rio Mumbaba, dentro dos limites da Região Metropolitana de João Pessoa. A pesquisa consistiu na realização de testes de bombeamento em diversos poços para a determinação de parâmetros hidrodinâmicos desses aquíferos e avaliação das possíveis interferências ocasionadas pela falta de planejamento da locação dos poços. A metodologia utilizada consistiu de testes de produção para verificar a eficiência dos poços e de testes de aquífero para determinar a sua capacidade produtiva. Na caracterização hidrodinâmica dos poços e aquíferos, recorreu-se a ensaios de vazão (teste de aquífero e de vazão), bem como a pesquisa bibliográfica e inventário de poços tubulares. Os resultados obtidos demonstram aspectos relevantes quanto à hidrodinâmica e à geometria dos Aquíferos estudados, agregando conhecimentos para melhor orientar a perfuração e a elaboração de projetos de poços tubulares e contribuindo para o planejamento, o gerenciamento, a conservação e a proteção das águas subterrâneas desses aquíferos e de outros da Região. Outro resultado importante observado foi que o histórico dos níveis estáticos de todos os poços estudados se manteve constante, demonstrando a eficiência da recarga, apesar dos fatores antrópicos adversos.

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-12T15:58:04Z (GMT). No. of bitstreams: 2 arquivo3246_1.pdf: 4182276 bytes, checksum: 9458e021d82b1824fb037ce7e8a48b0b (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Testar software é uma tarefa complexa e em sistemas distribuídos tal tarefa é ainda mais complicada. As atividades de testes podem consumir de 50% até 75% do esforço total de desenvolvimento de um software distribuído. Com o aumento da demanda em serviços online e o alto custo de downtime é necessária uma rígida validação da escalabilidade, disponibilidade e tolerância a falha das aplicações. No entanto, as ferramentas para testes convencionais não são adequadas para cenários com distribuição extrema e grande carga de usuários, causando grande esforço para os engenheiros e grandes custos para corporações. Baseado na necessidade de uma nova geração de ferramentas, apresentamos o Octopus, um framework para automação de testes de desempenho, escala, carga, estresse e recuperação que busca reduzir o esforço necessário para setup, execução, coleta e análise de resultados. Com o uso do framework, o engenheiro de testes pode instalar e executar aplicações em múltiplas máquinas, coletar dados de desempenho de todas as máquinas de teste e simular falhas escrevendo uma quantidade de código equivalente a um teste unitário. Como o tempo de setup e de análise de resultados é reduzido, mais execuções são possíveis na mesma quantidade de tempo, aumentando a qualidade final do produto ou serviço em testes e também a satisfação dos clientes

Made available in DSpace on 2014-06-12T15:59:45Z (GMT). No. of bitstreams: 2 arquivo5536_1.pdf: 1197982 bytes, checksum: 344557c29e4105a048177410482f40ca (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / O processo de desenvolvimento de software está sujeito a inserção de erros diversos cuja presença compromete a qualidade final dos produtos de software. Teste é uma atividade dinâmica e bastante custosa dentro das várias empregadas pela Garantia da Qualidade de Software. O objetivo de teste é demonstrar que um comportamento específico (cenário) de um sistema foi bem (passou no teste) ou mal sucedido (falhou no teste), através de um veredicto. Automação de testes visa tornar o processo mais ágil em atividades repetitivas e menos suscetível a erros humanos. Existem várias abordagens de geração automática de teste, baseadas na representação formal do comportamento do sistema, que empregam diferentes critérios de seleção para os testes. Quando o objetivo do teste é focar na investigação de certas propriedades ou comportamentos importantes do sistema a ser testado, podemos utilizar o critério de seleção denominado propósito de teste (test purposes). CSP (Communicating Sequential Processes) é uma notação formal bastante expressiva, uma álgebra de processos útil para especificar comportamentos de sistemas concorrentes e distribuídos, de hardware e software. Infelizmente, não existe na literatura abordagens para geração de testes diretamente a partir de álgebras de processo como CSP. As abordagens existentes utilizam a representação operacional (sistemas de transições rotuladas LTS) dos processos CSP. O objetivo deste trabalho é introduzir uma estratégia para geração automática de testes consistentes (sound), elaborada inteiramente a partir da semântica denotacional de CSP (notação de processos e modelos semânticos). É definida uma teoria de testes baseada na Teoria de Testes de Tretmans. Um ponto comum entre estas teorias é que o conjunto de ações de entrada e saída para especificações (alfabetos), implementações e testes são separados, de forma a definir com precisão os veredictos para execução dos testes e a relação de conformidade entre implementação e especificação. Adicionalmente, uma relação de conformidade denotada cspioco é introduzida em termos de refinamentos de processos para determinar se o processo que representa a implementação a ser testada está coerente com o comportamento do processo da especificação. É apresentada, ainda, a estrutura e a utilização de uma ferramenta implementada com o propósito de avaliar esta abordagem dentro do ambiente de teste de um projeto de pesquisa que envolve uma cooperação entre o CIn-UFPE e a Motorola Industrial Limitada. Alguns experimentos práticos foram realizados neste contexto