O processo de avaliação da correção de um programa submetendo-o a várias sequências e valores de entrada. Pesquise também debug (depurar); test data (dados de teste, massa de teste).