A Programação Orientada a Aspectos (POA) é uma técnica contemporânea de desenvolvimento de software fortemente baseada no princípio da separação de interesses. Ela tem como objetivo tratar de problemas de modularização de software por meio da introdução do aspecto como uma nova unidade de implementação que encapsula comportamento relacionado aos interesses transversais do software. A despeito dos benefícios que podem ser alcançados com o uso da POA, seus mecanismos de implementação representam novas potenciais fontes de defeitos que devem ser tratados durante a fase de teste de software. Nesse contexto, o teste de mutação consiste em um critério de seleção de testes baseado em defeitos que tem sido bastante investigado para demonstrar a ausência de defeitos pré-especifiados no software. Acredita-se que o teste de mutação seja uma ferramenta adequada para lidar com as particularidades de técnicas de programação contemporâneas como a POA. Entretanto, até o presente momento, as poucas iniciativas para adaptar o teste de mutação para o contexto de programas orientados a aspectos (OA) apresentam cobertura limitada em relação aos tipos de defeitos simulados, ou ainda requerem adequado apoio automatizado e avaliações. Esta tese visa a mitigar essas limitações por meio da definição de uma abordagem abrangente de teste de mutação para programas OA escritos na linguagem AspectJ. A tese inicia como uma investigação da propensão a defeitos de programas OA e define uma taxonomia de defeitos para tais programas. A taxonomia inclui uma variedade de tipos de defeitos e serviu como base para a definição de um conjunto de operadores de mutação para programas OA. Suporte automatizado para a aplicação dos operadores também foi disponibilizado. Uma série de estudos quantitativos mostra que a taxonomia de defeitos proposta é suficiente para classificar defeitos encontrados em vários sistemas OA. Os estudos também mostram que os operadores de mutação propostos são capazes de simular defeitos que podem não ser relevados por conjuntos de teste pré-existentes, não derivados para cobrir mutantes. Além disso, observou-se que o esforço requerido para evoluir tais conjuntos de teste de forma a torná-los adequados para os requisitos gerados pelos operadores / Aspect-Oriented Programming (AOP) is a contemporary software development technique that strongly relies on the Separation of Concerns principle. It aims to tackle software modularisation problems by introducing the aspect as a new implementation unit to encapsulate behaviour required to realise the so-called crosscutting concerns. Despite the benefits that may be achieved with AOP, its implementation mechanisms represent new potential sources of faults that should be handled during the testing phase. In this context, mutation testing is a widely investigated fault-based test selection criterion that can help to demonstrate the absence of prespecified faults in the software. It is believed to be an adequate tool to deal with testing-related specificities of contemporary programming techniques such as AOP. However, to date, the few initiatives for customising the mutation testing for aspect-oriented (AO) programs show either limited coverage with respect to the types of simulated faults, or a need for both adequate tool support and proper evaluation. This thesis tackles these limitations by defining a comprehensive mutation-based testing approach for AO programs written in the AspectJ language. It starts with a fault-proneness investigation in order to define a fault taxonomy for AO software. Such taxonomy encompasses a range of fault types and underlay the definition of a set of mutation operators for AO programs. Automated tool support is also provided. A series of quantitative studies show that the proposed fault taxonomy is able to categorise faults identified from several available AO systems. Moreover, the studies show that the mutation operators are able to simulate faults that may not be revealed by pre-existing, non-mutation-based test suites. Furthermore, the effort required to augment the test suites to provide adequate coverage of mutants does not tend to overwhelm the testers. This provides evidence of the feasibility of the proposed approach and represents a step towards the practical fault-based testing of AO programs

As atividades de teste automatizado contribuem significativamente para a redução de custos e a produtividade do projeto durante o processo de desenvolvimento de software. O teste automatizado reduz o esforço humano e aumenta a qualidade do produto final. No entanto, a alta complexidade da saída produzida pelos SUT (do inglês, System Under Test) contemporâneos limita, em alguns casos, a aplicação de estratégias de teste automatizadas. Sistemas com saídas gráficas/áudio, imagens tridimensionais, interfaces gráficas com o usuário e alguns aplicativos da Web são exemplos de sistemas com saídas complexas. A falta de oráculos automatizados de teste leva à aplicação de testes executados manualmente pelo próprio testador (oráculo humano), de modo informal, ad-hoc e improdutivo. Uma possível contribuição para aliviar esforços do testador é a implementação de oráculos de teste baseados na extração de características das saídas do SUT. Resultados de trabalhos anteriores mostram que tal abordagem contribui para o aumento da produtividade do teste, mitigando e complementando os esforços manuais. Este trabalho de mestrado propõe e avalia oráculos de teste automatizados para sistemas cujas saídas consistem em imagens médicas tridimensionais. Para tanto, é explorado o framework O-FIm/CO (do inglês, Oracle for Images and Complex Outputs) que utiliza conceitos de Recuperação de Imagens Baseada em Conteúdo (do inglês, Content-Based Image Retrieval CBIR) como uma forma de automatizar oráculos de teste. Além de adaptações e extensões do framework, desenvolveram-se plug-ins que representam extratores de características de imagens médicas tridimensionais de vasos sanguíneos. Para evidenciar a eficácia da abordagem, foram conduzidos dois estudos experimentais objetivando avaliar a eficácia e a precisão dos oráculos de teste baseados em características na avaliação desse tipo de imagem. Além disso, realizou-se um estudo experimental comparando os oráculos de teste baseados em características e oráculos humanos. Os resultados evidenciam a eficácia da abordagem como uma estratégia promissora para automatizar atividades de teste, contribuindo para a redução de tempo e esforços gerados por abordagens manuais durante a avaliação da qualidade de sistemas geradores de imagens médicas tridimensionais. / Automated testing activities significantly contribute to cost reduction and project productivity during the software development process. Automated testing reduces human effort and increases the quality of the final product. However, the high complexity of contemporary SUT outputs limits, in some cases, the application of automated test strategies. Systems with graphical/audio outputs, three-dimensional imaging, graphical user interfaces and some web applications are examples of systems with complex outputs. The lack of automated test oracles leads to the application of manual tests performed by the tester (human oracle) in an informal, ad-hoc and unproductive manner. One possible contribution to alleviate the testers efforts is to implement test oracles based on the extraction of characteristics from the SUT outputs. Results from previous work show that such an approach contributes to increase test productivity, mitigating and complementing manual efforts. This dissertation proposes and evaluates automated test oracles for systems whose outputs consist of three-dimensional medical images. To do so, the framework O-FIm/CO (Oracle for Images and Complex Outputs) that uses CBIR (Content-Based Image Retrieval) concepts is explored as a strategy to automate test oracles. In addition to adaptations and extensions of the framework, plug-ins were developed which represent extractors of three-dimensional medical image characteristics of blood vessels. To demonstrate the efficacy of the approach, two experimental studies were conducted to evaluate the efficacy and accuracy of feature-based test oracles in the evaluation of such images. Moreover, an experimental study was conducted to compare feature-based test oracles with human oracles. The results show the efficacy of the approach as a promising strategy to automate testing activities, contributing to the reduction of time and effort generated by manual approaches during the quality assessment of three-dimensional medical imaging systems.

A atividade de teste de software tem recebido considerável atenção de pesquisadores e engenheiros de software que reconhecem a sua utilidade na criação de produtos de qualidade. No entanto, os testes são caros e propensos a erros, o que impõe a necessidade de sistematizar e, portanto, a definição de técnicas para aumentar a qualidade e produtividade na sua condução. Várias técnicas de teste têm sido desenvolvidas e têm sido utilizadas, cada um com características próprias em termos de eficácia, custo, fases de aplicação, etc. Sistemas de realidade virtual frequentemente utilizam uma estrutura hierárquica denominada grafo de cena para representar as características dos objetos em um ambiente virtual tridimensional. Os grafos de cena também armazenam informações sobre o relacionamento entre os objetos, permitindo respostas adequadas ao usuário quando ocorrem interações. Neste trabalho, critérios de teste baseados em grafo de cena são estudados e definidos afim de aumentar a qualidade de aplicações de realidade virtual. Além disso, estudos de caso são apresentados, utilizando os critérios definidos aplicados a um framework de realidade virtual construído para gerar aplicações na área médica, além de utilizar uma aplicação de demonstração. Como forma de apoio aos critérios definidos foi desenvolvida uma ferramenta de teste capaz de verificar se os nós, que representam os objetos virtuais na cena, satisfazem seus requisitos conforme foram especificados / The activity of software testing has received considerable attention from researchers and software engineers who recognize its usefulness in creating quality products. However, the tests are expensive and prone to errors, which imposes the need to systematize and hence the definition of techniques to increase quality and productivity in their driving. Several testing techniques have been developed and have been used, each with its own characteristics in terms of effectiveness, cost, implementation stages, etc. Moreover, these techniques can also be adapted. In this work, test criteria based on scene graph are studied and defined in order to increase the quality of the Virtual Reality software. In addition, case studies are presented, using the criteria applied to a framework built to generate virtual reality applications in medicine, in addition to using a demo application. As a form of support to the criteria a testing tool was developed. It verifies whether the nodes that represent the virtual objects meet their requirements as they were specified

As pesquisas para padronização de instrumentos de avaliação de resultados terapêuticos têm sido produtivas, uma vez que a aproximação entre a pesquisa e a prática clínica permite ao profissional perceber a importância dessa avaliação de processo e de resultados. Com isto, a necessidade dos psicólogos contarem com instrumentos de avaliação, capazes de auxiliá-los nessa tarefa, tem se mostrado cada vez mais essencial. No entanto, a carência de instrumentos válidos para a realidade brasileira impõe limitações a estes profissionais. O Outcome Questionnaire - OQ-45.2 é um dos instrumentos utilizados para avaliar os ganhos obtidos pelo paciente na psicoterapia, com pesquisas realizadas em vários países. Trata-se de uma escala do tipo Likert de cinco pontos, dividida em três subescalas: desconforto subjetivo (SD), relações interpessoais (IR) e desempenho do papel social (SR). Esta pesquisa teve o objetivo de avaliar as propriedades psicométricas da versão em português do OQ-45.2. A amostra foi composta por 419 participantes adultos, subdivididos em dois grupos, um de pacientes (N = 59) e outro de não pacientes (N = 360), sendo 156 homens e 263 mulheres, com idades variando de 18 a 78 anos. O estudo de precisão do OQ-45.2 foi realizado pelo método de teste-reteste, com intervalo de 7 a 14 dias, e o alfa de Cronbach. Para a escala total a precisão pelo reteste foi de 0,895 e para as subescalas variou de 0,756 a 0,883, indicando estabilidade temporal satisfatória. O alfa de Cronbach para a escala total foi de 0,95, semelhante ao do estudo americano (0,93). Os dados de validade foram obtidos pela correlação entre o resultado global e os das subescalas, por meio da comparação entre grupos contrastantes de pacientes e não pacientes e da validade simultânea com a Escala de Avaliação de Sintomas (EAS-40), o Inventário de Depressão de Beck (BDI II) e o Questionário Geral de Saúde (QSG). As correlações das subescalas com a pontuação total e entre as subescalas foram significantes, mas a subescala SR mostrou correlações menores que as outras. Foram obtidas diferenças estatisticamente significantes (p < 0,001) entre as médias dos dois grupos, o que mostra a sensibilidade da escala para avaliação dos pacientes. O resultado do OQ 45.2 se correlacionou significativamente com os três instrumentos utilizados para o estudo de validade, sendo que as correlações com os escores totais dos instrumentos foram: 0,80 com a EAS-40, 0,83 com o BDI-II e 0,88 com o QSG. Também foram calculadas as correlações entre cada item com o escore total do OQ-45.2, tendo sido encontrados quatro itens com correlações menores do que 0,20. Assim os estudos psicométricos indicaram a adequação da escala para o uso no Brasil, embora ainda seja necessária a confirmação de sua estrutura fatorial e de estudos referentes a mudanças obtidas na psicoterapia / Researches for standardization of therapeutic assessment tools have been productive, since the connection between research and clinical practice allows the professional to realize the importance of the assessment process and results. In this way, the psychologists need of available assessment tools, which can assist them in this task, has become ever more essential. However, the lack of valid instruments to the Brazilian reality imposes limitations to these professionals. The Outcome Questionnaire - OQ-45.2 is one of the instruments used to measure the patients progress in psychotherapy and it was studied in several countries. It is a Likert five points scale, divided into three subscales: Symptom Distress (SD), Interpersonal Relationships (IR) and Social-Role performance (SR). The goal of this research was to assess the psychometric properties of the OQ-45-2 Portuguese version. The sample was composed by 419 adult participants, divided in two groups, one group of patients (N = 59) and the other of non-patients (N = 360), 156 men and 263 women, age ranging from 18 to 78 years. The reliability study of the OQ-45.2 was conducted by the test-retest method, using intervals ranging from 7 to 14 days, and by the Cronbach\'s alpha coefficient. The retest reliability for the total score was 0.895 and for the subscales ranged from 0.756 to 0.883, indicating satisfactory temporal stability. The Cronbach\'s alpha for the total scale was 0.95, similar to the American study (0.93). The validity data were obtained by correlations between the total score and the subscales scores; by comparing contrasting groups of patients and non patients and concurrent validity with the Symptom Assessment Scale (EAS-40) Beck Depression Inventory (BDI II) and the General Health Questionnaire (GHQ). Correlations of the subscales with the total score and subscales scores were significant, but the SR subscale showed lower correlations than others. Differences between the means of two groups were significant statistically (p <0.001), which shows the sensitivity of the scale to assess patients. The results of OQ-45.2 correlated significantly with the three tests used in validity study and correlations between the total scores of the tests were 0.80 with the EAS-40, 0.83 with the BDI-II and 0.88 with the GHQ. Correlations total of total score of OQ-45.2 with each item were also calculated and were found four items correlations lower than 0.20. Therefore, the psychometric studies indicated the appropriateness of the scale for use in Brazil, although it is still necessary the confirmation of its factor structure and studies regarding changes obtained in psychotherapy

Contexto: Embora diversas técnicas de teste de software tenham sido propostas para o contexto da programação concorrente, as informações sobre elas encontram-se de dispersas na literatura, não oferecendo uma caracterização apropriada e dados relevantes que possam auxiliar a compreensão e consequente aplicação efetiva dessas técnicas, dificultando o processo de transferência de conhecimento entre a academia e a comunidade interessada. Objetivo: Nesse contexto, o principal objetivo deste trabalho é oferecer subsídios, na forma de um framework, que seja capaz de apoiar a caracterização e seleção sistemática de técnicas de teste de software concorrente. Metodologia: Para atender esse objetivo, foi construído um corpo de conhecimento que reúne de maneira integrada informações relevantes ao processo de tomada de decisão sobre qual técnica de teste aplicar a um determinado projeto de software. Um design de experimentos é definido, funcionando como guia para condução de estudos empíricos que podem ser usados para a realimentação, atualização e evolução do corpo de conhecimento. Buscando sistematizar o processo de seleção de técnicas de teste, é definido um esquema de caracterização que considera as principais características da programação concorrente que influenciam a atividade de teste de software e calcula a adequação desses atributos aos atributos do projeto em desenvolvimento. Resultados e Conclusões: A fim de permitir que a comunidade interaja com o framework proposto, foi disponibilizada uma infraestrutura computacional que permite o acesso ao corpo de conhecimento e automatiza o processo de seleção de técnicas de teste de software concorrente. O estudo experimental conduzido para avaliação da proposta, mostrou que a abordagem contribui de maneira efetiva para caracterizar, comparar e quantificar a adequabilidade baseada em atributos, melhorando consideravelmente o processo de seleção de técnicas de teste para software concorrente segundo as expectativas dos usuários. / Background: Although a variety of concurrent software testing techniques have been proposed for the concurrent programming context, the information about them are scattered in the literature, not offering an appropriate characterization and relevant data that can aid the understanding and consequently the effective application of these techniques, hindering the process of knowledge transfer between the academia and the interested community. Objective: In this context, the main objective of this work is to provide subsidies in form of a framework which will be able to support the characterization and systematic selection of concurrent software testing techniques. Methodology: In order to meet this objective, a body of knowledge has been built that brings together, in an integrated way, information relevant for the decision-making process about what testing technique should be applied in a specific software project. A design of experiments is defined as a guide for conducting empirical studies that can be used for feedback, updating, and evolution of the body of knowledge. With the objective of systematizing the process of testing techniques selection is defined a characterization scheme that considers the main characteristics of the concurrent programming that influence the testing activity and calculates the adequacy for these attributes in comparison with the software project in development. Results and Conclusions: In order to allow the community interaction with the proposed framework was provided a computational infrastructure that allows access to the body of knowledge and the automation of the selection process. The empirical study conducted to evaluate the proposal showed that the approach effectively contributes to characterize, compare and quantify the adequacy based on the attributes, improving the selection process of concurrent software testing techniques according to the users expectations.

Concurrent programming has become an essential paradigm for reductions in the computational time in many application domains. However, the validation and testing activity is more complex than the testing for sequential programs due to the non-determinism, synchronization and inter-process communication. Mutation testing is based on mistakes produced by software developers and presents a high effectiveness to reveal faults. However, high computational costs limit its applicability even for sequential code, becoming higher for concurrent programs in which each test has to be executed with different (ideally all) thread schedules. To date, only selective mutation have been applied to reduce the number of mutants in concurrent programs, however, the problem of state explosion of thread schedules still remains. This Ph.D. thesis presents the SBBMuT approach that applies deterministic execution and genetic algorithm for the generation and execution of a set of synchronization sequences during the mutation testing of Java multithreaded programs. An experimental study was conducted, and the results showed that the set of synchronization sequences generated by SBBMuT achieved a higher mutation score in comparison with the use of the Java PathFinder model checking tool. / A programação concorrente tornou-se um paradigma essencial para a redução no tempo computacional em muitos domínios de aplicação. No entanto, as atividades de verificação, validação e teste são mais complexas do que o teste para programas sequenciais devido ao não determinismo, sincronização e comunicação entre processos ou threads. O teste de mutação é baseado em enganos cometidos por desenvolvedores de software e apresenta uma alta eficácia para revelar defeitos. No entanto, o alto custo computacional limita a sua aplicação mesmo para programas sequenciais, e tornando-se maior para programas concorrentes no qual cada teste deve ser executado com diferentes (idealmente todas) sequências de sincronizações. Na literatura, apenas mutação seletiva foi aplicada para reduzir o número de mutantes em programas concorrentes, no entanto, o problema de explosão no número de sequências de sincronização ainda permanece. Esta tese de doutorado apresenta a abordagem SBBMuT que aplica execução determinística e algoritmo genético para a geração e execução de um conjunto de sequências de sincronização durante o teste de mutação para programas Java multithread. Um estudo experimental foi conduzido e os resultados mostram que o conjunto de sequências de sincronização gerada pela SBBMuT conseguiu alcançar um escore de mutação maior em comparação com a utilização da ferramenta de validação de modelos Java PathFinder.

O Teste do Progresso é uma estratégia para avaliação do ganho de conhecimento longitudinal. Foi implementado no curso de Odontologia da Universidade da Cidade de São Paulo (UNICID), com metodologia tradicional de ensino, com os objetivos de avaliar se o ganho de conhecimento dos alunos durante a graduação é contínuo, se existe perda de conhecimento das disciplinas do curso básico ao longo da graduação, e se houve retenção dos conhecimentos na disciplina de Saúde Coletiva. O teste foi aplicado duas vezes por ano, em 2007 e 2008. As provas foram compostas por 85 questões de múltipla escolha, enviadas pelos responsáveis por cada disciplina do curso. O escore médio foi calculado para cada teste por ano letivo e comparado utilizando-se ANOVA, com teste post hoc de Bonferroni. Os resultados sugerem um aumento progressivo do ganho de conhecimento, do primeiro ao quarto ano, em todos os testes (P de tendência <0,0001). A pontuação percentual média no 4° ano variou de 52% a 59%. Não houve perda no ganho cognitivo nas disciplinas básicas ao longo do curso, alcançando percentual médio de 38% a 51% para os alunos do último ano em todos os testes. A média do escore percentual para Saúde Coletiva aumentou de 36% no primeiro ano para 48% no quarto ano. Nossos resultados sugerem um ganho cognitivo progressivo do primeiro ao quarto ano em todos os testes. O Teste do Progresso parece ser uma boa ferramenta de avaliação longitudinal para verificar o ganho de conhecimento em cursos de Odontologia / Progress Testing is a strategy for evaluation of knowledge gain in a longitudinal way. It was implemented at the Dentistry course of University of the City of São Paulo (UNICID), which uses traditional methodology, with the objectives of evaluating if the knowledge gain of students is continuous, if there is loss of knowledge from basic disciplines along the graduation course and if there was a retention of knowledge in public health issues. The test was applied 2 times in the years of 2007 and 2008. The tests consisted in 85 multiple choices questions, sent by the professors in charge of each discipline. Mean percentual score was calculated for each test and graduation year and compared using ANOVA, with a post hoc Bonferroni evaluation test. The results suggest a progressive gain in knowledge from 1st to 4th year, in all tests (P trend <0,0001). The average percent score at 4th year varied from 52% to 59%. There was no loss of cognitive gain at basic disciplines along the course, ranging from 38% to 51% for the students in the last year in all tests. Average percent score for public health subjects raised from 36% in 1st year up to 48% on 4th year. Our results suggest a progressive cognitive gain from first to last (fourth) year in all tests. Progress Testing seems to be a good tool for longitudinal evaluation to verify the knowledge gain in Dentistry graduation courses

Conselho Nacional de Desenvolvimento Científico e Tecnológico / A doença de Chagas é uma doença tropical infecciosa e negligenciada responsável por um grande número de pessoas infectadas e em risco de infecção, principalmente nas regiões pobres da América Latina. No momento, apenas duas drogas, Benzonidazol e Nifurtimox, estão disponíveis para o tratamento da doença de Chagas, mas são ineficazes por apresentarem baixa taxa de cura. O Megazol é um importante representante da classe dos nitroimidazóis e é uma alternativa promissora devido ao seu potencial tripanocida com um perfil superior de ação quando comparado ao tratamento disponível. No entanto, o Megazol não é utilizado clinicamente uma vez que possui atividade mutagênica e carcinogênica relatada. O Instituto de Tecnologia em Fármacos (Farmanguinhos) desenvolveu três análogos do Megazol: PTAL 05-02 (3-amino-5-(1-metil-5-nitro-1H-imidazol-2-il)-1H-1,2,4-triazol), PAMT 09 (2-amino-N-(1-metil-4-nitro-1H-imidazol-5-il)-5-(trifluorometil)-1H-1,2,4-triazol) e PTAL 04-09 (1-(1-metil-4-nitro-1H-imidazol-5-il)-1H-pirazol). O objetivo deste trabalho é apresentar novas moléculas análogas do Megazol com atividade tripanocida, desenvolvidas a partir de estratégias racionais de desenvolvimento de substâncias bioativas ao manter o perfil farmacodinâmico do Megazol enquanto tenta diminuir ou remover o efeito genotóxico. Testes genotóxicos na avaliação segura de novas substâncias bioativas foram utilizados, de acordo com as diretrizes da OECD. O teste da Salmonella/microssoma foi utilizado na avaliação mutagênica e citotóxica, utilizando linhagens de Salmonella enterica sorovar Typhimurium, deficientes e supercompetentes na síntese de enzimas nitroredutase e acetiltransferase. O análogo PAMT 09 não foi mutagênico em nenhuma concentração e linhagem utilizada. Os análogos PTAL 05-02 e PTAL 04-09 foram mutagênicos, na ausência de S9 mix, para a linhagem TA98/1,8-DNP6. Na avaliação de citotoxicidade, os três análogos foram citotóxicos, independente de metabolização exógena S9 mix. O teste do micronúcleo, utilizando células de macrófago de rato, foi realizado para a avaliação genotóxica dos análogos do Megazol. Os três análogos foram capazes de induzir a formação de micronúcleos e apresentaram efeito citotóxico. / Chagas disease is an infectious neglected tropical disease responsible for a large number of infected people and at risk for infection, mainly in poor areas of Latin America. At the moment, there are just two drugs, Benzonidazol and Nifurtimox, available for the Chagas disease treatment, but they are ineffective since they have low cure rates. Megazol is an important representative of nitroimidazole class and it is a promising alternative because of its trypanocidal activity with a superior profile of action compared to the available treatment for Chagas disease. However, Megazol is not used clinically since its mutagenic and carcinogenic activity was reported. The Institute of Pharmaceutical Technology (Farmanguinhos) has designed 3 analogues from Megazol: PTAL 05-02 (2-amine-5-(1-methyl-5-nitro-1H-imidazole-2-yl)-1H-1,2,4-triazole), PAMT 09 (2-amine-N-(1-methyl-4-nitro-1H-imidazole-5-yl)-5-(trifluoromethyl)-1H-1,2,4-triazole) and PTAL 04-09 (1-(1-methyl-4-nitro-1H-imidazole-5-yl)-1H-pirazole). The aim of this work is to present new Megazol analogous molecules with trypanocidal activity, similar pharmacodynamic profile and less or none genotoxic effect developed using strategies of rational drug design. Genotoxic Tests for the safe evaluation of new bioactive substances were used, according to OECD guidelines. The Salmonella/microssoma test was used in the mutagenic and citotoxic evaluation using Salmonella enterica serovar Typhimurium strains lacking and overproducing nitroreductases and acetyltransferases enzymes. The PAMT 09 analogue was not mutagenic in any concentration and strain used. The PTAL 05-02 and PTAL 04-09 analogues was mutagenic, in the absence of S9 mix, to the TA98/1,8-DNP6 strain. In the citotoxic evaluation, the three analogues were citotoxic, with and without S9 mix. The micronucleus test using rat macrophage cells was used in the genotoxic evaluation of Megazol analogous. The three analogues were capable of induce the micronuclei formation and showed citotoxic effect.

A atividade de teste de software tem recebido considerável atenção de pesquisadores e engenheiros de software que reconhecem a sua utilidade na criação de produtos de qualidade. No entanto, os testes são caros e propensos a erros, o que impõe a necessidade de sistematizar e, portanto, a definição de técnicas para aumentar a qualidade e produtividade na sua condução. Várias técnicas de teste têm sido desenvolvidas e têm sido utilizadas, cada um com características próprias em termos de eficácia, custo, fases de aplicação, etc. Sistemas de realidade virtual frequentemente utilizam uma estrutura hierárquica denominada grafo de cena para representar as características dos objetos em um ambiente virtual tridimensional. Os grafos de cena também armazenam informações sobre o relacionamento entre os objetos, permitindo respostas adequadas ao usuário quando ocorrem interações. Neste trabalho, critérios de teste baseados em grafo de cena são estudados e definidos afim de aumentar a qualidade de aplicações de realidade virtual. Além disso, estudos de caso são apresentados, utilizando os critérios definidos aplicados a um framework de realidade virtual construído para gerar aplicações na área médica, além de utilizar uma aplicação de demonstração. Como forma de apoio aos critérios definidos foi desenvolvida uma ferramenta de teste capaz de verificar se os nós, que representam os objetos virtuais na cena, satisfazem seus requisitos conforme foram especificados / The activity of software testing has received considerable attention from researchers and software engineers who recognize its usefulness in creating quality products. However, the tests are expensive and prone to errors, which imposes the need to systematize and hence the definition of techniques to increase quality and productivity in their driving. Several testing techniques have been developed and have been used, each with its own characteristics in terms of effectiveness, cost, implementation stages, etc. Moreover, these techniques can also be adapted. In this work, test criteria based on scene graph are studied and defined in order to increase the quality of the Virtual Reality software. In addition, case studies are presented, using the criteria applied to a framework built to generate virtual reality applications in medicine, in addition to using a demo application. As a form of support to the criteria a testing tool was developed. It verifies whether the nodes that represent the virtual objects meet their requirements as they were specified

As atividades de teste automatizado contribuem significativamente para a redução de custos e a produtividade do projeto durante o processo de desenvolvimento de software. O teste automatizado reduz o esforço humano e aumenta a qualidade do produto final. No entanto, a alta complexidade da saída produzida pelos SUT (do inglês, System Under Test) contemporâneos limita, em alguns casos, a aplicação de estratégias de teste automatizadas. Sistemas com saídas gráficas/áudio, imagens tridimensionais, interfaces gráficas com o usuário e alguns aplicativos da Web são exemplos de sistemas com saídas complexas. A falta de oráculos automatizados de teste leva à aplicação de testes executados manualmente pelo próprio testador (oráculo humano), de modo informal, ad-hoc e improdutivo. Uma possível contribuição para aliviar esforços do testador é a implementação de oráculos de teste baseados na extração de características das saídas do SUT. Resultados de trabalhos anteriores mostram que tal abordagem contribui para o aumento da produtividade do teste, mitigando e complementando os esforços manuais. Este trabalho de mestrado propõe e avalia oráculos de teste automatizados para sistemas cujas saídas consistem em imagens médicas tridimensionais. Para tanto, é explorado o framework O-FIm/CO (do inglês, Oracle for Images and Complex Outputs) que utiliza conceitos de Recuperação de Imagens Baseada em Conteúdo (do inglês, Content-Based Image Retrieval CBIR) como uma forma de automatizar oráculos de teste. Além de adaptações e extensões do framework, desenvolveram-se plug-ins que representam extratores de características de imagens médicas tridimensionais de vasos sanguíneos. Para evidenciar a eficácia da abordagem, foram conduzidos dois estudos experimentais objetivando avaliar a eficácia e a precisão dos oráculos de teste baseados em características na avaliação desse tipo de imagem. Além disso, realizou-se um estudo experimental comparando os oráculos de teste baseados em características e oráculos humanos. Os resultados evidenciam a eficácia da abordagem como uma estratégia promissora para automatizar atividades de teste, contribuindo para a redução de tempo e esforços gerados por abordagens manuais durante a avaliação da qualidade de sistemas geradores de imagens médicas tridimensionais. / Automated testing activities significantly contribute to cost reduction and project productivity during the software development process. Automated testing reduces human effort and increases the quality of the final product. However, the high complexity of contemporary SUT outputs limits, in some cases, the application of automated test strategies. Systems with graphical/audio outputs, three-dimensional imaging, graphical user interfaces and some web applications are examples of systems with complex outputs. The lack of automated test oracles leads to the application of manual tests performed by the tester (human oracle) in an informal, ad-hoc and unproductive manner. One possible contribution to alleviate the testers efforts is to implement test oracles based on the extraction of characteristics from the SUT outputs. Results from previous work show that such an approach contributes to increase test productivity, mitigating and complementing manual efforts. This dissertation proposes and evaluates automated test oracles for systems whose outputs consist of three-dimensional medical images. To do so, the framework O-FIm/CO (Oracle for Images and Complex Outputs) that uses CBIR (Content-Based Image Retrieval) concepts is explored as a strategy to automate test oracles. In addition to adaptations and extensions of the framework, plug-ins were developed which represent extractors of three-dimensional medical image characteristics of blood vessels. To demonstrate the efficacy of the approach, two experimental studies were conducted to evaluate the efficacy and accuracy of feature-based test oracles in the evaluation of such images. Moreover, an experimental study was conducted to compare feature-based test oracles with human oracles. The results show the efficacy of the approach as a promising strategy to automate testing activities, contributing to the reduction of time and effort generated by manual approaches during the quality assessment of three-dimensional medical imaging systems.