…ma liberaci dai bug!

19 giugno 2008 § Lascia un commento

Come si fa a far capire ad un cliente che non c’è modo di garantire l’assenza di bug in un programma?
E’ una questione di teoria della calcolabilità: dato un programma è impossibile dimostrare che esso è privo di bug.
L’unico approccio disponibile è la statistica: maggiore è il numero di test a cui viene sottoposto un programma, più alta è la probabilità di scovare dei bug e (una volta corretti) più il programma diventa stabile, cioè si abbassa la probabilità che ci siano altri errori.

Naturalmente i programmatori devono adottare tutti gli accorgimenti possibili per individuare i bug nei loro programmi e correggerli, ma non possono avere mai la certezza che il loro programma ne è immune.

La cosa è venuta fuori quando qualche tempo fa abbiamo scoperto un piccolo bug in un nostro programma che in determinate situazioni sbagliava alcuni calcoli. Abbiamo corretto il bug ed il cliente voleva la certezza che non si verificassero più errori. Abbiamo cercato di spiegare che non potevamo dare questa certezza (non siamo commerciali, noi…), ma il cliente non mi è sembrato molto convinto.

La sua obiezione era pressappoco su questi toni: come si fa ad utilizzare degli strumenti che non offrono certezze? Che da un momento all’altro potrebbero venir fuori con un malfunzionamento?
Come si fa a fidarsi di uno strumento semplicemente su una base statistica?
E’ da diversi mesi che non si presentano più problemi quindi è probabile che neanche domani se ne verificheranno: è sufficiente questo per stare tranquilli?

A pensarci bene non è molto diverso dall’affermare: fino ad oggi non sono mai stato colpito da un meteorite, non c’è motivo per non credere che neanche oggi verrò colpito…

O no?!

Annunci

Tag:, , ,

Rispondi

Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:

Logo WordPress.com

Stai commentando usando il tuo account WordPress.com. Chiudi sessione / Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione / Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione / Modifica )

Google+ photo

Stai commentando usando il tuo account Google+. Chiudi sessione / Modifica )

Connessione a %s...

Che cos'è?

Stai leggendo …ma liberaci dai bug! su Andrea Chiarelli.

Meta

%d blogger hanno fatto clic su Mi Piace per questo: