Please use this identifier to cite or link to this item:
http://hdl.handle.net/1843/ESBF-AE7MUP| Type: | Dissertação de Mestrado |
| Title: | Geração de casos de teste para linguagens com aritimética de ponteiro |
| Authors: | Francisco Demontiê dos Santos Junior |
| First Advisor: | Mariza Andrade da Silva Bigonha |
| First Co-advisor: | Fernando Magno Quintao Pereira |
| First Referee: | Fernando Magno Quintao Pereira |
| Second Referee: | Humberto Torres Marques Neto |
| Third Referee: | Eduardo Magno Lages Figueiredo |
| Abstract: | Testar e depurar software são tarefas difíceis. Em geral, é preciso esperar que o fluxo de execução chegue a uma função de forma a poder testá-la. Nesse sentido, muito esforço foi empregado no desenvolvimento de técnicas, tais como execução simbólica e fuzz testing, para geração automática de casos de teste para analisar funções de interesse. Entretanto, tais técnicas possuem limitações. Uma limitação que chama a nossa atenção é o fato de que, até onde sabemos, nenhuma técnica atual relaciona arranjos passados como entradas para funções com outras entradas que representem seus tamanhos. Isso faz com que os casos de teste gerados, em algumas situações, possam levar a acessos inválidos à memória que não aconteceriam em execuções reais do programa sendo testado. Nessa dissertação, apresentamos duas análises estáticas para inferência de tamanhos de arranjos, bem como um algoritmo para geração de casos de teste capaz de gerar testes seguros usando tais análises. Como forma de avaliar a efetividade da nossa técnica, realizamos dois experimentos.No primeiro deles, as análises estáticas foram capazes de relacionar X% dos tamanhos de arranjos recebidos como parâmetro por funções dos programas contidos no SPEC CPU 2006 (um conjunto de benchmarks contendo programas reais). No segundo, nós melhoraramos a efetividade da ferramenta Asymptus, que realiza análise automática de complexidade de funções e foi desenvolvida como um estudo preliminar deste mestrado. Utilizando a nossa abordagem de geração de entradas, Asymptus foi capaz de analisar Y% das funções contidas nos benchmarks do Rodinia, contra Z% sem o uso da abordagem. Isso mostra que nossa técnica de geração de entradas é útil para a execução automática de funções de interesse. |
| Abstract: | Software testing and debugging are hard tasks. In general, it is necessary that the execution flow reaches a function in order to test it. Much effort was employed in the development of techniques to automatically generate test cases to analyze functions of interest. However, such techniques have limitations. One which catches our attention is the fact that, from the best of our knowledge, no current technique relates arrays received by functions with their sizes. Thus, existing techniques may generate test cases which lead to invalid memory accesses that would not happen in a real execution of the program. We present two static analyses for inference of array sizes, as well as an algorithm for generation of test cases capable of generating safe tests by using such analyses. The analyses were able to bind sizes for 34.6% of the arrays received by functions of the SPEC CPU 2006 benchmark suite. We also show that our technique is useful for the automatic execution of interest functions. |
| Subject: | Diagrama de fluxo de dados Computação Software Validação Compiladores (Programas de computador) |
| language: | Inglês |
| Publisher: | Universidade Federal de Minas Gerais |
| Publisher Initials: | UFMG |
| Rights: | Acesso Aberto |
| URI: | http://hdl.handle.net/1843/ESBF-AE7MUP |
| Issue Date: | 29-Jan-2016 |
| Appears in Collections: | Dissertações de Mestrado |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| franciscodemonti_.pdf | 1.82 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.