Orientadores: Silvia Regina Vergilio, Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-26T08:01:35Z (GMT). No. of bitstreams: 1 Peres_LeticiaMara_M.pdf: 8518550 bytes, checksum: 2de6ca87d235b1b8960f087717081807 (MD5) Previous issue date: 1999 / Resumo: Critérios estruturais de teste têm o objetivo de auxiliar a etapa de geração de dados de teste e de avaliar a adequação de um conjunto de casos de teste, oferecendo medidas de cobertura. Eles requerem a execução de caminhos do programa que exercitem alguns elementos, tais como: comandos, decisões, definições e usos de variáveis. A seleção de caminhos e conseqüente geração de dados de teste para aplicação de um critério estrutural é uma das etapas mais difíceis de serem automatizadas. Pois, é indecidível determinar um dado de entrada para executar um particular caminho em um programa; é indecidível determinar até mesmo se esse dado existe, ou seja, se o caminho é ou não executável. Isto, aliado à eficácia dos dados gerados, aumenta a importância dessa etapa e conseqüentemente os custos de teste. Por isso, vários trabalhos na literatura ressaltam a importância de estratégias para minimizar o número de caminhos não executáveis selecionados para satisfazer um dado critério estrutural. Este trabalho tem como objetivos estudar, propor e fornecer mecanismos para automatização e validação de estratégias de seleção de caminhos a serem utilizadas em conjunto com critérios de teste estrutural. São propostas estratégias que consideram diferentes características de programas para seleção de caminhos visando: aumentar a eficácia, facilitar a etapa de geração de dados, e reduzir os efeitos causados por caminhos não executáveis no teste de software. Uma estrutura de representação /automatização dessas estratégias é apresentada e um módulo que implementa essa estrutura é descrito. O módulo é uma extensão à ferramenta Poke-Tool que apóia a utilização de diferentes critérios de teste e foi utilizado para avaliar uma estratégia proposta com o objetivo de minimizar o número de caminhos não executáveis selecionados. Esta aplicação permitiu detectar algumas estruturas de programa para os quais a estratégia avaliada não alcança seu objetivo e também verificar aspectos de eficácia dos dados gerados para a execução dos caminhos selecionados / Abstract: Testing criteria are useful in the task of test case generation and they are predicates to consider the testing activity ended, that is, to determine the adequation of a test set. They require the execution of paths in the program that exercise some elements such as statements, decisions, definitions and uses of variables. Selecting paths and generating automatic test data for a given structural criterion are very hard activities since it is not always possible to determine a data that executes a particular path in a program; it is even undecidable whether this data exists, that is, whether the path is feasible. This makes those activities difficult and increases the cost of testing. Several researches attach importance to strategies that minimize the number of infeasible selected paths to cover structural criteria. The goal of this work is to study, propose and offer strategies to select paths and mechanisms to automate and validate these strategies to be used with structural criteria. The proposed strategies consider different characteristics of programs for paths selection with the goal of: increasing the efficacy, easing the test data generation and reducing the effects caused by infeasible paths in the software testing. A structure to represent these strategies are presented. A module that implements this structure is described. This module is an extension to the testing tool named Poke-Tool, that supports different structural testing criteria. It was used to evaluate a strategy that proposes to 'minimize the number of infeasible selected paths. This application was guided to the detection of some program structures for which the evaluated strategy did not meet its objective and pointed out some results about the efficacy of the generated test data / Mestrado / Mestre em Engenharia Elétrica

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-24T13:27:02Z (GMT). No. of bitstreams: 1 Cruzes_DanielaSoares_M.pdf: 7834363 bytes, checksum: cb27abf4f5223c8b710e659cad7de602 (MD5) Previous issue date: 1999 / Resumo: A depuração é uma atividade do desenvolvimento de software que tem como objetivo encontrar os defeitos de um programa, detectados durante o teste. Poucas ferramentas atualmente exploram as informações que são fornecidas pelo teste para auxiliar a depuração. Esta dissertação tem como motivação principal acoplar informações geradas durante o teste à atividade de depuração, de forma a auxiliar na formulação de hipóteses sobre as localizações de defeitos. Este trabalho envolveu também o estudo das atividades de teste e depuração no intuito de determinar as informações que os programadores e testadores buscam em cada etapa. Estas informações foram utilizadas para aprimorar duas ferramentas já existentes, a Poke-Tool e a ViewGraph, fornecendo suporte à geração e a visualização das informações requeridas para auxilio à depuração e teste de programas, através de uma nova ferramenta, denominada View. ...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: Debugging is the activity of the software development that has the goal of locating defects of a program, detected through failures occurring during software testing. Few tools currently take advantage of information supplied by testing to assist in debugging tasks. This thesis has as main motivation the use of information generated from testing in debugging activities, to help in providing hypotheses about defects location. This work also involved the study of tasks of testing and debugging to determine the information programmersand testers seek in each stage.This informationhas been used to improve two existing tools, Poke-Tool and ViewGraph, providing support to the generation and visualization of information required to assist debugging and testing of programs through a new tool, called View. ...Note: The complete abstract is available with the full electronic digital thesis or dissertations / Mestrado / Automação / Mestre em Engenharia Elétrica

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.

Orientadores : Mario Jino, Jose Carlos Maldonado / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-29T02:55:55Z (GMT). No. of bitstreams: 1 Chaim_MarcosLordello_D.pdf: 2145826 bytes, checksum: f79a314fa85dd9e2cc7231a2488a7182 (MD5) Previous issue date: 2001 / Doutorado

Orientadores : Mario Jino, Marcos Lordello Chaim / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T04:01:44Z (GMT). No. of bitstreams: 1 Carniello_Andreia_M.pdf: 318669 bytes, checksum: 79cdb4d9c99ea9254b12a1bda9ad3810 (MD5) Previous issue date: 2003 / Mestrado

Orientadores: Mario Jino, Marcos Lordello Chaim / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T06:19:35Z (GMT). No. of bitstreams: 1 Carniello_Adriana_M.pdf: 8740936 bytes, checksum: c2da88ff8d7b4fb70fb249b3c1c6f714 (MD5) Previous issue date: 2003 / Mestrado

Orientadores : Jose Carlos Maldonado , Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-18T04:25:13Z (GMT). No. of bitstreams: 1 Fonseca_RubensPontesda_M.pdf: 9449914 bytes, checksum: 191429c3dcbecf5a913dde0cd47721d7 (MD5) Previous issue date: 1993 / Resumo: As atividades de teste conduzidas manualmente são tão sujeitas a erros quanto as outras atividades do desenvolvimento de software. Critérios de teste estrutural baseados em análise de fluxo de dados têm sido propostos para o teste de unidade; não existe uma ferramenta de teste que apóie a aplicação desses critérios para programas implementados na linguagem FORTRAN-77. No DCA/FEE/UNICAMP foi desenvolvida uma ferramenta de teste que apóia a aplicação dos Critérios Potenciais Usos PU (uma famíl ia de critérios de fluxo de dados), denominada POKE-TOOL, configurável para diversas linguagens e que está operacional para as linguagens C e COBOL. Este trabalho apresenta a configuração da POKE-TOOL para a linguagem FORTRAN-77. A POKE-TOOL/versão FORTRAN-77 foi vai idada parcialmente com sua aplicação no teste de um conjunto de programas selecionados da literatura; os resultados dessa atividade são também apresentados e brevemente analisados neste trabalho / Abstract: Testing activities applied manually are as error-prone as other software development activities. Data-flow based structured testing criteria have been proposed for unit testing; there is no testing tool supporting these criteria for programs implemented in the FORTRAN-77. At DCA/FEE/UNICAMP a configurable testing tool, named POKE- TOOL., which supports the application of the Potential Uses Criteria (a data-flow based testing criteria family) has been developed and 15 operational for languages C and COBOL. This work presents the configuration of POKE-TOOL for FORTRAN-77. POKE-TOOL/version FORTRAN-77 has been partially validated using a program set selected from the Iiterature; the results of this activitv are also presented and briefly analysed in this work / Mestrado / Automação / Mestre em Engenharia Elétrica

Devido ao crescente número e diversidade de usuários, novas abordagens de teste são necessárias para reduzir a ocorrência de defeitos e garantir uma melhor qualidade em aplicações móveis. As particularidades desse tipo de software exigem que as técnicas de teste tradicionais sejam revisitadas e novas abordagens propostas. A natureza direcionada a eventos e as funcionalidades de aplicações móveis demandam que os testes sejam executados de maneira automatizada. O Teste Baseado em Modelo (TBM) apresenta-se como uma abordagem válida e promissora que oportuniza o uso de um processo definido, bem como de mecanismos e técnicas formais para o teste de aplicações móveis. Esta dissertação de mestrado tem como objetivo investigar a adoção de TBM junto à técnica de modelagem Event Sequence Graph (ESG) no teste de aplicações móveis para a plataforma Android. Inicialmente, o TBM é avaliado com o apoio de ESG e da ferramenta Robotium. Com base nos resultados obtidos e desafios identificados, propõe-se uma abordagem específica que fundamenta o reuso de modelos de teste para (i) reduzir o esforço manual demandado na etapa de concretização de casos de teste e (ii) testar distintas características inerentes ao contexto de mobilidade. Uma ferramenta de apoio foi projetada e desenvolvida para automatizar a abordagem proposta. Um estudo experimental em ambiente industrial é conduzido para avaliar a abordagem e a ferramenta propostas quanto à efetividade na redução do esforço requisitado para a concretização, bem como à capacidade de detecção de defeitos em aplicações móveis desenvolvidas na plataforma Android. / Due to the increasing number and diversity of users, new testing approaches are necessary to reduce the presence of faults and ensure better quality in mobile applications. The particularities of this class of software require that traditional testing techniques are revisited and new approaches proposed. The event oriented nature and functionalities of mobile applications demand tests that can be performed automatically. Model-Based Testing (MBT) is a valid and promising approach that favors the use of a defined process, as well as mechanisms and formal techniques for the testing of mobile applications. This dissertation investigates the odoption of MBT along with the modeling technique Event Sequence Graph (ESG) to test Android applications. Initially, we evaluate TBM supported by ESG and the Robotium tool. Based on the results and challenges identified, we propose a specific approach underlying the reuse of test models to (i) reduce the manual effort to the concretization of test cases and to (ii) test different and inherited characteristics of the mobility context. A supporting tool was designed and implemented to automate the proposed approach. Finaly, we conducted an experimental study in an industrial environment to evaluate the proposed approach and tool regarding the effectiveness in reducing the concretization’s efforts, as well as the fault detection capability in Android mobile applications.

Orientadores: Mario Jino, Silvia Regina Vergilio / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-09T21:13:12Z (GMT). No. of bitstreams: 1 Emer_MariaClaudiaFigueiredoPereira_D.pdf: 934024 bytes, checksum: dbb2079115b56358ff3dc9e747df6386 (MD5) Previous issue date: 2007 / Resumo: Dados são manipulados em várias aplicações de software envolvendo operações críticas. Em tais aplicações assegurar a qualidade dos dados manipulados é fundamental. Esquemas de dados definem a estrutura lógica e os relacionamentos entre os dados. O teste de esquemas por meio de abordagens, critérios e ferramentas de teste específicos é uma forma pouco explorada de assegurar a qualidade de dados definidos por esquemas. Este trabalho propõe uma abordagem de teste baseada em classes de defeitos comumente identificados em esquemas de dados. Um metamodelo de dados é definido para especificar os esquemas que podem ser testados e as restrições aos dados nos esquemas. Defeitos possíveis de serem revelados são os relacionados à definição incorreta ou ausente de restrições aos dados no esquema. A abordagem inclui a geração automática de um conjunto de teste que contém instâncias de dados e consultas a essas instâncias; as instâncias de dados e as consultas são geradas de acordo com padrões definidos em cada classe de defeito. Experimentos nos contextos de aplicações Web e de base de dados foram realizados para ilustrar a aplicação da abordagem / Abstract: Data are used in several software applications involving critical operations. In such applications to ensure the quality of the manipulated data is fundamental. Data schemas define the logical structure and the relationships among data. Testing schemas by means of specific testing approaches, criteria and tools has not been explored adequately as a way to ensure the quality of data defined by schemas. This work proposes a testing approach based on fault classes usually identified in data schemas. A data metamodel is defined to specify the schemas that can be tested and the constraints to the data in schemas. This testing approach provides means for revealing faults related to incorrect or absent definition of constraints for the data in the schema. The approach includes the automatic generation of a test set which contains data instances and queries to these instances; the data instances and queries are generated according to patterns defined in each fault class. Experiments in the contexts of Web and database applications were carried out to illustrate the testing approach application / Doutorado / Engenharia de Computação / Doutor em Engenharia Elétrica

Orientadores: Mario Jino, Plinio Roberto Souza Vilela / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-05T17:50:16Z (GMT). No. of bitstreams: 1 LeitaoJunior_PliniodeSa_D.pdf: 1822006 bytes, checksum: d9b1eca29d417bcd74707f2e6c4d1eef (MD5) Previous issue date: 2005 / Resumo: Bancos de dados ativos têm sido usados como uma alternativa à implementação de parte da funcionalidade de muitas aplicações em diversas áreas de conhecimento. A idéia básica é a resposta automática à ocorrência de eventos pela ativação de tarefas com funções específicas, conduzindo à execução de regras ativas. A despeito do uso difundido dessa tecnologia, pouco esforço de pesquisa tem sido direcionado ao teste de aplicações de bancos de dados ativos. Nesta pesquisa, nós investigamos o uso de uma técnica de teste estrutural para revelar a presença de defeitos, visando à melhoria de qualidade e ao aumento do nível de confiança com relação a este tipo de software. Uma família de critérios de adequação é proposta e analisada, no âmbito de regras ativas escritas em SQL. Especificamente, um modelo de interação entre regras é elaborado, visando à abstração de associações de interação, as quais formam a base para os requisitos de teste. No contexto de teste estrutural baseado em fluxo de dados, é definido um conjunto de critérios de adequação, denominados Critérios Baseados na Interação entre Regras, que requerem o exercício de associações de interação. Os critérios são uma extensão ao critério todos usos, pela exploração de relações de fluxo de dados persistentes devido a interações entre regras. Investigações teóricas e empíricas foram conduzidas, demonstrando que os critérios demonstram habilidade na detecção dos defeitos com complexidade polinomial. Defeitos e falhas de manipulação foram estudados, enumerados e utilizados em um experimento que avalia a habilidade de detecção de defeitos dos critérios em diferentes granularidades: precisões da análise de fluxo de dados. Uma ferramenta chamada ADAPT-TOOL (Active Database APplication Testing TOOL for active rules written in SQL) foi construída para suportar o experimento. Os resultados indicam que: (i) a eficácia de detecção de defeitos alcançou 2/3 do conjunto adequado, obtendo-se valores mais elevados para granularidades menos precisas; e (ii) a cobertura de associações de interação em granularidades mais precisas não melhora a habilidade de revelar defeitos / Abstract: Active Rule databases have been used as an alternative to the partial implementation of applications in several knowledge domains. Their principle is the automatic response to events by the activation of tasks with specific functionalities, leading to the execution of active rules. Notwithstanding their widespread use, few research efforts have been concentrated on active database application testing. In this research work we investigate the use of a structural testing technique to reveal the presence of faults, aimed at improving reliability and overall quality of this kind of software. A family of adequacy criteria is proposed and analysed in the active SQL-based database realm. Specifically, an interaction model between rules is elaborated, in order to abstract interaction associations that form the basis for testing requirements. In the context of data flow based structural testing, a family of adequacy criteria is defined, called Interaction Between Rules based Criteria, that demands the coverage of interaction associations. The criteria are an extension to the all uses criterion, by the exploitation of persistent data flow relations associated to rule interaction. Both theoretical and empirical investigations were performed, showing that the criteria posses fault detecting ability with polynomial complexity. Manipulation faults and failures were studied, enumerated and used in an experiment that evaluates criteria fault detecting ability at different granularities: data flow analysis precisions. A tool called ADAPT-TOOL (Active Database APplication Testing TOOL for active rules written in SQL) was built to support the experiment. The results indicate that: i) the fault-detecting efficacy was 2/3 of the adequate set, and reaches higher values for the lower data flow analysis precision; and (ii) the coverage of interaction association at higher granularities does not improve the fault detecting ability / Doutorado / Engenharia de Computação / Doutor em Engenharia Elétrica