No dia 08/12/2003 às 09:28,
"Ricardo Portella" <[EMAIL PROTECTED]> escreveu:
> Não se pode garantir que um programa vá terminar (sair pelo "exit" ou pelo
> "stop") em nenhuma situação, pois para se garantir um teste completo de um
> programa o mais trivial possível, por exemplo um programa que le dois
> numeros do teclado, faz a soma e imprime o resultado, teríamos que testar
> para todos os nueros possíveis, o que é, obviamente, impossível.
Não necessariamente. É possível utilizar prova matemática envolvendo
intervalos. Por exemplo, eu sei sempre que 'x+x' = '2x', para qualquer 'x'
real. E para isso não preciso percorrer todo o conjunto dos reais (infinito)
para provar que isto é uma tautologia.
Naturalmente, a dificuldade/inviabilidade da prova cresce à medida que o
programa torna-se mais complexo.
--
Douglas Augusto
[Netiqueta]
§ Prover ao tópico um assunto claro, descritivo e não genérico.
