April 05
Prof. Ismael H. F. Santos -  ismael@tecgraf.puc-rio.br                                                          2
Testes Sistemáticos (3/4)
nVerifique as propriedades invariantes
nalguns programas mantém propriedades da entrada
nnúmero de linha
ntamanho da entrada
nfreqüência de caracteres
§Ex: a qualquer instante o número de elementos em uma estrutura de dados deve ser igual ao número de inserções menos o número de remoções.