1 |
PREDTOOLSilva, Edenilson José da 27 October 2010 (has links)
No description available.
|
2 |
Criterios restritos de teste de software : uma contribuição para gerar dados de teste mais eficazesVergilio, Silvia Regina 27 July 1997 (has links)
Orientadores: Jose Carlos Maldonado, Mario Jino / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-22T21:00:59Z (GMT). No. of bitstreams: 1
Vergilio_SilviaRegina_D.pdf: 8065952 bytes, checksum: 030c4242de7564d75e341340132d08f7 (MD5)
Previous issue date: 1997 / Resumo: Critérios de teste estrutural dividem o domínio de entrada de um programa em teste, em sub-domínios e requerem que pelo menos um ponto de cada sub-domínio seja executado, auxiliando na geração de dados de teste; permitem ainda, a avaliação da adequação de um dado conjunto de dados (casos) de teste. Uma vez particionado o domínio, é necessário responder à seguinte questão: "Que pontos de cada sub-domínio devem ser selecionados?". Isso diz respeito à tarefa de geração de dados de teste para satisfazer um critério. Essa é uma atividade bastante complexa de ser automatizada pois não existe um algoritmo de propósito geral para determinar um conjunto de casos de teste que satisfaça um dado critério para um particular programa. Não é possível nem mesmo determinar se esse conjunto existe. Na literatura são encontradas diferentes técnicas de geração de dados de teste que utilizam diferentes fundamentos para selecionar pontos do domínio que descrevem certos tipos de erros e, por isso, com alta probabilidade de revelar esses erros. No entanto, essas técnicas são apresentadas de forma dissociada dos critérios estruturais. Este trabalho introduz uma família de Critérios Baseados em Restrições, denominados Critérios Restritos, que têm o objetivo de aumentar a eficácia das atividades de teste e de oferecer medidas de cobertura. Os Critérios Restritos permitem a utilização de critérios estruturais juntamente com os princípios de técnicas de geração de dados de teste sensíveis a erros e foram motivados por resultados de estudos teóricos e empíricos conduzidos com essas técnicas. Nesse trabalho, esses resultados, que serviram como motivação para a introdução dos Critérios Restritos, são apresentados. São discutidos aspectos de complexidade e de relação de inclusão entre os Critérios Restritos e os demais critérios. Também é proposta uma extensão da ferramenta de testes POKE- TOOL para apoiar a utilização desses critérios e para facilitar a etapa de geração de dados de teste. Um experimento de avaliação dos Critérios Restritos é descrito. Os resultados desse experimento comprovam a aplicabilidade desses critérios e indicam um aumento no número de erros revelados. Ao final, são propostas duas estratégias de geração de dados de teste para satisfazer critérios de teste estrutural. Elas têm como objetivo reduzir os efeitos causados por caminhos não executáveis na atividade de teste e gerar dados com alta probabilidade de revelar erros. Entre essas estratégias propõe-se uma estratégia incremental, baseada na hierarquia entre os critérios, e que garante a preservação da relação de inclusão mesmo quando o fator eficácia é considerado / Abstract: Structural testing criteria divide the program input domain to sub-domains and require the execution of at least one point from each sub-domain. They support the test data generation phase and the adequacy analysis of a test set. Once the domain is divided, the question is posed: "What points in each sub-domain should be selected?" This question concerns to the task of generating test data to satisfy a criterion, which is very complex to be automated since there is no general algorithm to determine a set of test cases that satisfy a given criterion; it is not possible to determine even that such set exists. In the literature there are different test data generation techniques with different principIes for choosing points from the program domain associated to certain errors, with a high probability of revealing them. However these techniques are presented not associated to structural criteria. This work introduces a family of criteria, named Constraint Based Criteria. They have the goal of increasing the testing activity efficacy and make possible to obtain coverage measures. They permit the use of error-sensitive data generation techniques with structural criteria. The Constraint Based Criteria proposal was motivated by results obtained from empirical and theoretical studies with these techniques. These results are presented. Aspects of complexity and the inclusion relation among Constraint Based Criteria and othercriteria are discussed. An extension to POKE- TOOL is proposed with the goal of supporting Constraint Based Criteria and easing the data test generation phase. An experiment to evaluate the Constraint Based Criteria is described. The results from this experiment show their applicability and an increase in the number of revealed errors. And finally, two test data generation strategies to satisfy structural criteria are proposed. They have the goal of reducing the effects of infeasible paths in the testing activity and of generating test data with high probability of revealing errors. One of these strategies is incremental, based on the hierarchy of criteria and always preserve the inclusion relation among criteria even when the factor efficacy is considered. / Doutorado / Engenharia de Computação / Doutor em Engenharia Elétrica
|
3 |
Avaliação da construção e uso de classes autotestaveisYanagawa, Rosileny Lie 27 July 2018 (has links)
Orientador: Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-27T10:44:06Z (GMT). No. of bitstreams: 1
Yanagawa_RosilenyLie_M.pdf: 14473662 bytes, checksum: 0043470ed494fa6d88de20deb23220ba (MD5)
Previous issue date: 2000 / Resumo: Esta dissertação descreve uma metodologia para a construção e uso de classes autotestáveis. A metodologia busca melhorar a testabilidade de Sistemas Orientados a Objetos, através da adaptação de conceitos consolidados em hardware, como o Projeto para Testabilidade (DFT, do inglês Design for Testability) e o conceito de autoteste, que significa a adição de estruturas especiais a componentes para permitir que testes sejam gerados e avaliados internamente. Além do conceito do autoteste, nosso trabalho faz uso da hierarquia de herança existente para permitir também a reutilização dos testes. Neste sentido, a Técnica Incremental Hierárquica (HIT) [Har92] é usada com o objetivo de permitir que os testes de uma superclasse possam ser reusados para uma subclasse. As vantagens e desvantagens do uso da metodologia são mostradas na dissertação de duas formas: a primeira através de uma apresentação dos passos para a construção e uso de classes autotestáveis baseada nos testes de classes da biblioteca MFC (Microsoft Foundation Classes); e a segunda através do uso da metodologia nos testes de um conjunto de classes de uma aplicação real. Esta dissertação também apresenta uma avaliação empírica feita para determinar se os testes gerados neste trabalho têm um bom potencial para encontrar falhas. Os resultados mostraram que os testes gerados possuem um bom potencial na detecção de falhas. Nossos resultados ainda não oferecem uma evidência definitiva sobre a eficácia do conjunto de requisitos de teste gerado, porém mostram que a estratégia de teste adotada pode ser útil nos testes de classes de sistemas 00. / Abstract: This thesis describes a methodology for building and using self-testing classes. The methodology aims to improve the testability of Object Oriented (00) Systems, through the adaptation of concepts consolidated in hardware, as the Design for Testability (DFT) and the self-testing concepts, which means the addition of special structures to the components to allow tests to be generated and evaluated internally. In addition to the self- testing concept, our work makes use of the existing inheritance hierarchy allowing also the tests reuse. In this direction, the Hierarchical Incremental Testing (HIT) approach, proposed in [Har92], allows a test sequence for a parent class to be reused, whenever possible, when testing one of its subclasses. The advantages and disadvantages of the methodology are shown in the thesis in two ways: (1) a presentation of steps that should be carried out in building and using a self- testing class, based on classes from the Microsoft Foundation Class (MFC); and (2) the methodology use in testing a set of classes from a real application. This thesis also presents an empirical evaluation to determine if the tests generated in this work have a good potential for finding faults. The results have shown that the generated tests have a good potential in fault detention. Our results still do not offer a definitive evidence on the effectiveness of a set of generated test cases; however, they show that the adopted strategy of test can be useful in the 00 systems classes tests. / Mestrado / Mestre em Ciência da Computação
|
4 |
Análise de mutantes e critérios restritos no contexto de teste de softwareSoares, Inali Wisniewski 27 October 2010 (has links)
No description available.
|
5 |
Uma estrategia para testes de regressão utilizando classes testaveisVieira, Vanessa Gindri 22 October 2004 (has links)
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
|
6 |
Estrategia de automação em testes : requisitos, arquitetura e acompanhamento de sua implantaçãoCosta, Mozart Guerra 23 February 2004 (has links)
Orientador: Eliane Martins / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-07T02:39:17Z (GMT). No. of bitstreams: 1
Costa_MozartGuerra_M.pdf: 831820 bytes, checksum: 7ecbd1a4b8f167b0fb230253340d2fbf (MD5)
Previous issue date: 2006 / Resumo: O teste é uma atividade que ajuda ao atendimento da crescente demanda por uma maior qualidade do software. A automação traz a possibilidade de tornar o teste mais rápido e efetivo em encontrar erros, desde que se tenha atenção quanto ao que automatizar e como deve ser feita esta automação. Este trabalho final busca organizar diversos requisitos de automação em uma arquitetura composta por seis funcionalidades: planejamento dos testes, construção dos artefatos, execução, análise de falhas, medições e gerência de configuração dos artefatos de teste. São apresentados modelos que servem como guia para a automação, tais como: o relacionamento entre os artefatos, as ferramentas responsáveis pelos artefatos e as necessidades de integração entre as ferramentas. Além disso, são identificadas as necessidades levantadas supridas pelas ferramentas já existentes na empresa do campo de estudo deste trabalho e são relatadas as iniciativas para solucionar as necessidades não atendidas diretamente pelas ferramenta / Abstract: Testing is an activity that helps to meet the increasing demand for better quality software. Automation can make testing faster and more effective in error identification, provided proper attention is given to what and how to automate. The objective of this dissertation is to organize several automation requirements in an architecture made up of six functionalities: test planning, artifact construction, execution, failure analysis, measurements, and set up management of test artifacts. It also introduces models that work as a guideline for automation such as artifact relationship, tools responsible for artifacts, and tool integration requirements. In addition, it verifies whether the needs in question have been addressed by tools already available at the company and highlights initiatives to solve whatever has not been directly achieved by these tools / Mestrado / Engenharia de Software / Mestre em Computação
|
7 |
Um modelo de avaliação dos requisitos no processo de desenvolvimento de softwareRodrigues, Luiz Gustavo Mendes 21 February 2006 (has links)
Orientadores: Mario Jino, Cid Carvalho de Souza / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-07T00:55:16Z (GMT). No. of bitstreams: 1
Rodrigues_LuizGustavoMendes_M.pdf: 574488 bytes, checksum: 4a2ca4c84e7c4610503285e2aad4c073 (MD5)
Previous issue date: 2006 / Resumo: Literatura recente aponta que aproximadamente 40% dos fatores de fracasso de um projeto estão relacionados com defeitos nos requisitos do projeto. Este problema tem elevado o custo da construção de um software bem como afetado a qualidade dos produtos entregues. Qualidade de software está fortemente ligada à qualidade do processo de desenvolvimento de software e teste de software tem grande importância no processo de garantia da qualidade, pois as técnicas de teste são as últimas a serem aplicadas para assegurar que o software satisfaz suas especificações. Este trabalho propõe uma adaptação no Modelo V de desenvolvimento de software, visando criar mecanismos para melhorar a qualidade dos requisitos de software e para dar suporte às atividades de teste, como uma maneira de melhorar a eficácia do processo de desenvolvimento de software. O Modelo Proposto introduz atividades para validação de requisitos, que aplicam técnicas relacionadas a teste de software desde o início de um projeto de software. O Modelo Proposto foi avaliado por meio de um estudo experimental aplicado em projetos reais. Os resultados indicam que as técnicas introduzi das no Modelo V são eficazes e que ganhos em qualidade e custo são obtidos pelo uso do Modelo Proposto / Abstract: Recent literature indicates that approximately 40% of the failure factors of a project are related to defects in project requirements. This problem has increased the cost of software development as well as has affected the quality of delivered productso Software quality is strongly connected with the quality of the software development process and software testing is very important in the quality assurance process. as test techniques are the last ones applied to assure that software meets its requirements. This work proposes an adaptation in the V Model of software development. aimed to create mechanisms to improve the quality of software requirements and to support testing activities. as a way to improve the efficacy of the software development processo The Proposed Model introduces techniques for requirements validation. which apply software test activities since the early stages of a software project. The Proposed Model was evaluated by means of an experimental study applied to real projectso The results indicate that the techniques introduced in the V Model are efficacious and that gains in quality and cost are obtained by using the Proposed Model / Mestrado / Engenharia de Software / Mestre em Computação
|
8 |
Um metodo de testes para componentes tolerantes a falhasRocha, Camila Ribeiro 23 November 2005 (has links)
Orientador: Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-07T04:49:59Z (GMT). No. of bitstreams: 1
Rocha_CamilaRibeiro_M.pdf: 20985604 bytes, checksum: 50cbb47532e2d8ee64f537135b9d8b89 (MD5)
Previous issue date: 2005 / Resumo: Componentes de software são cada vez mais utilizados no desenvolvimento de sistemas computacionais, incluindo sistemas críticos, dados os benefícios de redução de custo e tempo de desenvolvimento através da reutilização de código. A garantia da qualidade, porém, continua dependente da realização de testes a cada novo contexto, e é dificultada especialmente pela falta de conhecimento sobre o funcionamento do componente. O método proposto tem como foco principal componentes tolerantes a falhas, e busca facilitar a realização de testes caixa preta que exercitem tanto o comportamento normal quanto o comportamento excepcional do componente. O método é voltado para a construção de componentes testáveis, apresentando diretrizes para inclusão de mecanismos de monitoração e de verificação dos contratos dos componentes, mesmo sem a presença de código fonte, com a utilização de programação orientada a aspectos. Para a geração automática de drivers e stubs, são utilizados modelos comportamentais do componente, no formato do diagrama de atividade da linguagem UML. O método de testes pode ser usado paralelamente ao método de desenvolvimento. No trabalho é apresentado o uso do método em conjunto com o Método para Definição do Comportamento Excepcional (MDCE+), proposto em outra dissertação de mestrado do Instituto de Computação da Unicam / Abstract: Nowadays software components are widely used in software development, including critical systems, because of advantages such as time and cost reduction through code reuse.However, quality assurance, although, is still dependent on test execution at every new utilization context of the component, and usually faces difficulties specially related to lack of knowledge about component details. The test method proposed focuses fault-tolerant components, facilitating black-box testing of both normal and exceptional behavior. Aiming testable components development, the method proposed presents guidelines for inclusion of tracking and contract checking mechanisms, source code independently, using aspect-oriented programming. Drivers and stubs are automatically generated from component behavior models, in UML activity diagram form. The test method can be used together with a development method. In this work, the test method use is presented in parallel to Method for the Definition of Exceptional Behavior, proposed in a Master¿s thesis of the Institute of Computing at Unicam / Mestrado / Mestre em Ciência da Computação
|
9 |
Criterios potenciais usos de integração : definição e analiseVilela, Plinio Roberto Souza 13 April 1998 (has links)
Orienatadores: Mario Jino, Jose C. Maldonado / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-23T17:06:42Z (GMT). No. of bitstreams: 1
Vilela_PlinioRobertoSouza_D.pdf: 10402610 bytes, checksum: ca9c843024527b5bd91e864c000d8e04 (MD5)
Previous issue date: 1998 / Resumo: Uma família de Critérios de Teste Estrutural baseado em Análise de Fluxo de Dados para o Teste de Integração de Programas, denominada Família de Critérios Potenciais Usos de Integração, é definida. Essa família de critérios inclui os critérios básicos e os critérios executáveis. As propriedades teóricas desses critérios são analisadas, incluindo a análise da relação de inclusão e da habilidade de detecção de defeitos tanto para os critérios básicos como para os executáveis. Essa família de critérios estabelece uma hierarquia de critérios entre o teste de ramos e o teste de caminhos tanto para a relação de inclusão como para a habilidade de detecção de defeitos, mesmo na presença de caminhos não executáveis. A análise inicial para a especificação de uma ferramenta de teste que suporte a aplicação dos Critérios Potenciais Usos de Integração é apresentada. Uma abordagem conservadora para o teste de programas com variáveis do tipo ponteiro, baseada na abordagem proposta por Maldonado para variáveis do tipo vetor (¿array¿), é apresentada. Essa abordagem é, em geral, mais exigente em termos do número de elementos requeridos que as outras abordagens apresentadas na literatura. Complementando o estudo da eficácia dos Critérios Potenciais Usos, apresentado por Maldonado, sob o ponto de vista empírico, analisa-se a eficácia desses critérios sob o ponto de vista teórico... Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: A Family of Data Flow based Testing Criteria for the Integration Testing of Programs, called Integration Potential Uses Criteria, is defined. This family includes basic and feasible criteria. An analysis of the properties of the criteria, including the subsumption relation and the fault detecting ability, reveals that a hierarchy, bridging the gap between data flow based criteria and path testing, is established. The hierarchy is preserved even in the presence of infeasible paths. A preliminary analysis for the specification of a tool to support the application of the Potential Uses Criteria for Integration Testing is presented. A conservative approach for testing programs with pointers, based on the approach defined on a previous work by Maldonado for testing programs with arrays, is proposed. This approach is usually more demanding, in terms of the number of required elements, than previously presented ones. Complementing Maldonado¿s empirical studies of the efficacy of the Potential Uses Criteria at the unit level, the efficacy of the Potential Uses Criteria is theoretically analyzed. This analysis became possible after the definition of a set of relations to compare the fault detecting ability of testing criteria presented by Frankl and Weyuker... Note: The complete abstract is available with the full electronic digital thesis or dissertations / Doutorado / Doutor em Engenharia Elétrica
|
10 |
Uma estrategia para o desenvolvimento de componentes de software autotestaveisUkuma, Luciano Hayato 04 August 2002 (has links)
Orientador : Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-02T17:28:09Z (GMT). No. of bitstreams: 1
Ukuma_LucianoHayato_M.pdf: 4506949 bytes, checksum: 0e10a40e54da82aaa2007ceb9ecc8235 (MD5)
Previous issue date: 2002 / Resumo: A atividade de teste de software tem-se mostrado de extrema importância para o desenvolvimento de software com qualidade. No caso do desenvolvimento de software baseado em componentes, tal atividade tem ainda maior importância devido a característica da reusabilidade, pois para que o reuso seja bem sucedido é fundamental que o componente reutilizável seja confiável. Desta forma, componentes devem ser testados durante todo seu desenvolvimento e a cada vez que haja alguma alteração. Neste trabalho é apresentada a descrição de uma estratégia para o desenvolvimento de componentes autotestáveis que tem como objetivo construir componentes que possuam mecanismos de teste embutidos afim de melhorar sua testabilidade. O objetivo final é reduzir os custos com a realização dos testes sem comprometimento da confiabilidade. Mais especificamente nossa estratégia está baseada nos seguintes elementos: especificação do componente, especificação de teste, mecanismos de teste embutido e geração de casos de teste / Abstract: The software test activity has revealed to be of extreme importance for the development of good quality software. In particular, in the case of the component-based development, such an activity has an even greater importance due to reusability potential. However, for the reuse to be successful it is fundamental that the reusable component be reliable. Thereby, components should be tested during it development time and every time that the component undergoes some alteration. This work presents the description of a strategy for the development of self-testing components that aims to construct components that have built-in test mechanisms to improve the testability in order to reduce the costs with test realization, without compromising reliability. More specifically, our strategy is based on: component specification, test specification, built-in test mechanisms and test case generation / Mestrado / Mestre em Ciência da Computação
|
Page generated in 0.061 seconds