antonio scrisse in data 16/05/2008 13:09:
Nel campo della matematica computazionale esiste un teorema che afferma che sapere se un software è privo di bachi è un problema np completo cioè... è molto difficile risolverlo... o meglio il tempo di calcolo cresce esponenzialmente con la complessità dell'algoritmo da testare (mentre le capacità computazionali dovute al progresso scientifico crescono soltanto polinomialmente).La riflessione che mi sorge spontanea e' quindi:Se neanche le software house piu' grosse danno simili garanzie, significa che il software e' intrinsecamente insicuro... e che se dovessero assurmersi la responsabilita' di ogni malfunzionamento rischierebbero troppo.non sono un programatore, ma immagino, a questo punto, che scrivere software non sia come tirare su un muro o fare un ponte... evidentemente le componenti in gioco sono troppe per poter essere vagliate tutte...
Ciao Piviul