Geração Automática de Dados e Tratamento de Não Executabilidade no Teste Estrutural de Software

Abstract

A tool and techniques are presented for test data generation and infeasibility identification in structural software testing technique. The tool is based on: the Dynamic Technique; search using Genetic Algorithms; and reuse of solutions through Case-Based Reasoning. The objective is to automatically generate input data which execute complete paths in a program and identify path infeasibility when this is the case; this is done through the Potential Infeasibility Dynamic Identification Heuristic proposed. An experiment shows the validity of the developed solutions and the benefit of using the tool. Results attained indicate that, despite the general undecidability of the problems, partial solutions can be useful for software testing practice.