View Single Post
Old 08-04-2005, 12:28   #117
Banus
Senior Member
 
L'Avatar di Banus
 
Iscritto dal: Nov 2002
Città: Singularity
Messaggi: 894
Quote:
Originariamente inviato da fek
Ipotizzando di impiegare un millesimo di secondo a testare una combinazione, un testing esaustivo di questa classe impiegherebbe alcuni milioni di anni. Dici che rilasciare una versione nuova del software ogni qualche milione di anni e' un ritmo troppo lento?
Senza contare che il testing lo esegue un programma, che può essere a sua volta soggetto a bug. In questo modo rimane la possibilità che qualche caso sfugga anche a un test esaustivo
E' facile capire che non è possibile avere la certezza di un programma bug free, neppure in principio, a parte casi banali e di nessun interesse
__________________
echo 'main(k){float r,i,j,x,y=-15;while(puts(""),y++<16)for(x=-39;x++<40;putchar(" .:-;!/>"[k&7])) for(k=0,r=x/20,i=y/8;j=r*r-i*i+.1, i=2*r*i+.6,j*j+i*i<11&&k++<111;r=j);}'&>jul.c;gcc -o jul jul.c;./jul |Only Connect| "To understand is to perceive patterns" Isaiah Berlin "People often speak of their faith, but act according to their instincts." Nietzsche - Bayesian Empirimancer - wizardry
Banus è offline   Rispondi citando il messaggio o parte di esso
 
1