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.