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

Orientador: Eliane Martins / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-03T18:45:09Z (GMT). No. of bitstreams: 1 Goncalves_KlausnerVieira_M.pdf: 1428663 bytes, checksum: b81e8057b76890177a04bfc4f1faf65e (MD5) Previous issue date: 2003 / Resumo: A evolução do uso de sistemas computacionais nas atividades humanas tem exigido cada vez mais um alto nível de qualidade dos softwares. Esta busca para garantir a qualidade do software toma o processo de desenvolvimento de software mais dificil e complexo. Na tentativa de reduzir os custos e aumentar a qualidade da atividade de teste, várias técnicas e critérios vêm sendo propostos, onde a diferença entre essas técnicas está na origem da informação que é utilizada para avaliar ou construir conjuntos de casos de teste, sendo que cada técnica possui uma variedade de critérios para esse: fim. Com o aumento expressivo de aplicações que utilizam Banco de Dados Relaciona!, toma-se necessária a adequação de técnicas e critérios de Teste de Software para os testes destas aplicações. O presente trabalho visa apresentar técnicas de Teste de Software em Aplicações de Banco de Dados Relaciona! através da utilização de técnicas de Teste Estrutural (Caixa Branca) e Teste Funcional (Caixa Preta). A partir do estudo destas técnicas é definida uma estratégia de teste que cobre Teste Estrutural baseado em critérios de cobertura de Fluxo de Controle e Complexidade Cic10mática e Testes Funcionais baseados em Particionamento de Equivalência e Análise de Valor Limite. Para apoiar esta estratégia é desenvolvida também uma ferramenta de auxílio para execução dos testes (STest for Delphi) / Abstract: The evolution of the use of computational systems in the human activities beings has demanded each time plus one high leveI of qua1ity of softwares. This search to guarantee the quality of software becomes the process of software development of more difficult and complexo In the attempt to reduce the costs and to increase the quality of the activity of test, severa! techniques and criteria come being proposed, where the difference between these techniques is in the origin of the information that is used to evaluate or to construct sets of test cases, being that each technique possesss a variety of criteria for this end. With the expressive increase of applications that use Relational Database, one becomes necessary the adequacy oftechniques and criteria ofTest ofSoftware for the tests ofthese applications. The present work allns at to present techniques of Test of Software in Applications of Relational Database through the use of techniques of Structural Test (White Box) and Functional Test (Black Box). From the study of these techniques is de:6ned a test strategy that has covered established Structural Test in criteria of covering of Control Flow and Cyclomatic Complexity and Funcional Tests based in Equivalence Partitioning and Boundary Value Analysis. To support this strategy, it is also developed, a tool ofaid for execution ofthe tests (STest for Delphi) / Mestrado / Engenharia de Computação / Mestre em Computação

Orientador: Eliane Martins / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-04T02:16:54Z (GMT). No. of bitstreams: 1 Fidelis_WennderIndalecioOliveira_M.pdf: 646280 bytes, checksum: c3cc6206f734b9eb157f44adc1f4d8a4 (MD5) Previous issue date: 2003 / Resumo: A rápida difusão da Internet e novas tecnologias estão produzindo um significativo crescimento da demanda de aplicações Web, sendo que cada vez mais são exigidos requisitos de usabilidade, confiança, funcionalidade e segurança. Esse trabalho propõe uma estratégia de testes de regressão voltada para aplicações Web que visa auxiliar os testadores de aplicações Web na tarefa de selecionar dentre os testes aplicados durante o desenvolvimento, aqueles que deverão ser reexecutados durante a manutenção, levando em consideração as modificações realizadas na aplicação. A estratégia proposta é resultado da análise das estratégias hoje existentes para testes de regressão, buscando identificar dentre as mesmas, aquela cujos princípios mais se adequassem ao contexto de manutenção de aplicações Web. Também é apresentada a ferramenta ¿FireWeb¿, a qual automatiza muitos dos passos da estratégia proposta, tornando o processo mais rápido e barato / Abstract: The fast Internet diffusion and the new technologies are producing a significant growth in the Web applications demand, whereas more and more requisites such as user-friendly interface, dependability, functioning and security are being required. This work suggests the strategy of using regression tests made for Web applications, which in this case, are meant to help the Web applications testers in the task of selecting among the applied tests during the developing phase, those which will have to be re-run during the maintenance, taking into consideration the changes made in the application. The strategy presented is the result of the analysis of the existing regression tests, with the purpose of identifying among them, those that principles fit more adequately to Web applications maintenance context. The FireWeb tool is also presented; it makes several steps of the presented strategy automatic making the process faster and cheaper / Mestrado / Engenharia de Software / Mestre em Computação

Orientador : Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-31T23:15:35Z (GMT). No. of bitstreams: 1 Uber_FlavioRogerio_M.pdf: 2367377 bytes, checksum: 0e8a8f216f118ab15a844a5c1423ea52 (MD5) Previous issue date: 2001 / Resumo: As máquinas finitas de estados estendidas (MFEE) são muito utilizadas para a especificação de protocolos. Por essa razão existem muitas técnicas baseadas nesse modelo, usadas nos testes de conformidade, os quais servem para determinar se uma determinada implementação satisfaz a sua especificação. Com o objetivo de dar suporte à geração de testes a partir de MFEE foi construída no Instituto de Computação da UNICAMP a ferramenta CONDADO. Até então essa ferramenta implementava os métodos de testes de transição, para cobrir a parte de controle. Com relação à parte de dados (referente ao formato das interações bem como aos valores dos parâmetros dessas interações) eram utilizados os testes de sintaxe e os testes baseados em classes de equivalência. Este trabalho implementa uma extensão à CONDADO visando melhorar a estratégia de geração de dados de teste por parte desta ferramenta. Em vez dos testes baseados em classes de equivalência são usados testes de domínios que consideram os predicados associados às transições da MFEE . Com isso foi reduzido o número de casos de teste correspondentes a caminhos não executáveis. Acredita-se ainda na melhora do potencial para detecção de falhas com dados de teste próximos aos limites do domínio, o que deverá ser analisado futuramente / Abstract: Extended Finite State Machine (EFSM) are much utilized in protocoI specification. For testing it there are many techniques, used in conformance testing. Conformance testing of communication protocols aims at verifying that the externaI behaviour of a protocoI implementation complies with th protocoI specification. To test EFSM based specifications was developed CONDADO tooI, in Computing Institute (UNICAMP). This tooI combines different specification-based test methods: transition testing for the controI part of a protocoI and syntax and equivalence partitioning fot the data parto. This work develops a CONDADO extension, intending to improve data generation. Equivalence partitioning will be substituted by domain testing to consider the predicates associated with transitions. With domain testing will be decreased the number of case tests corresponding to non-executable paths / Mestrado / Mestre em Ciência da Computação

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-07-24T00:50:52Z (GMT). No. of bitstreams: 1 Ferrari_Sandra_M.pdf: 6980334 bytes, checksum: 7f6be2059ba7b933f1621b36b466e754 (MD5) Previous issue date: 1998 / Resumo: Grande número de ferramentas CASE (Computer-Aided Software Engineering) tem chegado ao mercado. Em geral, essas ferramentas são projetadas para trabalhar de forma isolada, bem como não suportam todas as fases do processo de software. Entretanto, ambientes de engenharia de software abertos oferecem facilidades para que ferramentas possam ser utilizadas de forma integrada e cooperativa. Para integrar ferramentas em um ambiente de engenharia de software aberto, é necessário analisar as dimensões principais de integração: apresentação, controle e dados, tanto do ponto de vista da ferramenta quanto da interface pública de ferramentas utilizada como base do ambiente. Este trabalho tem como objetivo a integração da ferramenta de teste POKETOOL (Potential Uses Criteria Tool for Programing Testing) em um ambiente de engenharia de software baseado em PCTE ( Portable Common Tool Environment). A integração dos dados da POKE-TOOL foi orientada pelo método proposto por Bremeau para projeto de esquemas de dados compartilháveis, baseado nos tipos e nas estruturas de gerenciamento de objetos do PCTE. Uma análise da POKE-TOOL foi realizada para explicitação de seus dados, relacionamentos e processos. Através dessa análise, foram obtidos: um diagrama genérico das atividades do processo de teste mais o diagrama entidade-relacionamento, o diagrama de fluxo de dados e o diagrama de estados da POKE-TOOL. ...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: A great number of CASE tools is reaching the market. These tools are usually designed to work isolatedly, in which case they do not support all the phases of the software process. Open software engineering environments provide such facilities that tools can be used in an integrated and cooperative way. In order to integrate a tool into an open software engineering environment, it is necessary to analyse the integration dimensions: presentation, control and data, both from the point of view of the tool and of the public interface used as the basis of the environment. This work aims at integrating a tool for software testing, called POKE-TOOL, into a software engineering environment based on the PCTE standard. The data integration of the POKE-TOOL followed the method proposed by Bremeau for the design of sharable data schemas based on the types and structures of the object management system of PCTE. An analysis of the POKE-TOOL was carried out to elicit its data, relationships and processes. The analysis resulted in: a generic diagram representing the activities of the testing process and the entity-relationship diagram, the data flow diagram and state diagram of the POKE-TOOL. Based on these diagrams, on the object management system of PCTE and on the need to achieve an efficient data sharing (medium granularity), the data of the POKETOOL were mapped to SDSs, which are the main structures for the integration of tools into environments based on PCTE. ...Note: The complete abstract is available with the full electronic digital thesis or dissertations / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica

Orientador: Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-09-11T21:22:23Z (GMT). No. of bitstreams: 1 Almeida_ErikaReginaCamposde_M.pdf: 2024977 bytes, checksum: 283c040eb38feebecb81300c009c2567 (MD5) Previous issue date: 2012 / Resumo: A automação da geração e da execução de casos de teste está de acordo com o grande desafio na área de desenvolvimento de software que é fazer mais com menos recursos. Entretanto, para unir estes dois processos, ainda é necessário fazer a ponte entre o nível de especificação do Sistema em Teste (SeT) e sua respectiva implementação. O processo de geração de casos de teste usualmente requer uma representação formal do SeT (baseada nos documentos de especificação do SeT) e gera casos de teste abstratos, no sentido que eles estão no mesmo nível de detalhamento das especificações. Já a execução automática de casos de teste necessita de casos de teste executáveis, ou seja, aqueles que contêm detalhes de implementação do SeT para serem executados sem intervenção manual. Para usar automação desde a fase de projeto de teste até a fase de execução, é necessário preencher a lacuna entre o caso de teste abstrato (artefato de saída da geração automática de casos de teste) e o executável (artefato de entrada da execução automática de teste), pois eles estão em níveis de abstração diferentes. Usualmente, alguém com habilidades de programação realiza o processo de transformação do nível abstrato para o de implementação, despendendo muito esforço e tempo. Neste trabalho, avaliamos as propostas para mapeamento automático de casos de teste abstratos em executáveis existentes na literatura que estão de acordo com Teste Dirigido por Modelo (MDT), abordagem cujo intuito é gerar automaticamente artefatos de teste de software em diferentes níveis de abstração aplicando regras de transformação. Além de avaliar as propostas, escolhemos uma delas para instanciar para aplicações Web (as aplicações que mais cresceram nos últimos anos, tanto em uso, como em nível de complexidade), mostrando quais são os passos necessários para transformar os casos de teste abstratos em executáveis, levando em conta que existem bibliotecas especializadas no suporte à escrita deste último. Para avaliar a aplicabilidade da solução em aplicações Web reais, realizamos o estudo de caso usando aplicações Web de grande porte, duas delas de uso nacional e outra disseminada em escala mundial. Além disso, foi realizado o processo completo de teste (geração dos casos de teste abstratos; uso da proposta de instanciação, para aplicações Web, do método para transformar os casos de teste abstratos em executáveis; e execução dos testes), ilustrando a factibilidade da solução / Abstract: Automating the generation and execution of test cases meets the major challenge in software development that is doing more with fewer resources. However, to bring together these two processes, it is still necessary to bridge the gap between the specification level of the System under Test (SUT) and its respective implementation. The process of generating test cases usually requires a formal representation of the SUT (based on its specifications) and generates abstract test cases, in the sense that they are on the same detailing level of the specifications. On the other hand, the automatic execution of test cases needs executable test cases, i.e., those that contain implementation details of the SUT to run without manual intervention. So, to use automation from the test design phase to the test execution one, it is necessary to fill the gap between the abstract test case (output artifact of the automatic generation of test cases) and executable one (input artifact for the automatic test execution), once they are at different abstraction levels. Usually, someone with programming skills makes the process of transforming the abstract level to the implementation one, spending much effort and time. In this work, we evaluate the existing literature proposals for automatic mapping of abstract test cases into executable ones that were designed according to Model Driven Testing (MDT), one approach whose aim is to automatically generate software testing artifacts in different levels of abstraction by applying transformation rules. In addition to evaluating the proposals, we chose one to instantiate for Web applications (the kind of applications that have grown most in recent years, either in use as level of complexity), showing what are the steps needed to transform the abstract test cases into executable ones, taking into account that there are specialized libraries to support the writing of the latter one. To evaluate the solution applicability in real Web applications, we conducted case studies using large Web applications (two national ones and another which is worldwide used). In addition, we performed the whole test process (generation of abstract test cases; use of the proposed instantiation for web applications of a method to transform the abstract test cases into executable ones; and running the tests), illustrating the solution feasibility / Mestrado / Ciência da Computação / Mestra em Ciência da Computação

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.

No description available.

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.