Davide,
Nel caso del'open source, la pubblicazione di bugs è indice di buona salute.
--------------------------------------------------------------------------------------------------------
Forse mi hai frainteso: intendevo dire che un software open di cui si
pubblicano bugs è un software utilizzato e soggetto a controlli della
comunità e quindi "in vita" diversamente dai software ai quali nessuno
si interessa.
Non esiste software senza bugs.
--------------------------------------------
Empiricamente è dimostrabile: mostrami un programmatore che asserisce di
aver scritto un software senza errori e io ti mostro un ignorante (nel
senso che ignora almeno una parte di cosa ha scritto).
Gli errori sono dimostrabili, la correttezza mai, a meno che non sia
possibile esaminare tutte le possibili diramazioni del software in tutte
le possibili combinazioni di i/o, che sono incalcolabili, nel senso che
non esiste una teoria dimostrata che può enumerarle.
Quindi, anche epistemologicamente, direi che il software (qualsiasi
software) deve essere considerato errato a priori.
Purtroppo non tutti coloro che cercano i bugs nei sorgenti lo fanno con
lo scopo di correggerli.
----------------------------------------------------------------------------------------------------------------------------------
Questa affermazione non contrasta con il fatto che i bugs si ricercano
(e si trovano) anche lavorando solo sui compilati.
Luciano
Il 08/06/2014 22:06, Davide Prina ha scritto:
On 06/06/2014 21:14, franchi wrote:
Non esiste software senza bugs.
questa è un'affermazione poco dimostrabile.
Non è possibile dimostrare che un software sia corretto (faccia quello
per cui è stato progettato) e di conseguenza non è possibile
dimostrare che non lo sia :-)
Però si può dire che non esiste un software che è sempre errato
(fornisce sempre la risposta non richiesta).
Nel caso del'open source, la pubblicazione di bugs è indice di buona
salute.
anche questa affermazione non mi piace così com'è scritta.
Un software può essere pessimo, anche se è software libero (scusa se
cambio dicitura, ma il software open source lo conosco poco e visto
che il software open source, dicono, sia un superset del software
libero...).
L'indice di buona salute di un software è la sua manutenzione e
sviluppo, il tempo impiegato per correggere un bug... più il bug è
critico e minore deve essere tale tempo.
Se un software ha pubblicato tutti i bug che si trovano... ma il
software non è più sviluppato/mantenuto da mesi, allora non è indice
di salute la pubblicazione dei bug...
Purtroppo non tutti coloro che cercano i bugs nei sorgenti lo fanno con
lo scopo di correggerli.
I bug si possono trovare anche non avendo a disposizione i sorgenti
"originali"...
Inoltre non tutto quello che a prima vista può sembrare un bug... lo
sia veramente nei fatti. Non è sempre così facile...
Ciao
Davide
--
Per REVOCARE l'iscrizione alla lista, inviare un email a
[email protected] con oggetto "unsubscribe". Per
problemi inviare un email in INGLESE a [email protected]
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: https://lists.debian.org/[email protected]
