Reproduction de : Thèse de doctorat : microélectronique : Grenoble, INPG : 1988. / Titre provenant de l'écran-titre. Bibliogr. p. 151-160.

No description available.

Thesis (M.S.)--Rochester Institute of Technology 1987. / Includes bibliographical references (leaves 86-88).

Techn. University, Diss., 2007--Darmstadt.

Thesis (Ph. D.)--Virginia Polytechnic Institute and State University, 1991. / Vita. Abstract. Bibliographies. Also available via the Internet.

Thesis (M.S.)--Rochester Institute of Technology, 1987. / Typescript. Includes bibliographical references (leaves 56-57).

Thèses (M.Sc.A.)--Université de Sherbrooke (Canada), 1997. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.

Resumo: Diversos critérios e ferramentas de teste têm sido propostos ultimamente com o objetivo de auxiliar a seleção e a avaliação de um conjunto de dados de teste. Dentre esses critérios, destacam-se os critérios baseados em análise de mutantes, que têm se mostrado um dos mais eficazes em revelar defeitos. Entretanto, esses trabalhos tratam do teste de programas escritos em linguagens procédurals e/ou orientadas a objeto. São poucos os trabalhos da literatura que abordam o teste de programas lógicos, tais como os escritos em Prolog, e a maioria deles não tem como objetivo a quantificação da atividade de teste e o estabelecimento de medidas de cobertura. Este trabalho trata da aplicação do critério Análise de Mutantes no teste de programas Prolog. Um conjunto de operadores de mutação para essa linguagem é proposto. O conjunto está baseado nas principais características do Prolog e em erros comuns que os programadores podem cometer nesse paradigma. Uma ferramenta de teste chamada MutProlog é descrita e resultados de experimentos com essa ferramenta mostram a aplicabilidade dos operadores propostos e permitem a comparação com a abordagem estrutural.

Orientador: Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas. Instituto de Computação / Made available in DSpace on 2018-07-27T07:08:28Z (GMT). No. of bitstreams: 1 Toyota_CristinaMaria_M.pdf: 3854909 bytes, checksum: 874b3dd3b8d9d802380a4a4fcec2d0b1 (MD5) Previous issue date: 2000 / Resumo: O esforço e custo adicionais exigidos pelo processo de teste de um software ou componente depende em geral de quão fácil é testá-Io. No caso de componentes reutilizáveis essa habilidade se toma mais importante ainda, pois eles devem ser testados durante seu desenvolvimento, toda vez que forem reutilizados em um novo contexto, e a cada vez que sofram alguma alteração. Uma proposta para construir classes com maior testabilidade foi feita fazendo-se uma analogia entre circuitos integrados e classes. Foi proposta a construção de classes autotestáveis e tal como em circuitos integrados, estas classes teriam mecanismos embutidos específicos para teste. Outro fator importante para testabilidade do software é a possibilidade de reutilização de testes. Por esta razão foi empregada nesse estudo a técnica incremental hierárquica, que leva em conta a hierarquia de herança permitindo que, em alguns casos, seja possível reutilizar casos de testes gerados para a classe base nos testes de suas classes derivadas. Este trabalho apresenta a metodologia definida para construir uma classe autotestável, bem como o protótipo construído para automatizar parte desta metodologia, mostrando assim a sua viabilidade / Abstract: In general the additional effort and cost required by the testing process depends on the testability of the software or component being tested. Testability is more important for reusable components because they need testing during their development and afier each change (either in the class or in the environrnent). An approach comparing classes and integrated circuits of hardware had been proposed for constructing classes with higher testability. The resulting class is called builtin self-testing class, because it contains built-in testing mechanisms. Class testability will be increased if reuse could be extended to the test cases too. The incremental hierarchical technique considers the inheritance relationship to test classes by reusing test cases of a parent class when testing a subclass. This work presentes: a methodology to construct built-in self-testing classes and a prototyping tool, ConCAT, that automates part of this methodology, by showing its feasibility / Mestrado / Mestre em Ciência da Computação

Orientador: Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-25T09:01:19Z (GMT). No. of bitstreams: 1 Sabiao_SelmaBassiga_M.pdf: 17266722 bytes, checksum: db5c06b5aed90b0f3a35b3277e7444f4 (MD5) Previous issue date: 1999 / Resumo: Com o aumento da demanda por sistemas confiáveis, cresce a necessidade de métodos e ferramentas que possibilitem a validação desses sistemas. Uma forma de validação desses sistemas é através de técnicas de teste. Nesta dissertação é proposto um método para geração de testes a partir de Máquinas Finitas de Estados Estendidas (MFEE). Este método tem por objetivo a geração de testes englobando aspectos de controle e dados de protocolos de comunicação. Para isso, diversas técnicas de teste caixa preta são combinadas, possibilitando a geração de testes para cobrir todos os aspectos do protocolo. Este método parte da especificação em MFEE e a transforma em uma especificação de teste. A partir dessa especificação, e de um conjunto de restrições especificadas pelo usuário, seqüências de teste são geradas através de técnicas de teste caixa preta. Para validar o método proposto, foi implementada uma ferramenta denominada CONDADO. Essa ferramenta implementa três técnicas de teste caixa preta: testes de transição de estados, testes de sintaxe e testes de domínio. Além disso, a CONDADO implementa mecanismos que possibilitam a geração de testes seletivos para cobrir funcionalidades específicas do protocolo através do uso de restrições. Um experimento foi realizado usando uma implementação do protocolo de solo bordo do satélite SACI-l do Instituto Nacional de Pesquisas Espaciais (INPE). / Abstract: The demand for reliable systems is increasing and because of that the construction of methods and tools have became more and more important. Specially for the validation through testing techniques. In this work, a test generation method based on Extend Finite State Machine (EFSM) has been developed. The goal of this method is to generate tests which combine both control and data in the field of communication protocols. Several black box testing techniques are combined by allowing test generation to cover all the protocol aspects. The method transforms the EFSM into a test specification. From this specification and a set of restrictions supplied by the user, tests sequences are generated through black box testing techniques. The method was validate by implementing a tool called CONDADO. This tool implements three black box testing techniques: state transition tests, syntax tests and domain tests. CONDADO also implements a mechanism that makes possible the use of restrictions to test specific protocol functionalities. The tool is intend to be used in the tests of communication systems developed by National Institute for Space Research of Brazil. / Mestrado / Mestre em Ciência da Computação