Texto completo
| |
| Autor(es): |
Paulo Marcos Siqueira Bueno
Número total de Autores: 1
|
| Tipo de documento: | Dissertação de Mestrado |
| Imprenta: | Campinas, SP. |
| Instituição: | Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica e de Computação |
| Data de defesa: | 1999-02-06 |
| Membros da banca: |
Mario Jino
|
| Orientador: | Mario Jino |
| Resumo | |
Este trabalho apresenta uma ferramenta e técnicas para automação da geração de dados e identificação de não executabilidade para a técnica estrutural de teste de software. A ferramenta baseia-se na Técnica Dinâmica; na busca utilizando Algoritmos Genéticos; e no reuso de soluções passadas através do Raciocínio Baseado em Casos. O objetivo é gerara automaticamente dados de entrada que executem caminhos completos no programa em teste e identificar a não executabilidade desses caminhos quando for o caso; o que é feito através da Heurística de Identificação Dinâmica de Potencial não Executabilidade proposta. Um experimento conduzido mostra a validade das soluções elaboradas e do benefício da utilização da ferramenta. Os resultados alcançados sugerem que, apesar da indecidibilidade geral desses problemas, soluções parciais podem ser úteis à prática do teste de software (AU) | |
| Processo FAPESP: | 97/07004-7 - Modelagem e implementacao de uma ferramenta da geracao automatica de dados de teste e minimizacao de conjunto de dados de teste. |
| Beneficiário: | Paulo Marcos Siqueira Bueno |
| Modalidade de apoio: | Bolsas no Brasil - Mestrado |