Orientador: Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-23T05:23:57Z (GMT). No. of bitstreams: 1 Granja_Ivan_M.pdf: 9510547 bytes, checksum: 4248dfe94031c5719e837aa99627acca (MD5) Previous issue date: 1997 / Resumo: Este trabalho apresenta as principais características de uma ferramenta de apoio ao teste de regressão estrutural baseado na família de Critérios Potenciais-Usos e uma estratégia para sua aplicação. A ferramenta, denominada RePoKe- Tool (Regression Testing support for Potencial-Uses Criteria Tool), pode ser aplicada em unidades (e.g., funções, procedimentos) que foram testadas através da ferramenta de teste POKE-TOOL e sofreram manutenção corretiva (teste de regressão corretivo) ou então adaptativa ou perfectiva (teste de regressão progressivo), utiliza estratégia seletiva para identificar apenas os elementos requeridos para o teste estrutural (caminhos e associações) que foram inseridos ou modificados após essa manutenção e sugere um subconjunto dos casos de teste originais que, potencialmente, cobre esses elementos. Além disso, configura e atualiza os arquivos necessários para que a POKE-TOOL possa realizar o teste de regressão. o trabalho apresenta também estudos de casos que mostram a viabilidade da aplicação de uma estratégia de seleção de casos de testes de regressão baseada em conceitos de teste funcional, com objetivo de atingir um bom índice de cobertura de elementos requeridos selecionados para o teste de regressão estrutural. Os resultados obtidos através desses estudos de casos contribuíram para a definição de um Guia de Referência para Programadores de Manutenção, cujo objetivo é diminuir os altos custos envolvidos com o Teste de Regressão, sem relevar para segundo plano o principal objetivo de qualquer atividade de teste: a revelação de defeitos no software / Abstract: This work presents the most relevant concepts and characteristics of a regression testing tool, based upon Potential Uses Criteria and a strategy to be applied. RePoKe- Tool (Regression Testing support for Potential-Uses Criteria Tool) can be used in units (e.g., functions and procedures). These units, previously tested by POKE-TOOL testing tool, have been modified either by means of a corrective maintenance (which implies in corrective regression testing) or by means of an adaptive or perfective maintenance (which implies in progressive regression testing). This regression testing toei uses a selective strategy to identify modified and new required elements for white-box testing (paths and associations) and select a subset of original test cases (used in original testing procedures) which potentialiy may cover these elements. Furthermore, the POKE-TOOL environment is reconfigured to avoid regression testing procedures. This work presents, additionaliy, a study of cases that show a selection strategy based upon black-box testing concepts that obtain an expressive cover of white-box required elements. The results help the definition of a guideline to support maintenance programming activities, whose objectives are to save cost and, above all, to reveal faults in modified software / Mestrado / Mestre em Engenharia Elétrica

Orientador: Rogério Eduardo Garcia / Banca: Sandra Fabbri / Banca: Danilo Medeiros Eler / Resumo: Com o aumento da complexidade estrutural de sistemas de software, tarefas como a Compreensão de Programa tornam-se mais difíceis de serem realizadas. Quando se trata de Programas Orientados a Aspectos, a compreensão pode se tornar mais complexa em decorrência de suas novas características - algumas unidades de código interferem no comportamento de outras. Meios alternativos para a auxiliar as atividades de Compreensão de Programa podem ser utilizados, como a Visualização de Software - representações visuais podem ser usadas para prover apoio à compreensão, principalmente por permitir que o usuário interaja com as representações gráficas. Apesar de poder apoiar as tarefas de compreensão, o uso de uma ferramenta de Visualização de Software pode, também, aumentar a dificuldade do processo, pois, além de depender da interpretação das representações visuais, exige o domínio da ferramenta, a sua adequação à tarefa, o conhecimento de técnicas de visualização e a seleção e análise de quais técnicas se aplicam à tarefa de compreensão em questão. O grupo de pesquisa da FCT-UNESP vem desenvolvendo uma ferramenta de Visualização de Software - SoftVisOAH -, e para obter evidências de vantagens do uso de tal ferramenta, é crucial a sua avaliação. Assim, este trabalho tem por objetivo a avaliação da ferramenta de Visualização de Software SoftVisOAH para se obter evidências da eficácia e da eficiência de suas representações visuais aplicadas em Compreensão de Programas Orientados a Aspectos no contexto de depuração de programas / Abstract: With the increasing structural complexity of software systems, tasks such as Program Comprehension become difficult to perform. In the case of Aspect-Oriented Programs, the comprehension can become more complex due to its new features - some units of code interfere in the behavior of others. Alternative means for applying Program Comprehension techniques can be used, as Software Visualization - visual representations can be used to provide comprehension aid, specially for allowing the user to interact with graphical representations. Although it can support the program comprehension task, the use a Software Visualization tool can, also, increase the difficulty of the process, because, besides depending on the interpretation of visual representations, it requires mastery of the tool, their suitability to the task, knowledge of visualization techniques and the selection and analysis of which te-chniques apply to the comprehension task in question. The research group of FCT-UNESP has developed a Software Visualization tool - SoftVisOAH -, and to obtain evidences of the ad-vantages of using such a tool, it is critical its evaluation. Thus, this study aims to assess the SoftV isO A H tool, about the effectiveness and efficiency of its visual representations applied in Aspect-Oriented Programs Comprehension in the context of programs debugging / Mestre

Made available in DSpace on 2014-06-11T19:29:39Z (GMT). No. of bitstreams: 0 Previous issue date: 2012-09-28Bitstream added on 2014-06-13T19:38:56Z : No. of bitstreams: 1 darce_af_me_sjrp.pdf: 6430042 bytes, checksum: fa925a4229213dec419c1cd4099e9b2b (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Com o aumento da complexidade estrutural de sistemas de software, tarefas como a Compreensão de Programa tornam-se mais difíceis de serem realizadas. Quando se trata de Programas Orientados a Aspectos, a compreensão pode se tornar mais complexa em decorrência de suas novas características – algumas unidades de código interferem no comportamento de outras. Meios alternativos para a auxiliar as atividades de Compreensão de Programa podem ser utilizados, como a Visualização de Software – representações visuais podem ser usadas para prover apoio à compreensão, principalmente por permitir que o usuário interaja com as representações gráficas. Apesar de poder apoiar as tarefas de compreensão, o uso de uma ferramenta de Visualização de Software pode, também, aumentar a dificuldade do processo, pois, além de depender da interpretação das representações visuais, exige o domínio da ferramenta, a sua adequação à tarefa, o conhecimento de técnicas de visualização e a seleção e análise de quais técnicas se aplicam à tarefa de compreensão em questão. O grupo de pesquisa da FCT-UNESP vem desenvolvendo uma ferramenta de Visualização de Software – SoftVisOAH –, e para obter evidências de vantagens do uso de tal ferramenta, é crucial a sua avaliação. Assim, este trabalho tem por objetivo a avaliação da ferramenta de Visualização de Software SoftVisOAH para se obter evidências da eficácia e da eficiência de suas representações visuais aplicadas em Compreensão de Programas Orientados a Aspectos no contexto de depuração de programas / With the increasing structural complexity of software systems, tasks such as Program Comprehension become difficult to perform. In the case of Aspect-Oriented Programs, the comprehension can become more complex due to its new features – some units of code interfere in the behavior of others. Alternative means for applying Program Comprehension techniques can be used, as Software Visualization – visual representations can be used to provide comprehension aid, specially for allowing the user to interact with graphical representations. Although it can support the program comprehension task, the use a Software Visualization tool can, also, increase the difficulty of the process, because, besides depending on the interpretation of visual representations, it requires mastery of the tool, their suitability to the task, knowledge of visualization techniques and the selection and analysis of which te-chniques apply to the comprehension task in question. The research group of FCT-UNESP has developed a Software Visualization tool – SoftVisOAH –, and to obtain evidences of the ad-vantages of using such a tool, it is critical its evaluation. Thus, this study aims to assess the SoftV isO A H tool, about the effectiveness and efficiency of its visual representations applied in Aspect-Oriented Programs Comprehension in the context of programs debugging

Orientador: Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-06T02:01:27Z (GMT). No. of bitstreams: 1 Vieira_VanessaGindri_M.pdf: 17707091 bytes, checksum: c79d59adb9877346fb8498b47cc8eb4c (MD5) Previous issue date: 2004 / Resumo: Uma classe reutilizável precisa ser testável, já que a mesma pode ser testada várias vezes: quando é modificada, quando sua superclasse é modificada, quando suas clientes e/ou servidoras são modificadas. Daí a importância de que essa classe seja fácil de testar, ou seja, testável. Com a utilização de classes testáveis ocorre um aumento da testabilidade do sistema que as contém. Em trabalho anterior foi definida uma classe testável que inclui, além da própria classe, um modelo representando o comportamento da classe, bem como mecanismos embutidos de testes, ou BIT (Built-in Test). A atividade de teste de regressão envolve o teste de modificações do sistema para garantir que o sistema não regrediu, ou seja, que as funcionalidades que executavam corretamente numa versão anterior não foram indesejavelmente afetadas pelas modificações. Esse trabalho teve por objetivo responder à seguinte pergunta: como utilizar informações de testes contidas em uma classe testável nos testes de regressão? Para respondê-Ia foi necessário definir: (i) uma forma de seleção de testes de regressão - nesse trabalho nós propomos uma técnica de seleção baseada no modelo de comportamento da classe, apesar da maioria das técnicas existentes serem baseadas no código; e (ii) uma forma de gerar testes para novas características resultantes da modificação. A técnica proposta é aplicável tanto no contexto da classe base quanto das classes derivadas. Além de não precisar do código fonte, o que a torna útil para testes de componentes nos quais o código fonte não está disponível, a técnica também pode ser totalmente automatizada / Abstract: A reusable class has to be testable since it should be tested many times: when a class is changed, when its superclass is changed, when its client andjor server classes are changed. Therefore, it is important that this class be easy to test, that is, be testable. There is an increase on the testability of the system when testable classes are used. A previous research elaborated a testable class, which includes the class implementation, a model to represent its behaviour, as well as built-in test (BIT) mechanisms. Regression testing activity involves testing the modified program to ensure that new features do not regress to the existing features, that is, regression testing is applied to the modified software to provide confidence that the unchanged parts have not been adversely affected by the modification. This work intends to answer the following question: how to use test information contained on the testable class to do regression testing? The answer involves some definitions: (i) a strategy of regression test selection - in this work we propose a regression test selection technique based on the class behaviour model, despite the fact that the majority of existing techniques are code-based; and (ii) a way to generate tests to new features resulted from the class modifications. This technique is applied not only to base class context but also to derived classes. Besides the fact that the source code is not needed in this technique, which makes it useful to component testing in which the source code is not available, the technique can also be totally automated. / Mestrado / Mestre em Ciência da Computação

Orientador: Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T06:23:01Z (GMT). No. of bitstreams: 1 Fantinato_Marcelo_M.pdf: 269097 bytes, checksum: 7f571e666b2b66b0c06a3a5b0e975969 (MD5) Previous issue date: 2002 / Mestrado

Orientadores : Jose Carlos Maldonado, Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T17:47:18Z (GMT). No. of bitstreams: 1 VillasBoas_AndreLuizdeCastro_M.pdf: 1630941 bytes, checksum: 50bfe53cc75b0d42f3de616c790f1683 (MD5) Previous issue date: 2003 / Mestrado

Orientador: Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-25T10:54:42Z (GMT). No. of bitstreams: 1 Bueno_PauloMarcosSiqueira_M.pdf: 9696615 bytes, checksum: cf1489b7486e810fb816a4449ac15e59 (MD5) Previous issue date: 1999 / Resumo: Este trabalho apresenta uma ferramenta e técnicas para automação da geração de dados e identificação de não executabilidade para a técnica estrutural de teste de software. A ferramenta baseia-se na Técnica Dinâmica; na busca utilizando Algoritmos Genéticos; e no reuso de soluções passadas através do Raciocínio Baseado em Casos. O objetivo é gerara automaticamente dados de entrada que executem caminhos completos no programa em teste e identificar a não executabilidade desses caminhos quando for o caso; o que é feito através da Heurística de Identificação Dinâmica de Potencial não Executabilidade proposta. Um experimento conduzido mostra a validade das soluções elaboradas e do benefício da utilização da ferramenta. Os resultados alcançados sugerem que, apesar da indecidibilidade geral desses problemas, soluções parciais podem ser úteis à prática do teste de software / Abstract: A tool and techniques are presented for test data generation and infeasibility identification in structural software testing technique. The tool is based on: the Dynamic Technique; using Genetic Algorithms; and reusing of solutions through Case Based Reasoning. The objective is to automatically generate input data which execute complete paths in a program and identify path infeasibility when this is the case ; this is done through the Potential Infeasibility Dynamic Identification Heuristic proposed. An experiment shows the validity of the developed solutions and the benefit of using the tool. Results attained indicate that, despite the general undecidability of the problems, partial solutions may be useful to software testing practice / Mestrado / Mestre em Engenharia Elétrica

Resumo: No desenvolvimento de software frequentemente é necessário validar a especificação dos dados do sistema, geralmente descrita por esquemas. O esquema de dados define a estrutura lógicae os relacionamentos entre os dados manipulados e armazenados por aplicações de software. Para auxiliar a detectar defeitos em esquemas e garantir a integridade dos dados por eles definidos, foi proposta uma abordagem de teste baseada em defeitos, denominada Análise de Instâncias de Dados Alternativas (AIDA). Na abordagem AIDA, uma instância de dados associada ao esquema em teste sofre alterações simples gerando instâncias de dados alternativas. A Análise de Instâncias de Dados Alternativas (AIDA) pode ser aplicada no teste de diferentes tipos de esquema, desde que o mesmo seja representado de acordo com um modelo formal. Apesar de existirem trabalhos na literatura que utilizam informações do esquema para testar as aplicações, a maioria não considera os possíveis efeitos presentes no esquema para gerar os dados de teste. Esses defeitos podem ocasionar falhas na aplicação e, considerando esse fato, este trabalho explora a utilização da AIDA no teste de aplicações que utilizam esquemas de dados, introduzindo estratégias de uso em dois contextos de aplicação: aplicações de banco de dados relacional e aplicações que utilizam Serviços Web. Para validar as estratégias em ambos contextos foram realizados experimentos em aplicações reais. Os resultados obtidos são analisados e verifica-se que a abordagem utilizada foi eficaz em revelar não somente defeitos de esquema, mas também defeitos relacionados à própria aplicação.

Orientador : Prof. Dr. Silvia Regina Vergilio / Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 23/02/2017 / Inclui referências : f. 90-98 / Área de concentração: Ciência da Computação / Resumo: Determinar um conjunto de casos de teste que possua alta probabilidade de revelar defeitos em um software é um dos principais objetivos da área de teste de software. Dentre os vários critérios propostos na literatura destaca-se a Análise de Mutantes, uma abordagem promissora devido a sua capacidade em revelar defeitos, embora possua um custo computacional relativamente alto. Com o intuito de reduzir o custo da Análise de Mutantes, estudos empregam a utilização de mutação de ordem superior (Higher Order Mutants, HOMs). O uso de HOMs tem se destacado por reduzir o número de mutantes equivalentes, reduzir o esforço do teste e simular defeitos próximos dos defeitos reais. Entretanto, a geração dos melhores HOMs é uma tarefa complexa, devido ao grande número de mutantes que podem existir e a outros fatores que influenciam a geração, tais como a eficácia dos HOMs gerados. Trabalhos têm aplicado com sucesso técnicas da área da Engenharia de Software baseada em busca por meio da utilização de técnicas de otimização para solucionar esse problema. Entretanto, há ainda a necessidade de possuir um conhecimento sobre o comportamento do problema, de modo a determinar a melhor estratégia a ser utilizada, como projetar e configurar os algoritmos, escolhendo os diferentes operadores de busca e definindo seus parâmetros, para assim melhorar o direcionamento da busca. Neste sentido, o uso de hiper-heurística possibilita uma abordagem mais flexível para automatizar estas tarefas. Além disso, o uso de uma hiper-heurística de seleção de diferentes estratégias existentes para geração de HOMs pode ser útil para reduzir o esforço do testador. Diante disso, este trabalho propõe uma abordagem multi-objetivo que utiliza o conceito de hiper-heurística para gerar conjuntos de HOMs, denominada Hyper-Heuristic for Generation of Higher Order Mutants (HG4HOM). O objetivo é selecionar a menor quantidade de HOMs, os mais difíceis de serem mortos e assim melhorar a eficácia do teste, além de também possibilitar que ao matar um HOM seus FOMs (First Order Mutants) constituintes também possam ser mortos. Para isso, a abordagem é implementada e avaliada com dois algoritmos multi-objetivos: NSGA-II e SPEA2, e três métodos de seleção: Choice-Function (CF), Fitness-Rate-Rank based Multi-Armed Bandit (FRR-MAB) e a seleção aleatória (Random). O algoritmo SPEA2 utilizando o conceito de hiper-heurística juntamente com o método de seleção CF obteve os melhores resultados. Quando comparado com as estratégias tradicionais, a abordagem obteve resultados próximos em relação ao escore de mutação e valor equivalente ao melhor em relação ao tamanho do conjunto de casos de teste adequado. A abordagem obteve as soluções com melhores valores de Euclidean Distance considerando os objetivos relacionados a encontrar a menor quantidade de HOMs, os mais difíceis de serem mortos e capazes de substituírem seus FOMs constituintes. Palavras-chave: Teste de Software, Análise de Mutantes, Mutação de Ordem Superior, Algoritmos Evolutivos Multi-Objetivos, Hiper-Heurística. / Abstract: One of the main testing goals is to determine test sets with a high probability of revealing faults. Mutant Analysis is a promising criterion due to its ability to reveal faults, although with a high computational cost. In order to decrease the mutation testing cost, studies employ the use of Higher Order Mutants (HOMs). The use of HOMs can contribute to decrease the number of equivalent mutants, decrease the test effort and simulate faults close to the real ones. However, the generation of the best HOMs is a complex task, due to the large number of mutants that may exist, and to other factors that influence the generation, such as the efficacy of the generated HOMs. To solve such a problem, some works have successfully applied Search-based Software Engineering techniques through the use of optimization techniques. However, it is still needed to have knowledge about the problem behavior, to determine the best strategy to be applied, and to know how to design and configure the algorithms by choosing the different search operators and defining their parameters in order to improve the search. In this sense, the use of hyper-heuristics allows a more flexible approach to automating these tasks. Also, the use of a hyper-heuristic for selection of different existing strategies to generate HOMs can be useful to reduce the tester's effort. Considering all these facts, this work proposes a multi-objective approach, called Hyper-Heuristic for Generation of Higher Order Mutants (HG4HOM), which uses the hyper-heuristic concept to generate sets of HOMs. The goal is to select a small number of HOMs which are difficult to kill, and that contribute to improve the test efficacy, that is, it is desired the test cases that kill the selects HOMs are also capable of killing their corresponding FOMs (First Order Mutants). The approach is implemented and evaluated with two multi-objective algorithms: NSGA-II and SPEA2, and three selection methods: Choice-Function (CF), Fitness-Rate-Rank based Multi-Armed Bandit (FRR-MAB ), and random selection (Random). The SPEA2 algorithm using the hyper-heuristic concept together with the CF selection method obtained the best results. In comparison with respect to the traditional strategies, the approach achieved similar results related to the mutation score and statically equivalent values to the best strategy considering the size of the adequate test case sets. The approach obtained the best results when considering the Euclidean Distance values of the solutions with respect to the goals proposed. Keywords: Software Testing, Mutation Analysis, Higher Order Mutation, Multi-objective Evolutionary Algorithms, Hyper-heuristic.

Resumo: Para encontrar defeitos de comunicaçõ entre diferentes partes de um sistema é realizado o teste de integração, no qual cada módulo desenvolvido deve ser integrado e testado com os módulos já existentes. Entretanto, um módulo a ser integrado e testado, pode necessitar de recursos de outro módulo ainda em desenvolvimento, levando a necessidade de se construir um stub. Stubs são simula_c~oes de recursos essenciais para o teste mas que ainda não estão disponíveis. O stub não faz parte do sistema, então a construção de stubs implica em custo adicional. Para minimizar a necessidade de stubs e conseqüentemente reduzir o custo do projeto, várias estratégias para integrar e testar módulos foram propostas. Porém, nenhuma dessas estratégias considera uma característica presente na maioria dos sistemas, que é a modularização. Dado este fato, este trabalho propõe uma estratégia que considera agrupamentos de módulos durante o estabelecimento de ordens para a integração e teste. Esta estratégia é implementada em uma abordagem chamada MECBA-Clu, uma abordagem baseada em algoritmos de otimização multiobjetivos e diferentes medidas de acoplamento para avaliar diversos fatores que inuenciam o custo de construção de stubs. A abordagem MECBA-Clu é avaliada através da condução de um experimento com oito sistemas reais, quatro Orientados a Objetos e quatro Orientados a Aspectos, no qual os três diferentes algoritmos evolutivos multiobjetivos NSGA-II, SPEA2 e PAES foram aplicados. Os resultados apontam que o espaço de busca fica restrito a determinadas áreas em que as soluções podem ser encontradas. Além disso, de acordo com quatro indicadores de qualidade utilizados, observa-se que o algoritmo PAES obteve o melhor resultado, seguido pelo NSGA-II e por fim o SPEA2. Exemplos da utilização da abordagem também são apresentados.