Diversas pesquisas apoiam e investigam o teste de programas concorrentes, as quais objetivam, principalmente, a proposição de critérios de teste e mecanismos para execução das diferentes sincronizações entre processos ou threads. As características específicas dessas aplicações podem ocasionar diferentes tipos de defeitos, os quais, em sua maioria, não são facilmente identificados. Nesse contexto, a geração automática de dados de teste pode apoiar a atividade de teste atuando na seleção de entradas mais representativas, ou seja, aquelas com maior probabilidade de revelar defeitos. Apesar disso, poucas pesquisas abordam este tema no contexto de programas concorrentes, e as existentes não consideram aspectos importantes desse tipo de aplicação. A geração de dados de teste para programas sequenciais dispõe de uma variedade de técnicas que apoiam a seleção dos dados de teste. Essas técnicas têm sido estendidas para o contexto de programas concorrentes partindo da premissa que esses programas necessitam de abordagens mais complexas para seleção de entradas, em decorrência disso um maior custo é imposto ao teste. Considerando esse contexto, uma lacuna ainda em aberto é a avaliação das técnicas para o cenário de programas concorrentes. Neste trabalho a avaliação das técnicas foi explorada por meio da realização de estudos experimentais, os quais avaliaram diferentes técnicas de geração de dados de teste para o contexto de programas concorrentes, considerando a eficácia em revelar defeitos, cobertura de critérios e custo para atividade de teste. Os resultados obtidos demonstraram que as técnicas empregadas para programas sequenciais não atingem o mínimo esperado para este tipo aplicação. Apesar disso, as técnicas investigadas apresentaram características importantes que podem auxiliar a atividade de teste para programas concorrentes e a proposição de abordagens efetivas de geração de dados para esse contexto. / The concurrent program testing has been largely investigated with propositions of testing criteria and mechanisms, which aim mainly to testing criteria proposition and mechanisms for execution of different synchronizations. The specific characteristics of these applications can lead to the different types of faults, which, in most of cases, are not easily identified. In this context, the automatic test data generation can support the testing activity acting in selecting the most representative data tests, i.e. those most likely to reveal faults. Nevertheless, few studies address this issue in the context of concurrent programs, and the these studies do not consider important aspects of this type of application. In contrast, we can find several techniques proposed to support the test data generation for sequential programs. These techniques have been extended to the context of concurrent programs on the premise that these programs require more complex approaches for selection of test data. As a result, a greater cost for testing activity is enforced. Considering this context, a gap still open is the evaluation of techniques for the scenario of concurrent programs. In this work the evaluation of techniques was explored through experimental studies, which different techniques of test data generatoon were evaluated, considering effectiveness, testing coverage and application cost. The results showed that the generation techniques used for sequential programs used in the experimental study do not reach the minimum expected in terms of effectiveness and cost for concurrent programs. Nevertheless, the techniques investigated showed significant features that can help the proposition of effective approaches for test data generation applied to concurrent programs.

A dependência tecnológica da sociedade atual e a flexibilidade necessária para constantes mudanças exigem produtos de software corretos e disponíveis para uso. Os testes são atividades intrínsecas à produção de software e ultimamente vêm ganhando importância como um negócio empresarial próprio, independente do desenvolvimento e com perspectivas de crescimento. Essa atividade é substancialmente prestação de serviço, uma vez que entrega qualidade a respeito de um produto de software e cuja avaliação só pode ser feita de acordo com parâmetros de julgamento do cliente, além de considerar a presença e ingerência do cliente em boa parte do processo de teste. O Brasil é reconhecidamente um dos mais importantes centros de excelência em testes de software e tem se distinguido também na execução de forma independente, o que tem provocado rearranjo de papéis, responsabilidades e forças na atuação da cadeia de valor do software. Este trabalho procura responder como se organizam as operações das empresas de testes independentes de software (ETIS) de forma a torná-las singulares e específicas. Grande parte das pesquisas nesse tema têm se concentrado em questões técnicas de como modelar bons testes de software, registrando-se pouca reflexão sobre temas organizacionais nessa área. Para tanto, foi elaborado um modelo conceitual de organização das operações, capaz de revelar a singularidade da atividade empresarial. O modelo foi submetido a avaliação por meio de um estudo de casos múltiplos, envolvendo seis ETIS e também organizações brasileiras clientes e desenvolvedoras de software. A pesquisa revelou importantes práticas empresariais das ETIS. Destacam-se os seguintes pontos: perfil empresarial empreendedor e inovador, preocupação na entrega de serviço contendo o maior quantidade possível de não-conformidades, constituição de um portfólio diversificado e substantivo de projetos de teste, integração de sistemas produtivos tipo fábrica e personalizado e uso cada vez maior de automação nos processos. A experiência daqueles que vêm utilizando os serviços das ETIS tem comprovado um aumento efetivo no nível de qualidade do software e o mercado, por sua vez, tem refinado os critérios de seleção das ETIS, exigindo-lhes alta maturidade. / Technology dependence of modern society and the flexibility to accommodate constant changes require correct and ready software products. Testing activities are intrinsic to the software production, which lately have been gaining importance as an independent business and broad prospects for growth. This activity is substantially service because it deliveries software product quality which evaluation can only be made according to client\'s trial parameters, besides considering their presence and interference in much of the testing process. Brazil is recognized as an excellence center leading in software testing issues and has also distinguished itself in independent performance, which has caused rearrangement of roles, responsibilities, actions and powers in the software value chain relationships. This paper attempts to answer how to organize the independent software testing enterprises (ETIS) business operations, in order to make this business model unique and specific. Software testing research has focused more on technical issues, especially about how to model and specify good software testing and less about organizational issues. This research aims a conceptual model of organizational operations, able to reveal the uniqueness of business activity. The proposal was subjected to evaluation using a multiple case study involving six ETIS and also other Brazilian organizations as customers and software developers. The research revealed important business practices of ETIS, which have ensured the success of the enterprise and business profitability. It was highlight the following points: entrepreneurial and innovative business profile, high concern in service delivery as software product quality, establishment of a portfolio of diverse and substantive testing projects, factory and custom productive systems integration and increasing use of automation in testing processes. The experience of those who have used ETIS services has proven an effective increase in the level of software quality and software value chain has refined the ETIS selection criteria, requiring them high level of maturity.

Tendo em vista a grande atenção e aceitação que vem sendo dadas ao Paradigma Orientado a Objetos (OO) por parte de pesquisadores e desenvolvedores de software, uma das preocupações atuais do grupo de Engenharia de Software do ICMC-USP é o estabelecimento e validação de estratégias de teste de programas OO. Entre os interesses de pesquisa do grupo de Engenharia de Software do ICMC estão o Teste Baseado em Fluxo de Dados e o Teste de Mutação, que tiveram sua origem na década de 70. Considerando que o paradigma OO vem se destacando como uma das tendências de desenvolvimento de software, o que pode ser observado pelo grande número de programas desenvolvidos à luz desse paradigma, o presente trabalho visa a caracterizar o estado atual do teste de software OO tanto em termos de técnicas e critérios correntemente utilizados como em termos de ferramentas de teste de software disponíveis. A identificação e avaliação de critérios e ferramentas de suporte para o teste de software OO darão subsídios para a definição de novos estratégias de teste e para a especificação e implementação de ferramentas de apoio no contexto de software OO. / Having in mind the great attention and acceptance that have been given to de Object-Oriented (OO) paradigm by researches and developers, one of the current concerns of the ICMC-USP Software Engineering Group is the establishment and validation of testing strategies of OO programs. Among the research interests of the ICMC-USP Software Engineering Group are the Data Flow and Mutation based testing that had their origin in the 70 s. Considering that the paradigm OO has been highlighted as one of the software development tendencies, what can be observed by the great number of programs developed in the light of this paradigm, the aim of this work is to characterize the current state of OO software test both in terms of available tools and the underlying techniques and criteria. The identification and evaluation of criteria and tools for the OO software test will provide subsidies for the definition of new testing strategies and for the specification and implementation of supporting tools in the context of OO software.

Teste de Software tem o objetivo de executar um programa sob teste com o objetivo de revelar suas falhas, portanto é uma das fases mais importante do ciclo de vida do desenvolvimento de um software. A testabilidade é um atributo de qualidade fundamental para o sucesso da atividade de teste, pois ela pode ser entendida como o esforço necessário para criar, executar e avaliar os casos de teste em um software. Este atributo não é uma qualidade intrínseca do software, portanto não pode ser medido diretamente como a quantidade de linhas de código, por exemplo. Entretanto, ela pode ser inferida por meio das características ou métricas internas e externas de um software. Entre as características comumente utilizadas na análise da testabilidade estão as métricas CK, que foram propostas por Chidamber e Kemerer com objetivo de analisar software orientado a objetos. A maioria dos trabalhos nesta linha, entretanto, relaciona o tamanho e a quantidade de casos testes com a testabilidade de um software. Entretanto, é fundamental analisar a qualidade dos testes para saber se eles atingem os objetivos para os quais foram propostos, independente de quantidade e tamanho. Portanto, este trabalho de mestrado apresenta um estudo empírico sobre a relação entre as métricas CK e a testabilidade de um software com base na análise da adequação de seus casos de teste unitários, critérios de teste estrutural e de mutação. Inicialmente foi realizada uma Revisão Sistemática cujo objetivo foi avaliar o estado da arte da testabilidade e as métricas CK. Os resultados mostraram que apesar de existirem várias pesquisas relacionadas ao tema, existem lacunas que motivam novas pesquisas no que concerne a análise da qualidade dos testes e identificação das características das métricas que podem ser inferidas para medir e analisar a testabilidade. Em seguida, foram realizadas duas análises empíricas. Na primeira análise, as métricas foram analisadas por meio da correlação das métricas CK com a cobertura de linha de código, cobertura de \\textit (arestas, ramos ou desvio de fluxo) e escore de mutação. Os resultados desta análise demonstraram a importância de cada métrica dentro do contexto da testabilidade. Na segunda análise, foi realizada uma proposta de clusterização das métricas para tentar identificar grupos de classes com características semelhantes relacionadas à testabilidade. Além das análises empíricas, foi desenvolvida e apresentada uma ferramenta de coleta e análise de métricas CK com objetivo de contribuir com novas pesquisas relacionados a proposta deste projeto. Apesar das limitações das análises, os resultados deste trabalho mostraram a importância de cada métrica CK dentro do contexto da testabilidade e fornece aos desenvolvedores e projetistas uma ferramenta de apoio e dados empíricos para melhor desenvolverem e projetarem seus sistemas com o objetivo de facilitar a atividade de teste de software / Software testing have aim to run a program under test with the aim of revealing its failures, so it is one of the most important phases of the software development lifecycle. Testability is a key quality attribute for the success of the test activity, because it can be understood as the effort required to create, execute and evaluate test cases in software. This attribute is not an intrinsic quality of the software, so it can not be measured directly as the number of lines code, for example. However, it can be inferred through the or internal and external metrics of a software. Among the features commonly used in testability analysis are CK metrics, which were proposed by Chidamber and Kemerer in order to analyze object-oriented software. Most of the works in this line, however, relate the size and quantity of test cases with software testability. However, it\'s critical to analyze the quality of the tests to see if they achieve the objectives for which they were proposed, independent of quantity and size. Therefore, this Master\'s degree work presents an empirical study on the relationship between CK metrics and software testability based on the analysis of the adequacy of its unit test cases, structural test criteria and mutation. Initially, a Systematic Review was carried out to evaluate the state of the art of testability and CK metrics. The results showed that although there are several researches related to the subject, there are gaps that motivate new research in what concerns the analysis of the quality of the tests and identification of the features of the metrics that can be inferred to measure and analyze the testability. Two empirical analyzes were performed. In the first analysis, the metrics were analyzed through the correlation of the CK metrics with the code line coverage, branch coverage or mutation score. The results of this analysis showed the importance of each metric within the context of testability. In the second analysis, a metric clustering proposal was made to try to identify groups of classes with similar features related to testability. In addition to the empirical analysis, a tool for the collection and analysis of CK metrics was developed and presented, with aim to contribute with new researches related to the proposal of this project. Despite the limitations of the analyzes, the results of this work showed the importance of each CK metric within the context of testability and provides developers and designers with a support tool and empirical data to better develop and design their systems with the aim of facilitate the activity of software testing

Estudo de desenvolvimento metodológico de elaboração e validação de medidas de avaliação em saúde, que teve como finalidade contribuir com novas políticas de controle e prevenção de infecção hospitalar (CIH). Para tanto, foram construídos e validados três indicadores de avaliação de práticas de controle e prevenção da infecção hospitalar do trato urinário associada a cateter, conforme duas etapas metodológicas. Na primeira, tendo como referência bases conceituais de indicadores clínicos e medidas de avaliação em saúde, foram elaborados os indicadores: 1-Indicação e Permanência do Cateterismo Vesical (IUIC); 2- Condições de Manutenção do Cateterismo Vesical (IUMN) e 3- Infra-Estrutura para Procedimento de Cateterismo Vesical (IUIF). Na segunda etapa estes indicadores foram submetidos à validação de conteúdo, por meio de um método de validação opinativa de um grupo de nove especialistas, constituído de médicos e enfermeiras, com conhecimento e experiência em controle de infecção hospitalar, e representantes das áreas hospitalar, acadêmica, órgão governamental e entidades associativas. A validação foi realizada com o julgamento de cada indicador a partir de um instrumento previamente elaborado, que contemplava as seguintes etapas: I- Conteúdo do construto (manual operacional) do indicador; II- Atributos do conjunto do indicador; III- Componentes do indicador. O indicador 3 foi submetido, ainda, a mais uma etapa, referente à valoração, pelos juízes, de cada um de seus componentes. Foi previamente estabelecido um consenso mínimo de 75% de julgamento favorável dos juízes, de cada uma destas etapas. Em cada etapa solicitava-se também comentários e sugestões para ajuste dos indicadores. Nos resultados, os indicadores 1 e 2 obtiveram consenso favorável mínimo na grande maioria dos aspectos sob avaliação de cada etapa. Nos aspectos que não obtiveram consenso favorável mínimo as sugestões e comentários efetuados pelos juízes tornaram possível o ajuste destes indicadores e sua validação de conteúdo, sem necessidade de retorno aos juízes para novo julgamento. O indicador 3, apesar de ter obtido amplo consenso favorável nas etapas II e III, o mesmo não ocorreu em vários aspectos referentes à etapa I, assim como na valoração de relevância dos seus componente individuais. Além disto, os comentários e sugestões efetuados constataram a problemática deste indicador para avaliar adequadamente o que ele se propunha. Por este motivo, ele não pôde ser validado, na forma de construção originalmente apresentada. / This is a study on the methodological development of elaboration and validation of measures to evaluate health aiming to contribute to new control rules and to prevent nosocomial infection (CIH). Then, three evaluation indicators of control and prevention of nosocomial infection in the urinary tract associated to a catheter were built in accordance with two methodological phases. In the first phase, based on the conceptual basis of clinical indicators and evaluation measures in health, the indicators were elaborated: 1 - Indication and Permanence of Vesical Catheterism (IUIC); 2 – Maintenance Conditions of Vesical Catheterism (IUMN) and 3 – Infrastructure for procedures of Vesical Catheterism (IUIF). In the second phase, these indicators were submitted to a content validation by means of a validation method according to one group of nine experts, constitued of physicians and nurses, with knowledge and experience in nosocomial infection and representatives of the hospital, academic and governmental areas and associative institutions. The validation was performed according to judgment of each indicator based on a instrument previously elaborated, consisting of: I- Construct Content (operational guidebook) of the indicator; II- Features of the indicator set; III- Components of the indicator. The indicator 3 was still submitted to one more phase regarding valorization of each component, according to the judges. A minimum consensus of 75% of favorable arbitration from the judges was previously established for each phase. In each phase it was also asked comments and suggestions to adjust indicators. In the results, indicators 1 and 2 obtained a minimum favorable consensus in the great majority of the evaluating aspects for each phase. The aspects which did not obtain the minimum favorable consensus, suggestions and comments made by the judges made possible an adjustment of these indicators and their content validation, with no need of the judges to return for a new arbitration. The indicator 3, in spite of obtaining a comprehensive favorable consensus in the phases II and III, the same did not occur in many aspects of the phase I as well as in the relevance valoration of its individual components. Additionally, the comments and sugestions performed, considered the problematic of this indicator to adequatly evaluate its objective. Therefore, it could not be validated on its original construction.

Neste estudo, avaliamos a estabilidade temporal de 59 variáveis principais do Sistema Compreensivo do Rorschach (SCR). Nossa amostra foi composta por 32 adultos nãopacientes da cidade de São Paulo, participantes voluntários. Eles poderiam receber os resultados da avaliação após a coleta dos dados. Predominaram mulheres (75%), indivíduos solteiros (50%), das classes A (41%) e B (41%), com idades de 19 a 58 anos e média de 13 anos de instrução. Vinte e cinco participantes (78%) eram funcionários da universidade onde se realizou a pesquisa, dois (6%) eram alunos e cinco (16%) eram conhecidos dos funcionários. Utilizamos um delineamento de teste-reteste com intervalo de 3 a 4 meses ente as testagens. Os protocolos foram coletados e codificados pelo autor da pesquisa. Um segundo avaliador codificou, de modo independente, 10 protocolos do teste e 10 protocolos do reteste, sorteados. A fidedignidade inter-codificadores foi substancial (iota > 0,60) para a maioria das variáveis. A média das correlações de teste-reteste para as 59 variáveis centrais do SCR foi r = 0,61, o que corresponde a um nível moderado de estabilidade temporal. Investigamos também a direcionalidade das proporções e a consistência das categorias interpretativas. Entre 44% e 70% dos participantes permaneceu na mesma categoria interpretativa no teste e no reteste. Os resultados de estabilidade temporal encontrados foram menores do que os das pesquisas originais do SCR, mas semelhantes aos de um estudo francês recente. A estabilidade das constelações foi alta, com pelo menos 88% dos participantes mantendo o mesmo status negativo ou positivo no teste e no reteste. Fatores como a restrição de faixa de valores e assimetria não parecem explicar a menor estabilidade temporal encontrada na nossa amostra, mas a distribuição dos valores das variáveis, incluindo a maior freqüência de participantes com escores iguais a zero e a presença de escores extremos, pode ter contribuído. Na nossa amostra, o nível de engajamento na tarefa aparentemente foi semelhante ao da amostra normativa da cidade de São Paulo, mas menor do que nas pesquisas originais do SCR. O menor engajamento na tarefa pode ter contribuído para a menor estabilidade temporal encontrada. Fatores relacionados à situação de testagem também parecem ter desempenhado importante papel nos resultados. Os usuários brasileiros devem ter cuidado ao interpretar os resultados obtidos com o SCR, principalmente frente a protocolos com baixo nível de engajamento na tarefa (identificados por R baixo e Lambda alto). Mais pesquisas brasileiras com o SCR são necessárias, inclusive para investigar procedimentos que promovam maior engajamento na tarefa, e que assim possam contribuir para uma maior fidedignidade e validade dos resultados obtidos. / We have evaluated the temporal stability of 59 Rorschach Comprehensive System (RCS) core variables. Our sample was composed of 32 nonpatients adults from the city of São Paulo, who volunteered to participate. They could have access to assessment results after the data collection. Participants were predominantly women (75%), single individuals (50%), from socioeconomic classes A (41%) and B (41%), with ages from 19 to 58 and 13 years of education on average. Twenty-five participants (78%) were employees from the university where the research was accomplished, two (6%) were students at the university and five (16%) were acquaintances of the employees. We used a test-retest design with a 3 to 4 months retest interval. All records were collected and codified by the author. A second rater independently coded 10 records from test and 10 records from retest, randomly selected. Interrater reliability was substantial (iota > .60) for most RCS variables. The mean test-retest correlation for the 59 core variables was r = .61, which indicates a moderate level of temporal stability. We also investigated directionality of proportions and categorical consistency. Between 44% and 70% of the participants were in the same interpretive category on test and retest. These results were lower than the original RCS research, but similar to the findings of a recent French study. Temporal stability for constellations was high, with at least 88% of the participants keeping the same negative or positive status on test and retest. Range restriction and skewness did not seem to explain the lower stability found in our sample, but the distributions of values for some variables, with a high frequency of participants with scores of zero and outliers, may have contributed. Task engagement in our sample apparently was similar to that found for the normative sample of adults from São Paulo, but lower than in the original RCS research. Lower task engagement may have contributed to the lower temporal stability. Factors of the testing situation seem to have played an important role in the results also. Brazilian users should take care in interpreting RCS results, mainly when task engagement is low (indicated by low R and high Lambda). More research with RCS in Brazil is needed, also to investigate procedures for obtaining higher task engagement, which may contribute to higher reliability and validity of test results.

Apresenta a padronização de um novo teste, o “R-2 Teste não-verbal de inteligência para crianças", que avalia o fator G da inteligência, com normas, análise de itens e estudos de precisão e validade. A amostra foi composta por 1554 crianças do município de São Paulo, de 5 a 11,5 anos, sorteadas em proporção de matriculados da rede oficial de ensino em cada tipo de escola: estadual, municipal e particular. Apresenta também os resultados da pesquisa piloto a partir dos quais foi proposta nova ordem de apresentação dos itens do teste, segundo o grau de dificuldade e o tipo de raciocínio empregado. Foram analisadas as variáveis: idade, sexo e tipo de escola que a criança freqüenta, este último como indicativo do nível sócio-econômico. As médias de pontos mostraram crescimento progressivo com a idade. Não houve diferenças significantes entre os sexos. Foram encontradas diferenças significantes entre os tipos de escola: pública (estadual e municipal) e particular, sendo as normas apresentadas em percentis para a amostra global e separadas para os dois tipos de escola. A nova ordem dos itens mostrou-se adequada, porém alguns itens poderão ser revistos para contribuírem de melhor forma na discriminação dos resultados do teste. O teste apresentou coeficientes de precisão e de validade satisfatórios, especialmente para as idades maiores. Os resultados sugerem que o teste seja revisto para as idades de cinco e seis anos. / This research presents the standardization of a new test, the “R-2: Non-verbal test of intelligence for children", that evaluates the G factor of intelligence, including norms, item analysis, reliability and validity studies. The sample was composed by 1554 children of the city of São Paulo, with ages ranging from 5 to 11,5 years. The sample was selected randomly among pupils of state, municipal and private schools and their representation was directly proportional to the number of students enrolled in each school type. From results of a preliminary research a new order of presentation of items was proposed, according to the difficulty level and the kind of reasoning employed. The results were compared by age, sex and type of school that child attends, this last as an index of socioeconomic level. The means scores increased progressively with age. There were no significant differences among sexes. Significant differences were found among school types: public (state and municipal) and private. For this reason, percentile norms were established to the global sample and specific norms to the two types of school. The new order of the items showed itself adequate, although some items could be revised to contribute better to the discrimination of test results. The test presented satisfactory reliability and validity coefficients, especially for the higher ages. The results suggest that the test should be revised for the ages of five and six years.

Teste de software desempenha um papel fundamental no processo de produção de um produto de software de qualidade. Com o passar dos anos, diversas técnicas e critérios de teste de software foram desenvolvidos a fim de estabelecer meios e métricas para guiar a criação de casos de teste efetivos, capazes de evidenciar defeitos no produto avaliado. Dentre os principais critérios para teste de software está o Teste de Mutação, que foi amplamente difundido e é tido como uma das abordagens mais eficazes para guiar a criação de conjuntos de casos de teste capazes de revelar defeitos em software. Entretanto, à medida que esse critério possui uma grande efetividade para revelar defeitos, ele peca pelo baixo poder de escalabilidade, o que acaba comprometendo diretamente a sua capacidade de aplicação. Neste sentido, diversos estudos foram desenvolvidos nesta área dedicando-se a aprimorar o seu desempenho e torná-lo uma alternativa viável para aplicação durante a fase de teste de software. Este trabalho apresenta indícios de que a utilização de estruturas complexas de processamento pode apoiar a aplicação do Teste de Mutação. Para tal, foi concebida uma arquitetura que possibilite a aplicação do Teste de Mutação em paralelo. Após a implementação da arquitetura foram avaliados cinco algoritmos de balanceamento de carga responsáveis por controlar a distribuição e execução do Teste de Mutação. Durante a avaliação experimental da arquitetura e dos algoritmos, observou-se que nos piores cenários avaliados foi possível atingir um ganho de desempenho acima de 70% em relação à aplicação sequencial convencional do Teste de Mutação enquanto nos melhores cenários o ganho de desempenho foi acima 95%, contudo, necessitando utilizar-se de uma infraestrutura mais robusta para a execução da arquitetura. / Software testing plays a fundamental role in the development process of quality software systems. Over the years, many software testing techniques and criteria were developed to provide means and metrics to guide the development of effective test cases, able to find defects on the product being assessed. Among major criteria for software testing is the mutation testing, which was broadly broadcast and is likely one of the most effective approaches for creating sets of test cases able to uncover software bugs. However, although mutating testing has a great effectiveness to uncover defects in a product, it suffers from low scalability, which directly compromises its applicability. In this sense, many studies were developed in this area aiming at improving the performance of that criterion and make it a viable alternative for its application throughout the software testing process. This work presents evidence that the use of complex structures of processing can support mutation testing application. For this, it was established an architecture that enables mutation testing to be performed in parallel. After implementing the architecture, five load balance algorithms to controlling the distribution and execution of mutation testing were analyzed. During the experimental evaluation of the architecture and algorithms, it was observed that in the worst evaluated scenarios it was possible to reach a gain in performance of up to 70% in comparison to the conventional application (sequential). In the best scenarios the gain was over 95% in exchange of using a more robust infrastructure for the execution of the architecture.

O estudo das não linearidades das séries temporais da microviga de um microscópio de força atômica tem sido essencial para o desenvolvimento e aperfeiçoamento deste equipamento de ampliação de imagens. Não linearidades podem aparecer com frequência nos experimentos, afetando significativamente a resposta prevista de forma que estas instabilidades se concretizam em imagens ruins. Esta tese apresenta resultados obtidos através de uma abordagem experimental e teórica. Buscou-se aperfeiçoar modelos clássicos de osciladores do microscópio de força atômica melhorando seu comportamento caótico através da observação dos resultados dos experimentos. A identificação de sistemas é feita pelo método de espaço de estados. Outra abordagem de séries temporais obtidas através de um microscópio de força atômica torna possível a reconstrução de espaço de estados, utilizando-se de técnicas como informação mútua, falsos vizinhos e defasagem de tempo. Analisa-se também o comportamento caótico das séries temporais usando o teste 0-1 e escala indexada em quatro experimentos que resultam em um mapa que relaciona a altura que a microviga vibra com o coeficiente do teste 0-1 e com a escala indexada. / The study of time series nonlinearities of the cantilever\'s atomic force microscope has been essential to the development and improvement of this image magnification equipment. Nonlinearities may appear frequently in the experiments, significantly affecting expected response in a way that these instabilities generate bad images. This thesis presents results obtained through an experimental and theoretical approach accordingly. We attempted to improve the classical models of oscillators atomic force microscope improving its chaotic behavior by observing the results of the experiments. The system identification is made by method space state. Another approach to time series obtained through an atomic force microscope makes it possible to reconstruct space phase, using techniques such as mutual information and false neighbors delay. It is analyzed chaotic behavior time series by using the 0-1 test and scale index in four experiments resulting in a map that relates the height of cantilever deflections with the 0-1 test coefficient and the indexed scale.

Um importante mecanismo da arquitetura orientada a serviços é o componente de registro de serviços. Ele permite a interação entre provedores e clientes, oferecendo um meio de acesso aos serviços desenvolvidos e publicados no registro. Nesta dissertação é proposto o desenvolvimento de um registro de serviços para dar apoio à publicação, busca e classificação de serviços Web, em particular, àqueles relacionados a ferramentas de teste de software. Uma limitação comum dos serviços de registro refere-se às buscas realizadas, pois são basicamente sintáticas e podem trazer resultados pouco relacionados aos interesses do usuário. Para resolver este problema uma ontologia de teste foi adaptada e incorporada ao registro com o objetivo de oferecer facilidades de busca e agregar informação semântica nos serviços registrados. Uma arquitetura genérica baseada em serviços para o domínio de engenharia de software é apresentada e instanciada para o domínio de teste de software com o objetivo de auxiliar no entendimento e implementação do registro de serviços proposto. Também são apresentados exemplos de ferramentas de teste publicadas no registro e um exemplo de busca e interação com o serviço de teste JaBUTiWS, previamente publicado no registro, que tem por objetivo apoiar o teste estrutural de componentes e serviços / An important mechanism of Service Oriented Architecture is the service registry (or service broker). It allows interaction among providers and consumers, offering a point to access the services developed and published in the registry. In this dissertation we propose the development of a service broker to support the publication, search and categorization of Web services, particularly those related to software testing tools. A common limitation of service brokers refers to searching facilities since they are primarily syntactic and thus can bring results that are not well related with the user\'s interest. To tackle this problem a test ontology was adapted and incorporated into the broker with the aim of improving the likelihood of finding the correct service in searches and also to add semantic information to the registered services. A generic service oriented architecture for the software engineering domain is presented and instantiated to the software testing domain with the purpose of facilitating the understanding and implementation of the proposed service registry. We also present some examples of software testing tools published in the registry and an example of search and interaction with the JaBUTiWS testing service, previously published in the registry, which aims to support structural testing of components and services