Submitted by Alexandre Sousa (alexandre.sousa@incqs.fiocruz.br) on 2014-08-01T12:58:03Z No. of bitstreams: 1 Dissertação Izabela.pdf: 1302143 bytes, checksum: ab457123bfc94643d499a3062e8b2cc2 (MD5) / Made available in DSpace on 2014-08-01T12:58:03Z (GMT). No. of bitstreams: 1 Dissertação Izabela.pdf: 1302143 bytes, checksum: ab457123bfc94643d499a3062e8b2cc2 (MD5) Previous issue date: 2014 / Fundação Oswaldo Cruz. Instituto Nacional de Controle de Qualidade em Saúde / O teste de detecção de pirogênio é preconizado nas farmacopeias como teste de segurança imprescindível para a avaliação da qualidade de produtos injetáveis. Os métodos alternativos ao teste de pirogênio em coelhos são o Teste de Lisado de Amebócitos de Limulus (LAL) e o Teste de Ativação de Monócitos (MAT). Esses métodos ainda não podem substituir o teste em coelhos por completo, pois no caso do LAL os resultados podem não ser confiáveis quando a análise é realizada na presença de algumas substâncias interferentes com alto teor de lipídios e proteínas (encontrados nos medicamentos biológicos) e glucanas, além disso, o teste só detecta endotoxinas. Em relação ao MAT, já que o teste é sensível para todos os tipos de pirogênios e tem o mesmo mecanismo biológico responsável pela reação de febre em humanos, o Interagency Coordinating Committee on the Validation of Alternative Methods (ICCVAM) recomendou sua utilização desde que fique demonstrada a equivalência de seus resultados ao teste em coelhos, em conformidade com a regulamentação aplicável. Verifica-se assim, que a literatura carece de dados que envolvam a comparação entre a dose limite que causa febre em coelhos e a correspondência para o MAT relacionado ao ácido lipoteicóico (ALT), sendo assim, esse estudo tem como objetivo principal avaliar a utilização do MAT na detecção da contaminação de ALT de S. aureus em Cloreto de Sódio 0,9 % apirogênico artificialmente contaminado, através do estabelecimento de curva dose-resposta de ALT em coelhos; curva concentração-resposta de ALT para o MAT e avaliação em paralelo dos resultados obtidos utilizando ALT no teste em coelhos, LAL cromogênico e MAT. A resposta de febre foi observada a partir de 75.000 ng de ALT/Kg nos coelhos e no MAT para sangue criopreservado/IL-1β foi estabelecida em 50.000 ng/mL de ALT, ou 5,41 UEE/mL. O teste de LAL apresentou resultado falso-reativo a partir de 10.000 ng/mL de ALT. Os resultados apresentados neste estudo fornecem informações importantes sobre a comparação entre o teste de pirogênio em coelhos, MAT e LAL, contribuindo com dados para a validação do MAT, envolvendo outros pirogênios que não a endotoxina, e também para a aceitação deste teste pelos órgãos regulatórios no Brasil visando uma possível substituição do uso de animais, garantindo, assim, a segurança da saúde da população. / The pyrogenic test is preconized in the Pharmacopeias as a safety test indispensable for the quality of evaluation of injectable products. The alternative methods to the rabbit pyrogen test are the Limulus Amebocite Lysate (LAL) Test and the Monocyte Activation Test (MAT). These methods cannot replace the rabbit test completely yet, for in the case of LAL the results may not be reliable when the analysis is carried out in the presence of some interfering substances with high content of lipids and proteins (found in biological medicines) and glucans, moreover, the test only detects endotoxins. Concerning the MAT, since the test is sensitive to all types of pyrogens and has the same biological mechanism responsible for the fever reaction in humans, the Interagency Coordinating Committee on the Validation of Alternative Methods (Comitê de Coordenação Interagências sobre Validação de Métodos Alternativos - ICCVAM) have recommended its utilization provided that the equivalence of its results from the rabbit test, in conformity with the applicable regulation. It can be verified, then, that the literature lacks the data which involves the comparison between the limit dose that causes fever in rabbits and the consequence for the MAT related to the lipoteichoic acid (LTA), that being so, the aim of this study is mainly the utilization of MAT in the detection of the contamination of LTA of S. aureus in apyrogenic 0.9 % Sodium Chloride artificially contaminated, through the establishment of the dose-response curve of LTA in rabbits; concentration-response curve of LTA for the MAT and parallel evaluation of the results obtained by utilizing LTA in the test in rabbits, chromogenic LAL and MAT. The fever response was observed from 75.000 ng of LTA/Kg in rabbits and in MAT and for cryopreserved blood/IL-1β was established in 50.000 ng/mL of LTA, or 5,41 UEE/mL. The LAL test presented a false-positive result from 10.000 ng/mL of ALT. The results presented in this study provide important information on the comparison between the rabbit pyrogen test, MAT and LAL, contributing with data to the evaluation of MAT, involving pyrogens other than endotoxin, and also to the acceptance of this test by the regulatory organs in Brazil aiming at a possible animal substitution, and guaranteeing, then, the health security of the population.

Made available in DSpace on 2014-12-17T14:13:58Z (GMT). No. of bitstreams: 1 LucilaCME.pdf: 777399 bytes, checksum: 0872bb60e8e228e6574e4fe1b87a20f8 (MD5) Previous issue date: 2006-12-21 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / The Pitimbu River is located at the oriental portion of the State of Rio Grande do Norte, including three importants cities named Maca?ba, Parnamirim e Natal. Although its high importance as a water source, which supplys great part of the South Zone of the Natal city, this river receives a large quantity of domestic and industrial waste water without treatment. The Pitimbu River headhas its river-head located in the city of Macaiba, goes through Parnamirim, then it flowing into at the Jiqui Lake in Natal. The aim of this study was to evaluate, qualitatively and quantitatively, the environmental quality of the Pitimbu River by genotoxicity bio-assays, which are important tools for genetics toxicological evaluation. In this work, five samples sites, distributed along the river, were used to collect water samples. Another point site, located near Jiqui lake, was used to collect drinkable water, which was treated by CAERN, the water treatment entreprise of Rio Grande do Norte. The following assays where used to evaluate the quality of these samples: Allium cepa assay; Comet assay; Micronuclei (MN) assay; and Ames test. For the Allium cepa assay, sixteen specimes where used for each water sample from the sample sites. In this assay both microscopic, like cytogenetic damage, and macroscopic aspects, as morphological variation were evaluated. Red blood cells from periferical blood of the Crenicichla menezesi native specie were used not only for the MN assay, but also for the Comet assay. These fishes were collected at different points on the Pitimbu River and the negative control was developed using fishes of the same species that were bring to the laboratory and maintained for 100 days in the optimal experimental conditions. For the Ames test, TA100, YG1042, TA98 and YG1041 strains were used in the directed method without metabolic activation. The results found by the Allium cepa assay showed that two water sample sites induced increase of mitotic index (IM). Additionally, compared to the control, all the water samples increased the chromossomal aberrations frequency and/or micronucleus. Among the sample sites, two also showed an abnormal growth rate in its root and two samples induced morphological alteration. With the MN test in red blood cells, a high frequence of MN was observed in tree sample. By comparing all the results obtained on the water sample points and with the negative control, a significant variation on the MN frequency was observed. Positive results were also observed for the same sample to water test by the Comet assay. These results allow concluding that the proposed specie Crenicichla menezesi has a good profile as a bio-indicator for the evaluation of environmental water quality and the MN and comet test can be usuful for in situ evaluation. By the Ames test, it was possible to detect the mutagenic activity on the waters from the Pitimbu River in different levels of mutagenicity. This result suggests that this river has several substances that induced changes directly to the DNA. The mechanisms involved to this phenomenon could be by both processes, by changing of the reading frame and by nucleotide substitution. These data set indicate the presence of mutagenic agents, which can represent in risk to biot and human beens / O rio Pitimbu localiza-se no litoral oriental do Estado do Rio Grande do Norte, mais precisamente na grande Natal, nos munic?pios de Maca?ba, Parnamirim e Natal. Embora se trate de um importante manancial, abastecendo parte da zona sul da capital do Estado, suas ?guas t?m sido alvo de dejetos industriais e dom?sticos, os quais n?o recebem tratamento adequado. O rio Pitimbu tem sua nascente situada no munic?pio de Maca?ba e des?gua na lagoa do Jiqu?, e parte em dire??o a praia de Pirangi, lan?ando suas ?guas no mar. O presente estudo teve como objetivo avaliar quantitativamente e qualitativamente a qualidade das ?guas do rio Pitimb?, atrav?s de bioensaios de genotoxicidade que s?o ferramentas de grande import?ncia nos estudos de gen?tica toxicol?gica. Neste trabalho foram coletadas amostras de ?gua de cinco pontos distribu?dos ao longo do rio e amostras da ?gua da lagoa do Jiqui ap?s tratamento feito pela CAERN (Companhia de ?guas e Esgotos do Rio Grande do Norte). Essas amostras foram analisadas atrav?s dos seguintes ensaios: teste de Allium cepa; o ensaio Cometa; o teste de Micron?cleo (MN); e o teste de Ames. Para realiza??o do teste em Allium cepa foram utilizados 16 indiv?duos para cada amostra testada, foram feitas an?lises dos aspectos microsc?picos (danos citogen?ticos) e macrosc?picos (varia??es morfol?gicas). Eritr?citos de sangue perif?rico da esp?cie nativa Crenicichla menezesi, foram utilizados tanto para execu??o do teste de MN como para o ensaio Cometa, os exemplares desta esp?cie foram coletados em diferentes pontos do rio Pitimbu e o controle negativo foi realizado com peixes da mesma esp?cie que foram trazidos para o laborat?rio e mantidos por 100 dias em condi??es ideais. Para execu??o do teste de Ames foram utilizadas as linhagens TA100, YG1042, TA98 e YG1041, sem ativa??o metab?lica, o qual foi realizado pelo m?todo direto. Os resultados obtidos no teste de Alium cepa monstraram que dois pontos de coleta de ?gua induziram altera??es no ?ndice mit?tico (?ndice de prolifera??o celular); al?m disso, todas as amostras de ?gua do rio induziram aumento na freq??ncia de aberra??es cromoss?micas e/ou de MN, em rela??o ao grupo controle. Dois dos pontos de coleta tamb?m apresentaram altera??o no crescimento da raiz e dois pontos produziram modifica??es morfol?gicas. Com o teste MN em eritr?citos uma alta freq??ncia de MN foi observada para tr?s amostras coletadas. Resultados positivos nas mesmas amostras teste tamb?m foram obtidos com o ensaio cometa. Estes resultados sugerem que a esp?cie Crenicichla menezesi pode ser considerado como um bom bioindicador para an?lise de qualidade ambiental e que os testes de MN e cometa s?o vi?veis para an?lise in situ. No teste de Ames, foi poss?vel detectar a presen?a de atividade mutag?nica nas ?guas do rio Pitimbu em diferentes n?veis de mutagenicidade, sugerindo a presen?a de compostos que agem de forma direta no DNA tanto por mudan?a do quadro de leitura quanto por substitui??o de pares de bases. Em conjunto os dados indicam a presen?a de agentes mutag?nicos, o que pode representar risco para a biota e os seres humanos

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-05-04T22:31:28Z No. of bitstreams: 1 ANA EMÍLIA VICTOR BARBOSA COUTINHO - TESE PPGCC 2015..pdf: 3805756 bytes, checksum: 2bee7d8777dfd753eb994680cd2bb6c5 (MD5) / Made available in DSpace on 2018-05-04T22:31:28Z (GMT). No. of bitstreams: 1 ANA EMÍLIA VICTOR BARBOSA COUTINHO - TESE PPGCC 2015..pdf: 3805756 bytes, checksum: 2bee7d8777dfd753eb994680cd2bb6c5 (MD5) Previous issue date: 2015-03-20 / Capes

MÉTODOS de geração de casos de teste visam a gerar um conjunto de casos de teste com uma boa relação custo/benefício. Critérios de cobertura de teste definem requisitos de teste, os quais um conjunto de teste adequado deve cobrir. Métodos e critérios visam a selecionar casos de teste baseados em especificações, que podem ser descritas por meio de modelos, tais como Máquinas de Estados Finitos (MEF). Existem diversos métodos de geração e critérios de cobertura, diferindo entre si em função das propriedades exigidas da MEF, do custo dos testes gerados e da eficácia na revelação de defeitos. Apesar de pesquisas intensas na definição desses métodos e critérios, são poucas as ferramentas de apoio disponíveis assim como são poucos os relatos de aplicação em termos de custo e eficácia para a definição de estratégias de teste efetivas. Dessa forma, é necessário obter dados reais das vantagens e desvantagens dos métodos e critérios para subsidiar a tomada de decisão no processo de desenvolvimento de software no que tange às atividades de teste e validação. Este trabalho apresenta resultados de experimentos para avaliar o custo e a eficácia de aplicação dos métodos e critérios mais relevantes para subsidiar a definição de estratégias de teste em diversos contextos, como por exemplo, no desenvolvimento de protocolos e de sistemas reativos. Utiliza-se um protótipo desenvolvido a partir de uma reengenharia da ferramenta Plavis/FSM para apoiar os experimentos / TEST case generation methods aim to generate a test suite that offers an acceptable trade-off between cost and avail. Test coverage criteria define testing requirements, which an adequate test suite must fulfill. Methods and criteria help to select test case from specifications, which can be describe as models, for example Finite State Machines (FSM). There are several generation methods and coverage criteria that differ depending on the required properties of the FSM, the cost of generated tests and the effectiveness in revealing faults. In spite of intense researches in the definition of those methods and criteria, there are few available tools to apply them as well as application reports about cost and effectiveness issues to define effective test strategies. Thus, it is necessary to obtain real data of the advantages and disadvantages of the methods and criteria to provide decision-making in the software development process as far in the validation and test activities. This work aimed to lead experiments to evaluate the cost and the effetiveness in applying the most relevant methods and criteria to subsidize test strategies definition in several contexts as the communication protocol development and the reactive systems development. A prototype was developed based on reengineering of the Plavis/FSM tool to support the experiments

Made available in DSpace on 2014-06-12T15:57:23Z (GMT). No. of bitstreams: 2 arquivo3187_1.pdf: 2434276 bytes, checksum: df6b126c4802eed8524aba0d3cb25af9 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Boudox Peres, Glaucia; Cabral Mota, Alexandre. A black-box testing technique for the detection of crashes based on automated test scenarios. 2009. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2009.

Made available in DSpace on 2015-04-22T22:00:48Z (GMT). No. of bitstreams: 1 Eliane Figueiredo Collins.pdf: 2314673 bytes, checksum: 8403bd67cffed913ac9029447401f980 (MD5) Previous issue date: 2013-04-25 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / For some time, the professional software development companies are looking for new technical alternatives in order to optimize their processes, to deliver products to market as soon as possible and to meet customer expectations, increasingly demanding and intolerant of software failures. In this sense, the agile software development is gaining more space and consequently the software testing area which was previously considered a separate phase of development has changed over time to adapt to this new reality. The test automation activity is seen as key of agile development, but many teams still don t know how it should be done, who should take responsibility and run it and the correct procedures for this activity to be successful. Although the literature mentions about the particularities activities and best practices in this scenario, there are few related works and lack of experience reports or case studies that show, in practice, examples of use this from start to finish the automation strategy adopted. This paper aims to contribute to improving the quality of agile processes, and proposes an approach that involves the application of agile manifesto values in the activities of test automation, which can be used regardless of agile methodology adopted. In this study, observations were made on empirical about testing practices in agile projects developed at Nokia Technology Institute (INdT) and an experimental implementation of this approach at the Center for Electronic and Information Technology (CETELI), Federal University of Amazonas (UFAM). Experimental reports are available with different strategies for the automation of software testing and identification of some important issues to deal with difficulties in adapting testers and developers in this new scenario. / Há algum tempo as empresas desenvolvedoras de software profissional vêm buscando novas alternativas técnicas com o objetivo de otimizar seus processos, entregar produtos para o mercado o mais cedo possível e ainda atender as expectativas dos clientes cada vez mais exigentes e intolerantes a falhas de software. Com isso, as metodologias ágeis de desenvolvimento de software estão ganhando mais espaço e consequentemente a área de testes de software que antes era considerada uma fase separada do desenvolvimento vem passando por mudanças para se adaptar a esta nova realidade. A atividade de automação de teste passou a ser vista como peça chave para o desenvolvimento ágil, porém muitas equipes ainda não sabem como ela deve ser feita, quem deve assumir a responsabilidade e execução dela e os procedimentos para que essa atividade seja bem sucedida. Embora a literatura mencione particularidades sobre as atividades realizadas e as melhores práticas nesse cenário, são poucos os trabalhos relacionados e há falta de relatos de estudos de caso ou exemplos de utilização que mostrem, na prática, do início ao fim, a estratégia de automação adotada. Este trabalho tem como objetivo contribuir para a melhoria da qualidade dos processos ágeis, propondo uma abordagem que envolve a aplicação de valores presentes no manifesto ágil nas atividades de automação de teste, que podem ser utilizadas independentemente da metodologia ágil adotada. Nesta pesquisa, foram realizadas observações empíricas sobre as práticas de testes em projetos ágeis desenvolvidos no Instituto Nokia de Tecnologia (INdT) e um experimento de aplicação dessa abordagem no Centro de Tecnologia Eletrônica e da Informação (CETELI), da Universidade Federal do Amazonas (UFAM). São disponibilizados relatos experimentais com diferentes estratégias relativas a automação de teste de software e a identificação de algumas questões importantes para lidar

Paradigmas e técnicas de desenvolvimento como a programação Orientada a Objetos (OO) e a programação Orientada a Aspectos (OA) procuram melhorar os níveis de reuso e manutenibilidade na produção de software. Contudo, com a introdução de mecanismos com maior poder de expressividade e, consequentemente, a possível introdução de novos tipos de defeitos, a utilização de linguagens OO e OA pode se tornar um obstáculo ao invés de um auxílio ao desenvolvimento de software. Para lidar com esse problema, nesta dissertação é proposta uma abordagem de teste estrutural de integração para programas orientados a objetos e a aspectos implementados em Java e AspectJ. É definido um modelo de fluxo de controle e de dados baseado no bytecode Java { chamado Grafo Def-Uso Contextual (ou Contextual Def-Use graph) - que é uma abstração formada pela integração dos grafos Def-Uso Orientados a Aspectos (AODU) da unidade sob teste com todas as unidades que interagem direta ou indiretamente com ela até um nível de profundidade de interação máximo ou definido pelo testador. São defiidos três critérios de teste: todos-nós-integrados-Nd, todas-arestas-integradas-Nd e todos-usos-integrados-Nd. Para automatizar o uso do modelo e critérios propostos, a ferramenta JaBUTi/AJ foi estendida. Exemplos de usos são discutidos e, por meio de um estudo experimental, uma análise de aplicabilidade da abordagem proposta é apresentada / Development paradigms and techniques such as Object-Oriented (OO) programming and Aspect-Oriented (AO) programming aim at improving reuse levels and maintenability in the software production. However, due to the introduction of mechanisms to support a greater power of expressiveness and, consequently, possible introduction of new type of faults, the use of OO and AO languages might become an obstacle instead of a benefit in the software development. To deal with these problems, in this dissertation is presented an integration structural testing approach for objectand aspect-oriented software based on Java and AspectJ. It is defined a control- and data- ow model based on Java bytecode { called Contextual Def-Use graph { that is an abstraction composed by the integration of Aspect-Oriented Def-Use graphs (AODU) of the unit under testing with the units triggered by the execution of the unit under testing considering either a maximum interaction depth level or an interaction depth level previously defined by the tester. Three testing criteria are also defined: all-integrated-nodes-Nd, all-integrated-edges-Nd and all-integrated-uses-Nd. To automate the use of the model and the testing criteria, the JaBUTi/AJ tool was extended. Usage examples are discussed to explain the approach and an exploratory study is conducted to evaluate the applicability of the proposed approach

As atividades de validação, verificação e teste contribuem para melhorar a qualidade dos programas, independentemente do paradigma de programação utilizado. Erlang é um exemplo de linguagem funcional, e aspectos como: dados imutáveis, higher-order functions, lazy evaluation e pattern matching impõem restrições à atividade de teste estrutural de software, as quais requerem uma atenção especial do testador. A linguagem Erlang foi criada para o desenvolvimento de aplicações concorrentes, em tempo real e com tolerância a falhas. A aplicação da atividade de teste de software torna-se necessária para aplicações desenvolvidas em Erlang. Um mapeamento sistemático realizado identificou os trabalhos relacionados e também a identificação de falhas típicas encontradas em programas Erlang. O resultado do mapeamento evidenciou a falta de propostas que considerem as principais características de Erlang, incluindo uma ferramenta de teste que dê suporte à aplicação prática da atividade de teste. Esta lacuna foi considerada significativa. Foi proposto um conjunto de critérios de teste estruturais para verificar a cobertura de códigos em aplicações sequenciais e distribuídas de programas Erlang. Os critérios de teste exploram as possíveis falhas relacionadas à comunicação entre funções, comunicação entre processos, sincronização, concorrência, recursividade e tolerância a falhas. A definição dos critérios contou com o suporte de um modelo de teste para a obtenção das informações sobre o fluxo de controle, fluxo de dados e fluxo de comunicação de programas Erlang. O modelo estabeleceu 15 tipos de nós, 9 tipos de arestas e 5 tipos de usos de variáveis. Para apoiar a aplicação dos critérios, uma ferramenta de teste, chamada Valierlang, também foi implementada. A ValiErlang é composta por 5 módulos que realizam as seguintes etapas: análise estática, instrumentação do código fonte, geração do GFC, definição dos elementos requeridos, execução do código instrumentado, geração do rastro de execução e avaliação dos elementos cobertos e elementos não executáveis. Foi realizado um estudo experimental para verificar a aplicabilidade dos critérios de teste por meio da ValiErlang. Neste estudo foram utilizados seis programas com diferentes características, todas essenciais aos programas em Erlang. Com base nos resultados obtidos, foi possível comprovar que a abordagem contribui com o testador devido ao sucesso na aplicação dos critérios e também a eficácia dos critérios em revelar defeitos. E as etapas para o testador de software realizar a aplicação do teste estrutural, tem o apoio ferramental da ValiErlang. / The validation, verification and test activities contribute to improve the quality of the programs, independently of the used programing paradigm. Erlang is an example of functional language and aspects such as: immutable data, higher-order functions, lazy evaluation e pattern matching impose restrictions to the software structural testing activity, which require a special attention by the tester. The Erlang language was created for the development of concurrent applications, in real time and with fault tolerance. The application of the software testing activity becomes necessary for applications developed in Erlang. An executed systematic mapping identified the related works and the identification of typical failures found in Erlang programs. The result of the mapping highlighted the lack of proposals that consider the main features of Erlang, including a testing tool that supports the practical application of the testing activity. This gap was considered significant. A set of structural testing criteria was proposed to verify the coverage of codes in sequential and distributed applications in Erlang programs. The test criteria explore the possible failure related to the communication between functions, communication between processes, synchronization, concurrence, recursion and fault tolerance. The definition of the criteria had the support of a test model to obtain information about control flux, data flux, and communication flux of Erlang programs. The model established 15 types of nodes, 9 types of edges and 5 types of variable uses. To support the application of criteria, a testing tool called ValiErlang was also implemented. ValiErlang is composed of 5 modules that execute the following stages: static analysis, source code instrumentation, CFG generation, definition of the required elements, instrumented code execution, execution trace generation and evaluation of the covered and non-executable elements. An experimental study was executed to verify the applicability of the testing criteria by ValiErlang. In this study six programs with different characteristics were used. All characteristics were essential to the Erlang programs. Based on the obtained results, it was possible to prove that the approach contributes with the tester because of the success in the criteria application and the efficiency of the criteria in revealing defects. The stages for the testes to execute the structural test application have the support of the Erlang tool.

Este trabalho descreve a Klein, uma biblioteca genérica para álgebra linear em C++. A Klein facilita o uso de matrizes e vetores, permitindo que o usuário programe de modo similar ao Matlab. Com ela podemos, por exemplo, implementar um passo do método de Newton para a função f, através da expressão x = x - inv(jac(x)) * f(x), onde x é o vetor, jac a Jacobiana e inv a inversa. Além disso, por se tratar de uma biblioteca genérica, os tipos envolvidos nestas expressões podem ser escolhidos pelo programador. O trabalho também discute como a biblioteca é testada, tanto do ponto de vista de corretude quanto de desempenho. / We describe the Klein library, a generic libray for linear algebra in C++. It simplifies the use of vectors and matrices and let the user program as in Matlab. With Klein, one can for instance implement Newton\'s method as x = x - inv(jac(x)) * f(x), where x is a vector, jac is the Jacobian matrix, inv is the inverse operator and f(x) is the function of which we want to find zero. Moreover, Klein is generic in the sense that it allows the use of arbitrary types of scalars (float, double, intervals, rationals, etc). We also explain how it is tested, both for correctness and performance.

Foram testadas, com o teste não treponêmico VDRL e com o teste treponêmico imunoenzimático de competição, 23.531 amostras de soros, coletados em todas as regiões do Brasil, com o objetivo de verificar o comportamento do teste imunoenzimático treponêmico na triagem de amostras. A prevalência obtida foi de 0,63% com o VDRL e de 0,84% para o teste imunoenzimático. A análise dos dados foi feita comparando-se os resultados dos dois testes com os resultados do teste treponêmico de imunofluorescência indireta (FTA-ABS), considerado como teste de referência. No total, 1120 amostras foram submetidas ao teste FTA-ABS, incluindo todas as que foram reagentes em qualquer um dos testes de triagem e 872 amostras negativas. Amostras com resultados discordantes entre os testes foram submetidas a um teste imunoenzimático do tipo Western blot. Nas amostras por nós estudadas, o teste imunoenzimático apresentou sensibilidade de 89,95% e especificidade de 99,78%, muito superior aos 55,11% de sensibilidade e 97,43% de especificidade que encontramos para o VDRL. Os resultados dos testes detectaram positividade em amostras diferentes portanto, recomendamos utilizar a associação dos dois testes, como método de triagem, quando se trata de populações de baixa prevalência. Resultados preliminares do Western blot sugerem a participação doas proteínas de 43 kD, 17 kD e 15,5 kD na reação de ELISA treponêmico competitivo. / The VDRL, a non treponemal test, and a treponemal competitive ELISA were used to test 23,531 serum samples, collected from conscript men throughout Brazil, with the objective of assessing the performance of the competitive ELISA on the screening of serum samples. The VDRL showed a prevalence of 0.63% contrasting with a 0.84% prevalence showed by the competitive ELISA. The results obtained with the two tests were then compared to those obtained by fluorescent treponemal antibody absorption (FTA-ABS) test which is considered the gold standard method for detection of antibodies for syphilis. A total number of 1,120 samples, which included all that were reagent in at least one of the screening test plus 872 that were negative in both tests, were submitted to the FTA_ABS test. In addition, some of the samples that presented discrepant results between the two tests studied were also submitted to the Western blot test. The results of the screening tests showed an 89.95% sensitivity and a 99.78% specificity for the competitive ELISA, which are much higher than the 55.11% sensitivity and 97.43% specificity presented by the VDRL. Also, the tests detected positivity in different samples. In conclusion, we recommended the use in tandem of both tests as screening for syphilis antibodies in low prevalence populations. In addition, the results of the Western blot seemed to suggest the positivity of the ELISA becoming non reactive after treatment of the patient and that the 43 kD, 17 kD and 15 kD proteins are the main proteins involved in the ELISA competitive reaction.