Commenti a: Digitalia #20 – This Week in Big Money http://digitalia.fm/2009/10/05/digitalia-20-this-week-in-big-money/ Notizie tecnologiche per il cittadino della rete Tue, 09 Mar 2010 08:18:40 +0000 http://wordpress.org/?v=2.9.1 hourly 1 Di: Alberto http://digitalia.fm/2009/10/05/digitalia-20-this-week-in-big-money/comment-page-1/#comment-199 Alberto Mon, 05 Oct 2009 14:07:20 +0000 http://digitalia.fm/?p=167#comment-199 Ho ascoltato con molto interesse il discorso relativo al microkernel "esente da bug", ma sinceramente rimango molto scettico: per lavoro mi occupo proprio di supervisione e gestione degli errori in una applicazione di classe enterprise per banche e compagnie di assicurazione, per il testing della quale utilizziamo sistemi automattizati, oltre ad una logica formale molto stretta durante la scrittura del codice stesso e, nonostante tutto, i bug si manifestano comunque. La "prova matematica" poi mi lascia ancor più perplesso: la cardalità dell'insieme dei possibili input a cui può essere soggetto un kernel è tendende all'infinito, oltre a dover tenere presente che una prova dal punto di vista matematico è un test "da banco di prova", e che difficilmente potrà tenere conto di casistiche quali la concorrenza di processo, errori hardware (che possono quindi impattare sul software) ecc... Sincermente penso che la "prova matematica" millantata sia impossibile da ottenere. Un software, per quanto ben fatto, sarà sempre soggetto a bug. Ho ascoltato con molto interesse il discorso relativo al microkernel “esente da bug”, ma sinceramente rimango molto scettico: per lavoro mi occupo proprio di supervisione e gestione degli errori in una applicazione di classe enterprise per banche e compagnie di assicurazione, per il testing della quale utilizziamo sistemi automattizati, oltre ad una logica formale molto stretta durante la scrittura del codice stesso e, nonostante tutto, i bug si manifestano comunque.

La “prova matematica” poi mi lascia ancor più perplesso: la cardalità dell’insieme dei possibili input a cui può essere soggetto un kernel è tendende all’infinito, oltre a dover tenere presente che una prova dal punto di vista matematico è un test “da banco di prova”, e che difficilmente potrà tenere conto di casistiche quali la concorrenza di processo, errori hardware (che possono quindi impattare sul software) ecc…

Sincermente penso che la “prova matematica” millantata sia impossibile da ottenere. Un software, per quanto ben fatto, sarà sempre soggetto a bug.

]]>