A presente pesquisa teve o objetivo de atualizar os parâmetros psicométricos do Psicodiagnóstico Miocinético PMK. Foi estudada uma amostra composta por 210 sujeitos adultos, todos destros, divididos em quatro grupos, um com 50 mulheres depressivas, um com 50 pacientes esquizofrênicos (35 homens e 15 mulheres), um com 50 reincidentes do sexo masculino do Sistema Prisional do Estado de São Paulo, que cometeram crimes de furto e/ou roubo e um grupo de controle, com 60 participantes (29 mulheres e 31 homens). Os instrumentos utilizados foram a entrevista clínica estruturada para o DSM-IV-TR, também conhecida como SCID-NP, com a finalidade de observar a presença de morbidades entre os presos e o grupo controle e de comorbidades entre os depressivos e esquizofrênicos, o Teste Palográfico, usado como critério no estudo de validade, e o PMK. A precisão foi obtida por meio do teste-reteste, somente com os protocolos da amostra controle e a validade, pelo método de grupos contrastantes e pelo método de validade simultânea. Para a precisão, foi calculado o coeficiente de correlação de Pearson e também utilizado o teste t para determinar se existiam diferenças entre os resultados das duas aplicações. Para os grupos contrastantes foi utilizada a ANOVA de um fator e o teste Post hoc de Tukey, com a finalidade de observar possíveis diferenças significativas das medidas do PMK entre os grupos. Nesta análise, os resultados foram comparados de acordo com o gênero dos participantes. Para a validade simultânea, os dados do Tônus Vital e da Agressividade do PMK e os da Produtividade, Direção das Linhas e Ganchos do Palográfico foram transformados em nota z e correlacionados por meio do coeficiente de correlação de Pearson, primeiramente com a amostra total e posteriormente com o grupo de depressivas e com o grupo de presos, separadamente. Os resultados do estudo de precisão indicaram que boa parte das medidas e dos traçados do PMK apresentou satisfatória estabilidade temporal, não sendo encontrada nenhuma diferença significativa entre teste e reteste. Ao todo, 64% das correlações foram superiores a 0,60, e as maiores médias das correlações foram para o Tônus Vital, a Agressividade e a Dimensão Tensional. As obtidas para o Predomínio Tensional foram as que apresentaram valores mais baixos, embora as correlações entre as aplicações tenham sido, todas, moderadas. Os resultados da validade entre grupos contrastantes demonstraram que, entre as mulheres, as diferenças significativas ocorreram, principalmente, no Tônus Vital, na Emotividade e na Dimensão Tensional. Entre os homens, na Agressividade, na Emotividade (com e sem sinal no DS) e na Dimensão Tensional. Os resultados da validade simultânea revelaram que as maiores correlações ocorreram entre as medidas da Agressividade do PMK com os Ganchos à direita do Palográfico. As correlações obtidas para o Tônus Vital também foram, na maior parte dos casos, significativas. A partir desses resultados, considerou-se que o PMK possui parâmetros científicos que permitem afirmar que ele é um teste preciso e válido para discriminar quadros clínicos de não clínicos / The present research had the purpose to update psychometric parameters of the Myokinetic Psychodiagnosis PMK. Participated a sample of 210 adult subjects, all right handed, divided into four groups, the first composed by 50 depressed women, the second by 50 schizophrenic patients (35 men and 15 women), the third by 50 male prisoners from the Prison System of the São Paulo State who had rescinded thefts and/or steals crimes, and a control group with 60 participants (29 women and 31 men). The instruments used were the Structured Clinical Interview for the DSM-IV-TR, also known as SCID-NP, in order to observe the presence of morbidity among prisoners and the control group and the co morbidity among depressed and schizophrenics. The Test Palográfico, was used as the validity criterion of the PMK test. The reliability was obtained by test-retest, restricted to the control sample and validity by the method of contrasting groups and the simultaneous validity. For the reliability was calculated the Pearson correlation coefficient and also the t test was used to verify if there were differences between the test-retest results. To evaluate the validity by contrasting groups it was used the one-way ANOVA and Pos hoc Tukey test, in order to determinate possible differences of PMK measures between groups. For simultaneous validity, data from PMK Vital Tonus and Aggressiveness and Productivity, Direction Lines and Hooks of Palográfico were transformed in z scores and then correlated by Pearson correlation coefficient, using data from the total sample and from the depressive group and the prisoner group independently. Results of the reliability study indicated that most of measures of PMK had a satisfactory temporal stability and no significant difference between test and retest means was found. Altogether, 64% of correlations were above 0.60 and higher means of correlations were for the Vital Tonus, Aggressiveness and Tensional Dimension. Correlations for Tensional Predominance showed the lowest values, although they can be considered moderate. Results of contrasting groups showed that, among women, significant differences were observed mainly in Vital Tonus, Emotionality and Tensional Dimension, and among men in Aggressiveness, Emotionality (with an without DS signal) and Tensional Dimension. The concurrent validity showed that significant correlations occurred mainly between PMK Aggressiveness measures and Palográfico Hooks at right. Vital Tonus correlations were in most cases significant. These results indicate that the PMK Test presents scientific parameters that allow to confirm that its a reliable and valid test to discriminate clinical cases from those non-clinical

Este trabalho investiga a aplicação de critérios de teste para o teste de especificações do aspecto comportamental de Sistemas Reativos, descritos em Estelle e em Statecharts. A utilização de Sistemas Reativos em várias atividades humanas, requer uma maior qualidade tanto do produto como do processo de desenvolvimento, pois falhas nesses sistemas podem ocasionar riscos para vidas humanas e perdas econômicas. Os critérios de teste propostos nesta tese visam a fornecer uma medida de cobertura dos testes, permitindo que a qualidade da atividade de teste possa ser mensurada e avaliada. Esta tese apresenta contribuições para as três atividades fundamentais no contexto de teste de software, que são: definição de critérios de teste, desenvolvimento de estudos teóricos/empíricos e desenvolvimento de ferramentas. Com relação à definição de critérios de teste, é proposta a aplicação do Teste de Mutação para Estelle e a aplicação de critérios de Fluxo de Controle para Estelle e Statecharts. Para o Teste de Mutação, são identificados os tipos de erros em especificações Estelle, definidos os operadores de mutação, estratégias de teste incrementais e critérios de mutação alternativa que visam a diminuir o custo de aplicação desse critério. Para os critérios de Fluxo de Controle, foram definidas duas famílias de critérios: FCCS - Família de Critérios de Cobertura para Statecharts e FCCE - Família de Critérios de Cobertura para Estelle. Estudos teóricos são realizados visando a analisar a complexidade do Teste de Mutação para Estelle e a relação de inclusão dos critérios FCCS e FCCE. Estudos empíricos são realizados visando a comparar os critérios de teste definidos e a analisar a sua aplicação durante a simulação de especificações Estelle e Statecharts. Com relação ao desenvolvimento de ferramentas, a família de ferramentas Proteum, que apóia a aplicação do teste de Mutação, e os ambientes para simulação de especificações Estelle (EDT) e Statecharts (StaSim) fornecem uma base essencial para o desenvolvimento das ferramentas. São apresentadas algumas ponderações que devem ser consideradas para a definição de ferramentas de apoio à aplicação dos critérios propostos. / Reactive Systems are applied to several human activities and as failures in these systems may cause human or economical losses, it is required the use of high-quality software development processes that would lead to the production of high-quality products. This thesis investigates criteria for testing of Reactive Systems\' behavior specifications, specified either in Estelle or in Statecharts. These criteria systematize the testing activity and provide mechanisms for the software tests quality assessment. This thesis presents contributions to the three fundamental activities in the context of software testing, which are: definition of testing criteria, theoretical studies and tool development. In relation to the definition of testing criteria, it is proposed the use of Mutation Testing for Estelle specifications and the use of Control Flow Testing for Estelle and Statecharts specifications. For Mutation Testing, the errors types in Estelle specifications are identified; mutation operators are defined and incremental testing strategies are established. In this context, it is explored the alternative mutation criteria, which aim at reducing the cost of application of the Mutation Testing. For Control Flow Testing, two families of criteria are defined: SCCF - Statechart Coverage Criteria Family and ECCF - Estelle Coverage Criteria Family. Theoretical studies are accomplished to analyze the complexity of the Mutation Testing to Estelle and the inclusion relation for the FCCS and FCCE criteria. Case studies are conducted to evaluate the testing criteria defined in this thesis. The application of these criteria during the simulation of Estelle and Statecharts specifications is analyzed. The Proteum family tools, that support the application of Mutation Testing, and the simulation environments to Estelle (EDT) and Statecharts (StatSim) supply an essential base for tools development. Considerations about the definition of supporting tools to the application of the proposed criteria are realized.

Este trabalho investiga a aplicação de critérios de teste para o teste de especificações do aspecto comportamental de Sistemas Reativos, descritos em Estelle e em Statecharts. A utilização de Sistemas Reativos em várias atividades humanas, requer uma maior qualidade tanto do produto como do processo de desenvolvimento, pois falhas nesses sistemas podem ocasionar riscos para vidas humanas e perdas econômicas. Os critérios de teste propostos nesta tese visam a fornecer uma medida de cobertura dos testes, permitindo que a qualidade da atividade de teste possa ser mensurada e avaliada. Esta tese apresenta contribuições para as três atividades fundamentais no contexto de teste de software, que são: definição de critérios de teste, desenvolvimento de estudos teóricos/empíricos e desenvolvimento de ferramentas. Com relação à definição de critérios de teste, é proposta a aplicação do Teste de Mutação para Estelle e a aplicação de critérios de Fluxo de Controle para Estelle e Statecharts. Para o Teste de Mutação, são identificados os tipos de erros em especificações Estelle, definidos os operadores de mutação, estratégias de teste incrementais e critérios de mutação alternativa que visam a diminuir o custo de aplicação desse critério. Para os critérios de Fluxo de Controle, foram definidas duas famílias de critérios: FCCS - Família de Critérios de Cobertura para Statecharts e FCCE - Família de Critérios de Cobertura para Estelle. Estudos teóricos são realizados visando a analisar a complexidade do Teste de Mutação para Estelle e a relação de inclusão dos critérios FCCS e FCCE. Estudos empíricos são realizados visando a comparar os critérios de teste definidos e a analisar a sua aplicação durante a simulação de especificações Estelle e Statecharts. Com relação ao desenvolvimento de ferramentas, a família de ferramentas Proteum, que apóia a aplicação do teste de Mutação, e os ambientes para simulação de especificações Estelle (EDT) e Statecharts (StaSim) fornecem uma base essencial para o desenvolvimento das ferramentas. São apresentadas algumas ponderações que devem ser consideradas para a definição de ferramentas de apoio à aplicação dos critérios propostos. / Reactive Systems are applied to several human activities and as failures in these systems may cause human or economical losses, it is required the use of high-quality software development processes that would lead to the production of high-quality products. This thesis investigates criteria for testing of Reactive Systems\' behavior specifications, specified either in Estelle or in Statecharts. These criteria systematize the testing activity and provide mechanisms for the software tests quality assessment. This thesis presents contributions to the three fundamental activities in the context of software testing, which are: definition of testing criteria, theoretical studies and tool development. In relation to the definition of testing criteria, it is proposed the use of Mutation Testing for Estelle specifications and the use of Control Flow Testing for Estelle and Statecharts specifications. For Mutation Testing, the errors types in Estelle specifications are identified; mutation operators are defined and incremental testing strategies are established. In this context, it is explored the alternative mutation criteria, which aim at reducing the cost of application of the Mutation Testing. For Control Flow Testing, two families of criteria are defined: SCCF - Statechart Coverage Criteria Family and ECCF - Estelle Coverage Criteria Family. Theoretical studies are accomplished to analyze the complexity of the Mutation Testing to Estelle and the inclusion relation for the FCCS and FCCE criteria. Case studies are conducted to evaluate the testing criteria defined in this thesis. The application of these criteria during the simulation of Estelle and Statecharts specifications is analyzed. The Proteum family tools, that support the application of Mutation Testing, and the simulation environments to Estelle (EDT) and Statecharts (StatSim) supply an essential base for tools development. Considerations about the definition of supporting tools to the application of the proposed criteria are realized.

Made available in DSpace on 2015-05-08T14:57:17Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 3191819 bytes, checksum: 142a338f10b5b1c73f589237be4728c2 (MD5) Previous issue date: 2014-02-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This work aims to carry out an analysis of the main existing testing strategies for FPGA, and propose a new strategy applied to the interconnection network of the Xilinx Spartan 3E FPGA based on linear feedback shift register synthesized by Berlekamp Massey Algorithm that can accurately localize the failure. For this, we used softwares from Xilinx manufacturer (specifically, XDL and FPGA_editor) to determine the FPGA based configuration and than create a new proposal and evaluate their employability. As a result of the proposed strategy, it was possible to route 7 WUTs (Wires Under Test) of total of 8 for the FPGA under investigation. Thus, it was necessary 24 test configurations to test and locate the failure on all hexlines and doublelines. The results show that this strategy is able to test 7 WUTs at a time and needs 24 test configurations to test and diagnose precisely the failure location. / Este trabalho objetiva realizar uma análise das principais estratégias de teste já existentes para FPGA, e propor uma nova estratégia aplicada à rede de interconexão do FPGA Xilinx Spartan 3E baseada em registradores de deslocamento com realimentação linear sintetizável pelo Algoritmo de Berlekamp-Massey e que possa diagnósticar com precisão o local da falha. Para isso, foram utilizados softwares da fabricante de FPGAs Xilinx (especificamente, XDL e FPGA_editor) para determinar precisamente a configuração do FPGA e, assim, criar uma nova proposta e avaliar sua empregabilidade. Como resultado, a partir da estratégia adotada foi possível rotear 7 WUTs (Wires Under Test) em um total de 8 para o FPGA em questão. Sendo assim, foram necessárias 24 configurações de teste para testar e diagnósticar todas as linhas do tipo HexLine e DoubleLine. Os resultados obtidos mostram que a estratégia proposta é capaz de testar 7 WUTs por vez e necessita de 24 configurações para testar e diagnósticar precisamente o local da falha na rede de interconexão.

As técnicas de teste podem ser divididas, num primeiro nível, naquelas baseadas no código (caixa branca) e naquelas baseadas na especificação (caixa preta ou funcionais). Nenhuma delas é completa pois visam a identificar tipos diferentes de defeitos e a sua utilização em conjunto pode elevar o nível de confiabilidade das aplicações. Assim, tornam-se importantes estudos que contribuam para um melhor entendimento da relação existente entre técnicas funcionais e estruturais, como elas se complementam e como podem ser utilizadas em conjunto. Este trabalho está inserido no contexto do projeto PLAVIS (Plataforma para Validação e Integração de Software em Aplicações Espaciais), e tem como objetivo realizar um estudo comparativo entre as técnicas de geração de casos de teste funcionais (baseadas nas especificações formais) e os critérios estruturais baseados em fluxo de controle e fluxo de dados, aplicados nas implementações. Num contexto específico, esse estudo deve fornecer dados de como se relacionam essas duas técnicas (funcional e estrutural) gerando subsídios para sua utilização em conjunto. Num contexto mais amplo - o do projeto PLAVIS - visa a estabelecer uma estratégia de teste baseada em critérios funcionais e estruturais e que possam, juntamente com as ferramentas que dão suporte a eles, compor um ambiente de teste disponível à utilização em aplicações espaciais dentro do INPE / Testing techniques can be divided, in high level, in code-based ones (white box) and specification based ones (black box). None of them are complete as they intend to identify different kinds of faults. The use of them together can increase the application confidence level. Thus, it is important to investigate the relationship between structural testing techniques and functional testing techniques, how they complete themselves and how they can be used together. This paper was developed in the context of the Plavis (PLAtform of software Validation & Integration on Space systems) project. This project provides comparative studies between functional generation testing techniques (based on formal specifications) and structural generation testing techniques, such as control-flow and data-flow criteria, applied in the implementation. In a specific context, this study provides data about the relationship between these techniques and how they can be used together. In the context of the Plavis project, the goal is to provide a testing strategy, based on functional and structural criteria, and a set of tools, composing a testing environment to be used in Space Applications projects, at INPE

O desenvolvimento de software baseado no paradigma Orientado a Objetos (OO) e baseado em componentes é uma realidade. Este trabalho trata de teste e validação dentro desse contexto. Observa-se que diversos trabalhos relacionados ao teste de programas OO vêm sendo desenvolvidos. Apesar de ser um ponto controverso, alguns pesquisadores consideram que critérios de teste desenvolvidos para o teste de programas procedimentais podem ser facilmente estendidos para o teste de programas OO, pelo menos para o teste de métodos. Ainda são poucas as iniciativas de estender critérios de fluxo de dados e critérios baseados em mutação, tradicionalmente utilizados no teste de programas procedimentais, para o teste de programas OO. O presente trabalho visa a contribuir na identificação e definição de recursos de teste e validação que possam ser utilizados no teste de programas OO, com ênfase nos critérios de teste baseados em fluxo de dados e em mutação, cobrindo as fases do teste de unidade e de integração. Além disso, para apoiar a aplicação desses critérios, é de fundamental importância o desenvolvimento de ferramentas automatizadas que permitam a realização de estudos comparativos e a transferência tecnológica para a indústria. Em suma, o presente trabalho traz contribuições teóricas, com a definição de critérios de teste; empírica, com a realização de estudos empíricos; e de automatização, com a definição e implementação de um ambiente integrado de teste e validação para programas OO. Exemplos são utilizados para ilustrar as idéias e ferramentas apresentadas neste trabalho. / The development of Object-Oriented (OO) and component-based software is a reality. This work investigates software testing and validation in this context. Several studies related with OO testing have been carried out. In spite of being a controversial point, some researchers state that the procedural testing criteria can be easily extended to OO program testing, for instance to the testing of methods. There are few initiatives aiming at applying data-flow and mutation-based criteria, traditionally used for procedural testing, to the test of OO programs. The present work aims at contributing to identify and define resources for OO program testing and validation, considering data-flow and mutation based testing criteria, involving the unit and integration testing phases. An integrated environment for testing and validation has been developed to support the application of these criteria. This environment provides means to comparative studies amongst the criteria and to technology transfer processes. This work provides contributions to the following testing perspectives: theoretical -- with the definition of testing criteria; empirical -- with the conduction of empirical studies; and to testing automation -- with the specification and implementation of an integrated environment for testing and validation of OO programs. Examples are provided to illustrate the ideas and tools presented in this work.

A presente pesquisa teve o objetivo de atualizar os parâmetros psicométricos do Psicodiagnóstico Miocinético PMK. Foi estudada uma amostra composta por 210 sujeitos adultos, todos destros, divididos em quatro grupos, um com 50 mulheres depressivas, um com 50 pacientes esquizofrênicos (35 homens e 15 mulheres), um com 50 reincidentes do sexo masculino do Sistema Prisional do Estado de São Paulo, que cometeram crimes de furto e/ou roubo e um grupo de controle, com 60 participantes (29 mulheres e 31 homens). Os instrumentos utilizados foram a entrevista clínica estruturada para o DSM-IV-TR, também conhecida como SCID-NP, com a finalidade de observar a presença de morbidades entre os presos e o grupo controle e de comorbidades entre os depressivos e esquizofrênicos, o Teste Palográfico, usado como critério no estudo de validade, e o PMK. A precisão foi obtida por meio do teste-reteste, somente com os protocolos da amostra controle e a validade, pelo método de grupos contrastantes e pelo método de validade simultânea. Para a precisão, foi calculado o coeficiente de correlação de Pearson e também utilizado o teste t para determinar se existiam diferenças entre os resultados das duas aplicações. Para os grupos contrastantes foi utilizada a ANOVA de um fator e o teste Post hoc de Tukey, com a finalidade de observar possíveis diferenças significativas das medidas do PMK entre os grupos. Nesta análise, os resultados foram comparados de acordo com o gênero dos participantes. Para a validade simultânea, os dados do Tônus Vital e da Agressividade do PMK e os da Produtividade, Direção das Linhas e Ganchos do Palográfico foram transformados em nota z e correlacionados por meio do coeficiente de correlação de Pearson, primeiramente com a amostra total e posteriormente com o grupo de depressivas e com o grupo de presos, separadamente. Os resultados do estudo de precisão indicaram que boa parte das medidas e dos traçados do PMK apresentou satisfatória estabilidade temporal, não sendo encontrada nenhuma diferença significativa entre teste e reteste. Ao todo, 64% das correlações foram superiores a 0,60, e as maiores médias das correlações foram para o Tônus Vital, a Agressividade e a Dimensão Tensional. As obtidas para o Predomínio Tensional foram as que apresentaram valores mais baixos, embora as correlações entre as aplicações tenham sido, todas, moderadas. Os resultados da validade entre grupos contrastantes demonstraram que, entre as mulheres, as diferenças significativas ocorreram, principalmente, no Tônus Vital, na Emotividade e na Dimensão Tensional. Entre os homens, na Agressividade, na Emotividade (com e sem sinal no DS) e na Dimensão Tensional. Os resultados da validade simultânea revelaram que as maiores correlações ocorreram entre as medidas da Agressividade do PMK com os Ganchos à direita do Palográfico. As correlações obtidas para o Tônus Vital também foram, na maior parte dos casos, significativas. A partir desses resultados, considerou-se que o PMK possui parâmetros científicos que permitem afirmar que ele é um teste preciso e válido para discriminar quadros clínicos de não clínicos / The present research had the purpose to update psychometric parameters of the Myokinetic Psychodiagnosis PMK. Participated a sample of 210 adult subjects, all right handed, divided into four groups, the first composed by 50 depressed women, the second by 50 schizophrenic patients (35 men and 15 women), the third by 50 male prisoners from the Prison System of the São Paulo State who had rescinded thefts and/or steals crimes, and a control group with 60 participants (29 women and 31 men). The instruments used were the Structured Clinical Interview for the DSM-IV-TR, also known as SCID-NP, in order to observe the presence of morbidity among prisoners and the control group and the co morbidity among depressed and schizophrenics. The Test Palográfico, was used as the validity criterion of the PMK test. The reliability was obtained by test-retest, restricted to the control sample and validity by the method of contrasting groups and the simultaneous validity. For the reliability was calculated the Pearson correlation coefficient and also the t test was used to verify if there were differences between the test-retest results. To evaluate the validity by contrasting groups it was used the one-way ANOVA and Pos hoc Tukey test, in order to determinate possible differences of PMK measures between groups. For simultaneous validity, data from PMK Vital Tonus and Aggressiveness and Productivity, Direction Lines and Hooks of Palográfico were transformed in z scores and then correlated by Pearson correlation coefficient, using data from the total sample and from the depressive group and the prisoner group independently. Results of the reliability study indicated that most of measures of PMK had a satisfactory temporal stability and no significant difference between test and retest means was found. Altogether, 64% of correlations were above 0.60 and higher means of correlations were for the Vital Tonus, Aggressiveness and Tensional Dimension. Correlations for Tensional Predominance showed the lowest values, although they can be considered moderate. Results of contrasting groups showed that, among women, significant differences were observed mainly in Vital Tonus, Emotionality and Tensional Dimension, and among men in Aggressiveness, Emotionality (with an without DS signal) and Tensional Dimension. The concurrent validity showed that significant correlations occurred mainly between PMK Aggressiveness measures and Palográfico Hooks at right. Vital Tonus correlations were in most cases significant. These results indicate that the PMK Test presents scientific parameters that allow to confirm that its a reliable and valid test to discriminate clinical cases from those non-clinical

WEb Services constituem uma tecnologia emergente utilizada para disponibilização de serviços na Web. Devido aos complexos processos de negócio existentes, esses serviços são combinados para que operem seguindo um fluxo de trabalho. Esse processo é chamado de composição de Web Services. Como no processo de desenvolvimento de um software tradicional, a atividade de teste é fundamental no processo de desenvolvimento da composição de Web Services. Neste trabalho é proposta uma estratégia de teste para a composição de Web Services, em que especificações de composições são transformadas para um modelo de teste de programas paralelos baseados em passagem de mensagens. É proposto o conceito de grupos de elementos requeridos para melhorar a cobertura dos critérios. Uma ferramenta de apoio à estratégia de teste foi desenvolvida. Alguns estudos experimentais para avaliar a aplicabilidade da estratégia proposta também são apresentados. Além disso, é proposto um método que utiliza redes de Petri para eliminar sincronizações não-executáveis no envio e recebimento de mensagens / WEb Services constitute an emerging technology for deploying services in the Web. Due to the complex business processes, these services are combined to operate, following a workflow. This process is named Web Services Composition. As in the development process of a traditional software, the testing activity is fundamental in the development process of Web Services Composition. This work proposes a test strategy for Web Services Composition, in that composition specifications are transformed into a test model of message-passing parallel programs. The concept of required elements groups is proposed to improve the criteria coverage. A tool that supports the test strategy was developed. Some experimental studies for evaluating the applicability of proposed strategy are also presented. Furthermore, it presents a method that uses Petri Nets to eliminate non-executable synchronizations in the sending and receiving of messages

O teste de mutação é um critério de teste poderoso para detectar falhas e medir a eficácia de um conjunto de dados de teste. No entanto, é uma técnica de teste computacionalmente cara. O alto custo provém principalmente do esforço para gerar dados de teste adequados para matar os mutantes e pela existência de mutantes equivalentes. Nesse contexto, o objetivo desta tese é apresentar uma abordagem chamada de Reach, Infect and Propagation to Mutation Testing (RIPMuT) que visa gerar dados de teste e sugerir mutantes equivalentes. A abordagem é composta por dois módulos: (i) uma geração automatizada de dados de teste usando subida da encosta e um esquema de fitness de acordo com as condições de alcançabilidade, infeção e propagação (RIP); e (ii) um método para sugerir mutantes equivalentes com base na análise das condições RIP durante o processo de geração de dados de teste. Os experimentos foram conduzidos para avaliar a eficácia da abordagem RIP-MuT e um estudo comparativo com o algoritmo genético e testes aleatórios foi realizado. A abordagem RIP-MuT obteve um escore médio de mutação de 18,25 % maior que o AG e 35,93 % maior que o teste aleatório. O método proposto para detecção de mutantes equivalentes se mostrou viável para redução de custos relacionado a essa atividade, uma vez que obteve uma precisão de 75,05% na sugestão dos mutantes equivalentes. Portanto, os resultados indicam que a abordagem gera dados de teste adequados capazes de matar a maioria dos mutantes em programas C e, também auxilia a identificar mutantes equivalentes corretamente. / Mutation Testing is a powerful test criterion to detect faults and measure the effectiveness of a test data set. However, it is a computationally expensive testing technique. The high cost comes mainly from the effort to generate adequate test data to kill the mutants and by the existence of equivalent mutants. In this thesis, an approach called Reach, Infect and Propagation to Mutation Testing (RIP-MuT) is presented to generate test data and to suggest equivalent mutants. The approach is composed of two modules: (i) an automated test data generation using hill climbing and a fitness scheme according to Reach, Infect, and Propagate (RIP) conditions; and (ii) a method to suggest equivalent mutants based on the analyses of RIP conditions during the process of test data generation. The experiments were conducted to evaluate the effectiveness of the RIP-MuT approach and a comparative study with a genetic algorithm and random testing. The RIP-MuT approach achieved a mean mutation score of 18.25% higher than the GA and 35.93% higher than random testing. The proposed method for detection of equivalent mutants demonstrate to be feasible for cost reduction in this activity since it obtained a precision of 75.05% on suggesting equivalent mutants. Therefore, the results indicate that the approach produces effective test data able to strongly kill the majority of mutants on C programs, and also it can assist in suggesting equivalent mutants correctly.

Em meados dos anos 90, alguns pesquisadores constataram a existência de certos interesses que, independente da técnica de programação utilizada ou da maneira como o sistema venha a ser decomposto, não se encaixam em módulos individuais, mas ficam espalhados por várias unidades do software (também chamados de interesses transversais). A programação orientada a aspectos (POA) foi concebida como uma proposta de resolução desse problema, a partir do uso de mecanismos que permitem o isolamento dos interesses transversais. Entretanto, por ser uma técnica nova, nesses primeiros anos os pesquisadores preocuparam-se em estabelecer os conceitos e técnicas básicos das linguagens orientadas a aspectos, deixando para uma segunda fase a investigação de outras características do desenvolvimento de programas orientados a aspectos, como métodos de projeto e abordagens de teste. Nesta dissertação é apresentada uma abordagem de teste estrutural para programas orientados a aspectos baseados na linguagem AspectJ, que pode contribuir para o aumento da confiança no software desenvolvido utilizando essa técnica e auxiliar o entendimento das novas construções e comportamentos envolvidos nesses programas. Modelos de fluxo de controle e de dados baseados no código-objeto resultante da compilação/ combinação de programas escritos na linguagem AspectJ são propostos, bem como nove critérios de teste baseados nesses modelos. Uma ferramenta desenvolvida para apoiar o teste estrutural de unidade de programas Java foi estendida para dar apoio aos modelos e critérios propostos nesta dissertação. Além disso, algumas propriedades do teste de integração de programas orientados a aspectos são discutidas teoricamente.