April 05
Prof. Ismael H. F. Santos
- ismael@tecgraf.puc-rio.br
2
Teste de pré e pós
condições
nVerificar
certas propriedades antes e depois de trechos de
código
double avg(double a[], int n){
int i;
double sum = 0.0;
for(i = 0; i < n; i++)
sum +=
a[i];
return sum / n;
}