A Programação Concorrente tornou-se uma forma popular de desenvolvimento de software. Este paradigma de desenvolvimento e essencial para construir aplicações com o intuito de reduzir o tempo computacional em muitos domínios como, por exemplo, previsão tempo, processamento de imagem, entre outros. Estes programas têm novas características como a comunicação, a sincronização e o não determinismo, que precisam ser considerados durante a atividade de teste. O teste de software e uma atividade que busca garantir a qualidade por meio da identificação de falhas no produto. O Teste de Mutação e um critério de teste que se baseia nos enganos que podem ser cometidos pelos desenvolvedores de software. Porém, o teste de mutação não pode ser aplicado em programas concorrentes da mesma maneira como e aplicado em programas sequenciais por causa das particularidades presentes nos programas concorrentes. Um problema de aplicar o teste de mutação nesse contexto e o comportamento não determinístico das aplicações. Este trabalho investiga a definição do teste de mutação para programas concorrentes implementados em MPI (Message Passing Interface), os quais realizam comunicação e sincronização por meio de troca de mensagens. Para isso, defeitos típicos nesse domínio foram considerados, buscando modelar operadores de mutação para tratar os aspectos de comunicação e sincronização dessas aplicações. Também foi proposto um procedimento para dar suporte a análise comportamental dos mutantes. As idéias foram implementadas em uma ferramenta de teste chamada ValiMPI Mut / Concurrent programming became a popular paradigm for software development. This paradigm is essential to build applications which aim to reduce the computational time in many areas, such as, weather forecast, image processing, among others. These programs present new features such as communication, synchronization, and nondeterminism, which must be considered during the testing activity. Software testing is an activity that looks to ensure quality by identifying faults in the product. Mutation Testing is a criterion based on the most common mistakes that might be made by software developers. However, the mutation testing cannot be applied in concurrent programs the same way as applied in sequential ones due to the peculiarities present in concurrent programs. One of the problems in applying mutation testing in this context is the non-deterministic behavior. This work investigates the definition of mutation testing for concurrent programs implemented in MPI (Message Passing Interface), which perform communication and synchronization using message passing. For this, typical faults in this area were considered in order to model mutation operators addressing the aspects of communication and synchronization of these applications. Also, we are proposing a new procedure to support the behavioral analysis of the mutants. The ideas were implemented in a testing tool called ValiMPI Mut

O objetivo dessa pesquisa foi desenvolver, validar e normatizar uma bateria composta por cinco escalas para a avaliação do ajustamento psicológico juvenil. As escalas são instrumentos de auto-relato que avaliam ansiedade, humor, atenção/atividade motora, pensamento e conduta social em adolescentes entre 11 e 17 anos de idade. Esses construtos foram escolhidos a partir da avaliação da demanda clínica observada. Estudos de validade de conteúdo, construto e critério mostraram que os instrumentos apresentam boas características psicométricas e são adequados para utilização clínica. Para análise fatorial foi utilizada uma amostra de 4033 adolescentes gaúchos (idade média = 14,4 anos, d.p.= 1,72) que preencheram 5302 escalas. Os resultados indicaram índices de precisão que variaram entre 0,62 e 0,93. Foram encontradas soluções de dois fatores para as escalas de ansiedade (Indicadores de Ansiedade e Controle da Ansiedade) e de pensamento (Fenômenos cognitivos e sensoriais, Ações compulsivas). Soluções de três fatores foram encontradas para as escalas de humor (Humor deprimido, Bem-estar subjetivo e Mania e risco de suicídio), de atenção/atividade motora (Desatenção, Controle das funções executivas, Hiperatividade/impulsividade) e de conduta social (Comportamento anti-social, Comportamento pró-social e Desafio-oposicionismo). Correlações com instrumentos convergentes/divergentes ocorreram de acordo com a literatura (N=1040). Para validação concorrente, grupos critérios foram constituídos com amostras clínicas (N=200), escolares com comportamento atípico (N=104) e adolescentes acusados de ato infracional (N=129), sendo constatada a validade dos instrumentos. A partir desses dados, uma normatização preliminar foi estabelecida, a fim de viabilizar a utilização da bateria no contexto clínico. Os resultados obtidos fornecem novas possibilidades para avaliação e compreensão do desenvolvimento juvenil, bem como para o planejamento de intervenções interdisciplinares.

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

Made available in DSpace on 2014-06-12T16:26:29Z (GMT). No. of bitstreams: 2 arquivo2154_1.pdf: 2946293 bytes, checksum: d55db8fd95c353e5369e10a31bb5a187 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / A dengue é atualmente considerada a mais importante arbovirose que afeta o homem. O agravamento desta situação epidemiológica tem acarretado um aumento expressivo no uso de inseticidas organofosforados no combate ao vetor, principalmente o temefós, que é amplamente e sistematicamente aplicado em ambientes urbanos em reservatórios de água, até para o consumo humano. Este projeto propôs investigar efeito genotóxico (clastogênico) em células de mamíferos, induzido pela exposição ao temefós (grau técnico 95,5%), e ao biolarvicida Bacillus thuringiensis sorovar. israelenses (Bti) - IPS 82, ambos empregados no controle do Aedes aegypti. Na avaliação genotóxica foram utilizadas células da medula óssea de camundongos albinos Swiss Webster de ambos os sexos, empregando-se os testes de metáfase e de micronúcleos para detecção dos danos cromossômicos: aberrações cromossômicas e micronúcleos. Os camundongos foram tratados com temefós (grau técnico 95,5%) nas concentrações de 27,75; 55,5 e 111 mg/kg ou com água destilada 10 ml/kg, via gavagem, como controle negativo ou com Ciclofosfamida a 25 mg/kg, via i.p., como controle positivo por 24, 48 e 72h, em dose única ou em 9 doses repetidas (1 dose/semana). Outros grupos foram tratados com Bti nas doses de 204 e 122,4 UFC (Unidade Formadora de Colônia) ou água destilada (200 μl) como controle negativo, via gavagem, por 24 e 48h. Os resultados observados confirmaram a ação genotóxica induzida pelo inseticida temefós em camundongos de ambos os sexos, com a formação de micronúcleo em eritrócitos policromáticos (PCE MN), em todas as concentrações testadas 24h após o tratamento único. Na concentração de 111,00 mg/kg induziu PCE MN também após 48 e 72h em dose única e após tratamento com 9 doses. O temefós induziu também aberrações cromossômicas nas células em metáfases, em todas as concentrações testadas, 24h após tratamento único, e na concentração de 111,00 mg/kg, também após 48 e 72h de tratamento único. A Ciclofosfamida padronizada como controle positivo, para detecção de genotoxicidade, assegurou a confiabilidade dos experimentos realizados nos padrões estabelecidos. O Bti, através dos experimentos realizados, não induziu formação de micronúcleos, portanto, não foi considerado como um agente mutagênico e/ou genotóxico. A citotoxicidade do Bti também foi avaliada em diferentes doses e tempos de permanência em ambos o sexo, não apresentando diferença estatisticamente significativa ao nível de 5% em comparação com o controle negativo. Esta investigação veio comprovar a preocupação pelos potenciais riscos que o uso sistemático, constante ou mesmo esporádico de inseticidas de síntese em ambiente antropico, na agricultura e em programas de controles de vetores, pode induzir ao homem ao nível mutagênico e/ou genotóxico. É imprescindível, para o uso seguro para a saúde e o meio ambiente, a investigação do potencial mutagênico e/ou genotóxico de produtos utilizados para o controle de insetos

Submitted by Irene Nascimento (irene.kessia@ufpe.br) on 2016-06-28T19:02:15Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Tamiris Alves Rocha-Mestrado em Bioquímica e Ficiologia 2015.pdf: 6258985 bytes, checksum: 337ba3f55e633f8d9665b955f6a0c0fd (MD5) / Made available in DSpace on 2016-06-28T19:02:15Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Tamiris Alves Rocha-Mestrado em Bioquímica e Ficiologia 2015.pdf: 6258985 bytes, checksum: 337ba3f55e633f8d9665b955f6a0c0fd (MD5) Previous issue date: 2015-02-24 / FACEPE / A incidência de casos de câncer vem crescendo em ritmo acelerado em todo o mundo, o que tem despertado o interesse na busca de tratamentos mais eficazes. Geralmente, as drogas utilizadas nessas terapias, causam algum tipo de efeito colateral podendo também, em certas circunstâncias, ser carcinogênicos. Desta forma ensaios para avaliar a atividade genotóxica desses fármacos são necessários para promover uma segurança na utilização desses terapêuticos. As substâncias liquênicas apresentam várias atividades biológicas, podendo ser candidatas promissoras a drogas antineoplásicas. O objetivo deste estudo foi verificar a atividade citotóxica de extratos orgânicos e ácido úsnico obtido de Cladonia substellata bem como efeitos genotóxicos deste metabólito liquênico e seus derivados pirazólicos sintéticos. Os extratos orgânicos foram obtidos a partir da extração por esgotamento a quente em aparelho de Soxhlet do talo de C. substellata. O ácido úsnico foi obtido por purificação do extrato etéreo, seguido por sucessivas cristalizações até obtenção de alto grau de pureza da substância. Os derivados pirazólicos foram sintetizados através da reação do ácido úsnico purificado com as fenil-hidrazinas substituídas e quantidade equivalentes de bicarbonato de sódio (NaHCO3). Análises cromatográficas em camada delgada (CCD) e liquida de alta eficiência (CLAE), ressonância magnética nuclear de prótons (RMN-H1) e Carbono 13 (RMN-C13), bem como infravermelho (IV) foram realizadas para confirmação estrutural da molécula do ácido úsnico purificado e dos derivados pirazólicos. O ensaio de citotoxicidade foi realizado pelo método do brometo de 3-(4,5-dimetiltiazol-2-il)-2,5-difeniltetrazólio (MTT), avaliado os extratos orgânicos e o ácido úsnico purificado de C. substellata frente às linhagens de células tumorais NCI-H292 (carcinoma mucoepidermoide de pulmão humano), HEp-2 (carcinoma de laringe humana) e HL-60 (leucemia promielocitica aguda). Os testes de genotoxicidade in vivo, foram feitos pelo ensaio cometa e teste do micronúcleo. Os extratos orgânicos e o ácido úsnico purificado apresentaram porcentagem de inibição celular muito significativa (>70%), de modo que o extrato etéreo (100%) e o composto 3e (90,3%) apresentaram os melhores resultados para a linhagem celular MCF-7. O ácido úsnico purificado apresentou CI50 de 4, 97 μg/mL e 2,19 μg/mL às células NCI-H292 e HEp-2 respectivamente, enquanto que o extrato clorofórmico foi o que apresentou maior atividade frente à linhagem celular HL-60 com CI50 de 3,34 μg/mL. A análise estatística do ensaio cometa e teste do micronúcleo demonstrou que o ácido úsnico e todos os compostos derivados (3a-3f) não apresentaram valores significativos (p ≥ 0,05) quando comparados com o controle negativo. Desta forma, os compostos testados não foram genotóxicos e mutagênicos. Assim, os dados apresentados são animadores e ampliam os horizontes para realização de novos ensaios com o intuito de se aprofundar o conhecimento acerca destas novas moléculas. / The incidence of cancer is increasing at a rapid pace worldwide, which has raised interest in the search for more effective treatments. Generally, the drugs used in these therapies cause some kind of side effect may also in certain circumstances be carcinogenic. Thus assays for evaluating the genotoxic activity of these agents are needed to promote safety in using these therapeutics. The liquenicas substances have various biological activities and may be promising candidates for anticancer drugs. The objective of this study was to determine the cytotoxic activity of organic extracts and usnic acid obtained from Cladonia substellata and genotoxic effects of this lichen metabolite and their synthetic pyrazole derivatives. The organic extracts were obtained from hot extraction in a Soxhlet apparatus depletion of stem C. substellata. The usnic acid was obtained by purification of the ether extract, followed by repeated crystallisations to achieve high purity of substance. The pyrazole derivatives were synthesized by the reaction of purified usnic acid with the substituted phenylhydrazines and equivalent amount of sodium bicarbonate (NaHCO3). Thin layer chromatographic analysis (TLC) and high performance liquid (HPLC), nuclear magnetic resonance of protons (H1-NMR) and carbon 13 (C13-NMR) and infrared (IR) were performed to confirm the structure of the molecule purified usnic acid and pyrazole derivatives. The cytotoxicity assay was performed by the method of 3- [4,5-dimethylthiazol-2,5-diphenyltetrazolium bromide] (MTT assay), rated the organic extracts and the purified usnic acid of C. substellata front of tumor cell lines NCI-H292 (human pulmonary mucoepidermoid carcinoma), HEp-2 (human laryngeal carcinoma) and HL-60 (acute promyelocytic leukemia). The in vivo genotoxicity tests were made by the comet assay and micronucleus test. The organic extracts and purified usnic acid showed very significant percentage of cellular inhibition (> 70%), so that the ethereal extract (100%) and Compound 3e (90,3%) showed the best results for cell line MCF-7. The purified usnic acid showed IC50 4, 97 mg / mL and 2.19 mg / mL to NCI-H292 cells and Hep-2 respectively, while the chloroform extract showed the most activity against the HL-60 cell line with IC50 3.34 mg / mL. Statistical analysis of the comet assay and micronucleus test showed that the usnic acid and its derivative compounds (3a-3f) showed no significant differences (p ≥ 0.05) when compared to the negative control. Thus, the compounds tested were not genotoxic and mutagenic. Thus, the data presented are encouraging and broaden the horizons for new tests in order to increase knowledge about these new molecules.

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-11-24T13:22:18Z No. of bitstreams: 1 Dissertação - Jonathas S. Santos.pdf: 3617813 bytes, checksum: 3c199448ba51bb2505aa417e087f25e1 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-11-24T13:22:32Z (GMT) No. of bitstreams: 1 Dissertação - Jonathas S. Santos.pdf: 3617813 bytes, checksum: 3c199448ba51bb2505aa417e087f25e1 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-11-24T13:22:53Z (GMT) No. of bitstreams: 1 Dissertação - Jonathas S. Santos.pdf: 3617813 bytes, checksum: 3c199448ba51bb2505aa417e087f25e1 (MD5) / Made available in DSpace on 2016-11-24T13:22:53Z (GMT). No. of bitstreams: 1 Dissertação - Jonathas S. Santos.pdf: 3617813 bytes, checksum: 3c199448ba51bb2505aa417e087f25e1 (MD5) Previous issue date: 2016-02-23 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In the context of current computing, mobile platforms have been presented as one of the most growth platforms, and this is mainly by the increased popularity of mobile devices. Furthermore, such applications are becoming indispensable in the routine of their users, assuming often critical roles, due to the data they handle. In this scenario, ensuring the quality of such applications is a usual purpose in recent academic work. For this, the Software Engineering field provides methods, techniques, standards and activities that seek to ensure software quality in general. Such activities are named Verification and Validation (V&V), and Software Testing is inserted into this context. However, some activities need to be adapted on account of the characteristics involving the mobile platform. In this adaptation, the knowledge of possible failures can provide important information to supplies for utilization of testing activities, specifically to mobile applications. This thesis presents the definition of the fault model MOBPI-FM (Mobile Platform Independent - Fault Model) specific for mobile applications platform. This model was generated systematically by using the HAZOP technique (Hazard and Operability Study) and consists of three levels of use (Fault, error and defect). The fault level proposed in MOBPI-FM model was evaluated in relation to actual fault coverage through a feasibility study with 58 mobile applications in the Android platform. The results indicated that 86% of the defects were evaluated covered by the model / No contexto da computação atual, plataformas móveis têm se apresentado como uma das plataformas de maior crescimento, e isso se deve principalmente pelo aumento da popularidade dos dispositivos móveis. Com isso, tais aplicações estão se tornando indispensáveis na rotina dos seus usuários, assumindo muitas vezes papéis críticos, por conta dos dados que manipulam. Diante desse cenário, garantir a qualidade de tais aplicações é uma busca constante em trabalhos acadêmicos mais recentes. Para isso, a Engenharia de Software fornece métodos, técnicas, critérios e atividades que buscam garantir a qualidade de software de um modo geral. Tais atividades são denominadas Verificação e Validação (V&V), sendo que Teste de Software está inserido nesse contexto. Porém algumas atividades necessitam ser adaptadas, por conta das características que envolvem a plataforma móvel. No contexto dessa adaptação, o conhecimento prévio de possíveis falhas pode fornecer informações importantes para fornecer insumos para aplicação de atividades de teste especificamente para o contexto de aplicações móveis. Esta dissertação apresenta a definição do modelo de falhas MOBPI-FM (MOBile Platform Independent – Fault Model) específico para aplicações construídas para plataforma móvel. Esse modelo foi gerado de forma sistemática utilizando a técnica HAZOP (Hazard and Operability Study) e é composto por três níveis de utilização (Falha, Erro e Defeito). O nível de falhas proposto no modelo MOBPI-FM foi avaliado em relação a cobertura de falhas reais por meio de um estudo de viabilidade realizado com 58 aplicações móveis da plataforma Android. Os resultados indicaram que 86% das falhas avaliadas foram cobertas pelo modelo.

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-12-15T18:14:06Z No. of bitstreams: 1 Dissertação - Isabel K. V. Rojas.pdf: 4369495 bytes, checksum: 92fd0a46d83a7bace55dd126266a19c4 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-12-15T18:14:22Z (GMT) No. of bitstreams: 1 Dissertação - Isabel K. V. Rojas.pdf: 4369495 bytes, checksum: 92fd0a46d83a7bace55dd126266a19c4 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-12-15T18:14:38Z (GMT) No. of bitstreams: 1 Dissertação - Isabel K. V. Rojas.pdf: 4369495 bytes, checksum: 92fd0a46d83a7bace55dd126266a19c4 (MD5) / Made available in DSpace on 2016-12-15T18:14:38Z (GMT). No. of bitstreams: 1 Dissertação - Isabel K. V. Rojas.pdf: 4369495 bytes, checksum: 92fd0a46d83a7bace55dd126266a19c4 (MD5) Previous issue date: 2016-09-12 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Due high popularization of cloud services and the use of a wide range of mobile devices with different environments and platforms, a new model to offer software test service emerged, called Testing as a Service (TaaS). It uses cloud infrastructure to provide on-demand testing services on cloud for end users at any time. Nowadays there are many studies about different services about TaaS. Based on this scenario, we propose a framework, called Automated Mobile Testing as a Service (AM-TaaS), which offers automated test for mobile applications based, preliminary, on App Quality Alliance (AQuA)’s test criteria. This research evaluated the proposed framework through two empirical studies. Firstly, a proof of concept regarding the feasibility of the proposed framework and a second study in a controlled environment to evaluate the proposed framework when compared to another local environment for testing in mobile applications. The experimental results of both studies indicate that the test service is feasible using cloud resources. The running time of the test process in AM-TaaS was less than a Local Environment Test usually used by developers or testers. In addition, a positive attitude of testers was perceived regarding the use of AM-TaaS.Due high popularization of cloud services and the use of a wide range of mobile devices with different environments and platforms, a new model to offer software test service emerged, called Testing as a Service (TaaS). It uses cloud infrastructure to provide on-demand testing services on cloud for end users at any time. Nowadays there are many studies about different services about TaaS. Based on this scenario, we propose a framework, called Automated Mobile Testing as a Service (AM-TaaS), which offers automated test for mobile applications based, preliminary, on App Quality Alliance (AQuA)’s test criteria. This research evaluated the proposed framework through two empirical studies. Firstly, a proof of concept regarding the feasibility of the proposed framework and a second study in a controlled environment to evaluate the proposed framework when compared to another local environment for testing in mobile applications. The experimental results of both studies indicate that the test service is feasible using cloud resources. The running time of the test process in AM-TaaS was less than a Local Environment Test usually used by developers or testers. In addition, a positive attitude of testers was perceived regarding the use of AM-TaaS. / Devido à alta popularização de serviços em nuvem e o uso de uma ampla variedade de dispositivos móveis com diferentes ambientes e plataformas, um novo modelo para oferecer serviço de teste de software surgiu. Chamado de Teste como Serviço (do inglês Testing as a Service – TaaS), o qual usa a infraestrutura da nuvem para fornecer serviços de teste sob demanda para usuários finais a qualquer momento. Muitos estudos apresentam os servidos oferecidos por TaaS e suas vantagens. Com base neste cenário, este trabalho propõe um arcabouço, chamado “Automated Mobile Testing as a Service” identificado com as siglas “AM-TaaS” (Automação de Testes para Aplicações Móveis como Serviço), que oferece testes automatizados para aplicações móveis baseados em critérios de teste. Os critérios de teste usados preliminarmente para esta pesquisa foram os critérios publicados pela App Quality Alliance (AQuA). Esta pesquisa avaliou o arcabouço proposto por meio de dois estudos experimentais. Um primeiro, uma prova de conceito sobre a viabilidade do arcabouço proposto e um segundo estudo em ambiente controlado para avalição do arcabouço proposto em comparação a um outro ambiente local de teste de aplicações móveis. Os resultados de ambos os estudos indicaram que é possível e viável o serviço de teste utilizando recursos na nuvem. O tempo de execução de todo o processo de teste no AM-TaaS foi inferior ao uso do Ambiente de Teste Local usualmente utilizada pelos desenvolvedores ou testadores. Além disso, uma atitude positiva foi percebida por parte dos testadores enquanto ao uso desse modelo de serviço de teste.

Foi investigado o valor diagnóstico da resposta alérgica cutânea à tuberculina e do ELISA indireto, com antígeno recombinante MPB 70, em leitões experimentalmente sensibilizados, pela via intramuscular, com suspensões oleosas de M. bovis ou M. avium inativados. Foram utilizados 91 animais divididos em quatro grupos. Os grupos A e B, cada um com 25 indivíduos, grupos C e D com 21 e 20 indivíduos respectivamente, balanceando-se as características de raça, linhagem, faixa etária e sexo. Aos 21 dias de idade, todos os animais foram submetidos a uma triagem com a aplicação de tuberculina PPD de M. bovis, pela via intradérmica na base da orelha e não houve qualquer tipo de reação. Decorridos 60 dias do teste tuberculínico de triagem, o grupo A, recebeu injeção intramuscular de 0,5 mL de uma suspensão oleosa de M. avium estirpe D4; o grupo B, recebeu 0,5 mL de uma suspensão oleosa de M. bovis estirpe AN5; o grupo C (controle I), recebeu 0,5 mL do adjuvante oleoso e o grupo D (controle II), recebeu 0,5 mL de solução fisiológica. Foi realizado o exame histopatológico de biopsias das reações cutâneas e a colheita de sangue para o teste de ELISA de captura. Após 30 dias da sensibilização, foi efetuada a prova de tuberculinização comparativa com reação medida pela variação da espessura da pele com paquímetro às 0h, 24h, 48h e 72h, após a aplicação das tuberculinas. No teste comparativo, lido às 72 horas, a reação foi considerada negativa quando a diferença das reações entre o PPD bovino e o PPD aviário foi menor que 6,7 mm; suspeito ou inconclusivo quando a diferença se situou na faixa de 6,7 a 7,5 mm; e positiva para o tipo de PPD, considerando-se tuberculose para PPD M. bovis e micobacteriose para PPD M. avium, quando a diferença da reação foi superior a 7,5 mm. Nos exames histopatológicos, foi observado intenso infiltrado inflamatório linfocitário no local das reações intradérmicas dos animais testados com o PPD homologo ao tipo de micobactéria utilizada na suspensão oleosa sensibilizante. O ensaio de ELISA com antígeno, MPB 70 recombinante, foi capaz de revelar a presença de anticorpos contra o M. bovis, porém não revelou anticorpos para M. avium. / The diagnostic value of the cutaneous allergic response to tuberculin and Indirect ELISA test was investigated using MPB 70 recombinant antigen, in piglets experimentally sensitized intramuscularly with the oily suspensions of inactivated M. bovis or M. avium. The ninety-one animals used were divided into four groups. The groups A and B were formed each with 25 individuals, and groups C and D, with 21 and 20 individuals, respectively, balancing the characteristics of race, ancestry, age and sex. At the age of 21 days, all the animals were submitted to the screening test with the use of M. bovis PPD, by the intradermal route at the base of the ear and no reaction was detected. Sixty days after the screening tuberculin test, animals of the group A were injected intramuscularly with 0.5 mL of oily suspension of M. avium D4 strain; animals of group B received 0.5 mL of an oily suspension of M. bovis, AN5 strain; and the members of group C (control I) received 0.5 mL of an oily adjuvant and the individuals of group D (control II) received 0.5 mL of saline solution. Histological examinations of biopsies of skin reactions were carried out and blood collections made for capture ELISA. Following 30 days of sensitization, comparative skin reactions were measured by the variation in skin thickness with a caliper at 0h, 24h, 48h an 72h after applications of tuberculins. In the comparative test measured at 72h, the reaction was considered negative when the difference of the reactions between bovine PPD and avian PPD was less than 6.7 mm; suspected or inconclusive, when the difference stood in the range of 6.7 to 7.5 mm; and positive according to the type of PPD, considering tuberculosis the M. bovis PPD and mycobacteriosis the M. avium PPD, when the difference of the reaction was greater than 7.5 mm. In histopathological examinations, intense lymphocytic inflammatory infiltrate were observed at the site of intradermal reactions of the animals tested with PPD homologous to the type of mycobacteria used in sensitizing oil suspension. The ELISA assay with MPB 70 recombinant antigen was able to reveal the presence of antibodies against M. bovis, but did not reveal antibodies to M. avium.

Um dos pontos fundamentais na atividade de teste de software é o projeto de casos de teste. Diversos critérios de adequação têm sido propostos com o objetivo de fornecer meios que permitam que a avaliação e elaboração de casos de teste sejam feitas de maneira sistemática e fundamentadas teoricamente. Infelizmente, a maioria dos critérios de adequação de casos de teste definidos tem seu uso restrito ao teste de unidade. Para fases posteriores da atividade de teste, em particular para o teste de integração, nota-se a ausência de critérios de adequação, principalmente porque os critérios propostos definem requisitos de teste que se restringem aos limites de uma única unidade, não exercitando de maneira efetiva as interações entre as unidades, que devem ser alvo principal no teste de integração. Com exceção de alguns poucos trabalhos que procuram estender critérios estruturais para o nível interprocedimental, tem-se utilizado nessa fase de teste, quase que exclusivamente, critérios funcionais. Dada essa ausência de critérios e salientando ainda o caráter complementar entre as diferentes técnicas de teste, esta tese apresenta um critério de teste interprocedimental baseado em defeitos chamado de Mutação de Interface. Esse critério busca exercitar as interações entre as unidades através da seleção de casos de teste que distingam mutantes criados pela introdução de defeitos típicos e que, de acordo com um modo definido, caracterizamos erros de integração. Definiu-se um conjunto de operadores de Mutação de Interface que concentram sua aplicação em pontos do programa relacionados com as interações entre as unidades, como, por exemplo, chamadas de subprogramas e seus parâmetros. Dados o alto custo de aplicação, inerente de critérios baseados em mutação, e pelas próprias características do conjunto de operadores de Mutação de Interface, torna-se necessário definirem-se abordagens para reduzir esse custo. Assim, foram estabelecidas maneiras de se parametrizar a aplicação dos operadores de mutação, definindo-se critérios de Mutação de Interface alternativos, estendendo-se abordagem sutilizadas no teste de mutação convencional como mutação restrita. A aplicação de um critério de teste está fortemente condicionada à sua automatização. A definição de um critério de teste sem que pelo menos se apontem soluções para sua automatização tem pouca utilidade prática. Por isso, especificou-se e implementou-se a ferramenta PROTEUM/IM para apoiar a aplicação do critério Mutação de Interface. Essa ferramenta torna-se essencial neste trabalho à medida que permite que estudos empíricos possam ser realizados, avaliando o critério proposto. Dois estudos de caso são apresentados. Esses estudos aplicam o critério Mutação de interface em programas reais e buscam avaliar seu custo e sua eficácia em revelar erros. Estes estudos aplicam ainda critérios alternativos, mostrando que a Mutação de interface é bastante efetiva em revelar erros o de ter custo de aplicação bastante reduzido, quando aplicada de maneira incremental, utilizando-se as parametrizações que os operadores de mutação oferecem. / The project of test cases is one of the most important topics in the software testing activity. Several criteria have been proposed aiming at allowing the evaluation and selection of test cases in a systematic and theoretically well founded way. Unfortunately, the use of most of these criteria is restricted to the unit testing phase. For other testing phases, in particular for integration testing. there is a lack of such criteria, mainly because the existing criteria define test requirements only in the scope of a single unit. They arc not able to effectively exercise the interactions between units, what should be the focus of integration testing. Excepting some few works that extend structural criteria to the interprocedural level, only functional testing has been used at integration testing phase. Given this lack of criteria and the complementary characteristics of different testing techniques, this thesis presents an interprocedural fault based criterion named Interface Mutation. This criterion exercises the interactions between units through the selection of test cases that distinguish mutants created by introducing typical faults that characterize integration errors. A set of Interface Mutation operators was defined. The focus of these operators are the points of the program related to the unit interactions, for instance, subprogram calls and their parameters. Given the high cost associated to mutation testing in general and particularly to the Interface Mutation operators, it is necessary to define some approaches to reduce its application cost. Thus, some parameterizations were defined to the mutation operators, allowing to establish alternative Interface Mutation criteria, extending approaches already used in conventional mutation testing, as random mutation and constrained mutation. The application of any testing criterion strongly depends on its automatization. The definition of a criterion, without pointing out ways to its implementation has little practical utility. So, a tool named PROTEUM/IM was specified and implemented to support the application of Interface Mutation. This tool is an essential point in the present work because it allows the conduction of empirical studies aiming at evaluating the proposed criterion. Two case studies arc presented. In these studies the criterion Interface Mutation is applied to real programs and the cost of its application as well as its errors revealing effectiveness are evaluated. Alternative criteria are also used. Showing that Interface Mutation is very effective to reveal errors and can be applied with a reduced cost if used in an incremental way, taking advantage of the parameterization characteristics provided by the Interface Mutation operators set.

Grandes saltos tecnológicos viabilizaram a integração de circuitos digitais de alta complexidade, com centenas de pinos e milhões de transistores. Sistematicamente, dispositivos eletromecânicos estão sendo substituídos por Circuitos Integrados (CIs) que contêm sistemas inteiros, ampliando o uso generalizada da eletrônica. Com o aumento da complexidade e quantidade de CIs produzidos, a tarefa de detectar de forma rápida e eficiente aqueles chips com problemas assumiu grande importância. Como a Testabilidade [McClu 86] de um CI afeta sua qualidade, um circuito que não é completamente testável, para um determinado modelo de falha, tem menos valor que outro inteiramente testável [De Mi 94]. Em estudos sobre confiabilidade, desempenho, custos e Testabilidade de circuitos VLSI verificou-se que o custo associado ao processo de testes de circuitos VLSI estava praticamente estabilizado, enquanto outros componentes do preço final do chip caíam. Por estas razões, a Testabilidade foi incorporada ao projeto desde suas concepções iniciais, apresentando geralmente resultados com menor Sobreárea e mínimo impacto no desempenho, quando comparado a CIs produzidos sem considerações relacionadas a testes. Uma técnica de teste que dispensa o uso de Equipamento Automático de Teste, conhecida como Autoteste Incorporado (em inglês, Built-In Self-Test – BIST), consiste em adaptar partes do próprio CI para gerar Vetores de Teste, comprimir e analisar os resultados. A técnica BIST tem sido empregada com sucesso em ambientes de projeto de Síntese de Alto Nível (High Level Synthesis, HLS), que tende a reduzir o tempo de projeto de um ASIC, auxiliando a determinação da arquitetura RTL [Stru et al. 99]. Nesta dissertação, considera-se uma forma específica de BIST, o structural off-line BIST [Abr et al. 90], em que o Autoteste se dá quando o CI digital é retirado de sua operação normal e colocado em modo teste, para que um Plano de Teste para Unidades Funcionais seja executado (na fase de manufatura e/ou de serviço em campo). O Plano de Teste, baseado em uma descrição estrutural do CI, é gerado por um algoritmo concebido para detectar os registradores que devem ser reconfigurados em Geradores de Padrões de Teste (em inglês, Test Pattern Generators, TPGs) e Analisadores de Assinatura (Signature Analyzers, SAs). O critério de seleção dos registradores baseia-se numa Função Custo, que avalia globalmente o grau de compartilhamento de cada registrador candidato, e a contribuição que a sua eventual escolha causaria no tempo final de teste. Os Registradores de Teste, reconfigurados em Autômatos Celulares (Cellular Automata, CAs), devem operar segundo um “Rule Number”, neste caso, Regra 90 ou 150. A tarefa do Autoteste paralelo é dividida em duas etapas: na primeira, a cada uma das Unidades Funcionais é associado o melhor momento possível para início de sua sessão de teste, resultando na construção gradativa de uma Matriz de Estado de Teste, e na segunda, com a Matriz de Estado de Teste já totalmente definida, é feita uma análise global para minimizar o número de candidatos a registrador de teste. O resultado final é um Plano de Teste Otimizado definindo as regras dos TPGs (TPG90 e/ou TPG150), o custo em termos de Sobreárea, o início da geração dos Vetores de Teste, sua duração e a Cobertura de Falha mínima. / Great technological developments have made possible the integration of digital circuits of high complexity, with hundreds of pins and million of transistors. Electromechanical devices are being systematically substituted for Integrated Circuits (ICs) that contain complete systems, extending the generalized use of electronics. With the increasing complexity and amount of ICs, the task of detecting faulty chips in a fast and efficient way has assumed great importance. As testability [McClu 86] affects the quality of an IC, a circuit that is not fully testable for one determined fault model has less value than another which is entirely testable [De Mi 94]. It was verified in studies on reliability, performance, costs and testability of VLSI circuits that the cost associated with tests was practically stabilized, while other components of the final price fell. For these reasons, testability was incorporated in the design since its initial conception, producing generally minor area overhead and minimum impact on the performance, when compared to ICs produced without test considerations. One test technique that eliminates de needs for use of Automatic Test Equipment, known as BIST - Built-In Self-Test, consists of adapting parts of the IC to generate Test Vectors, compress and analyze the results. The BIST technique has been used successfully in design of HLS - High Level Synthesis - environments, which tends to reduce the ASIC’s design time, easing the task of determining the RTL architecture [Stru et al. 99]. In this dissertation a specific form of BIST, the structural off-line BIST [Abr et al. 90], is considered. To start the self-test it is necessary to halt the normal operation of the digital IC and put it in test mode, so that a Test Plan for Functional Units is executed (in the phase of manufacture and/or in the field). The Test Plan based on the structure of the IC is generated by an algorithm conceived to detect the registers which will be reconfigured in TPGs - Test Pattern Generators, and SAs - Signature Analyzers. The criterion for selection of the registers is based on a Cost Function, which globally evaluates the degree of sharing of each register candidate, and the contribution that its eventual choice would cause in the final test time. The Test Registers reconfigured in CAs – Cellular Automata - must operate according to a “Rule Number”, in this case Rule 90 or 150. The task of the parallel self-test is divided into two stages: in the first one, to each Functional Unit is associated the best possible moment for its test session beginning, resulting in the gradual construction of a Test Status Matrix, and in the second, with the Test Status Matrix completely defined, a global analysis is made to minimize the number of register candidates. The final result is an Optimized Test Plan, which defines the rules of the TPGs (TPG90 and/or TPG150), the area overhead cost, the beginning of the Test Vector Generation, its duration and the minimum Fault Coverage.