Comments on: Think first, code later

By: matteo

matteo — Mon, 21 May 2007 09:59:59 +0000

Ciao Vittorio,

� un discorso ampio e interessante. Non sono capace di derivare l’algoritmo di Dekker con TDD, e non credo che in generale con TDD si riescano a derivare algoritmi non banali. Non � l� il punto del TDD; il punto � che nella pratica, colui che fa il lavoro del programmatore, non ha mai o quasi mai il problema di derivare un algoritmo “difficile”.

In pratica, salvo rari casi, tutti gli algoritmi difficili che servono sono incapsulati in librerie. La cosa sorprendente � che nonostante questo, il lavoro del programmatore non si � ancora trasformato in un banale compito di compilazione, che possa essere fatto in maniera semiautomatica. Anzi, il compito di fornire al cliente software che funziona e risolve i suoi problemi � sempre difficile.

Come mai? Qual’� la tua risposta?

Secondo me, � perch� il programmatore deve comunque scrivere un grandissimo numero di algoritmi banali, organizzarli in un tutto coerente, tenere conto di centinaia di requisiti che male si adattano a un analisi matematica, e fare tutto ci� in una maniera che permetta di modificare il risultato per tenere conto di nuovi requisiti.

E’ un problema molto diverso questo da quello che Dekker ha risolto; e sono convinto che Dekker stesso avrebbe fatto fatica.

Per me il TDD � una maniera di affrontare senza paura problemi di questo tipo, e di riuscire a vincerli anche se il mio potere cerebrale � minuscolo in confronto a quello di un Dijkstra o un Dekker.

By: Vittorio

Vittorio — Sun, 20 May 2007 09:37:24 +0000

Matteo,
Dijkstra era estremamente cauto (se non scettico) rispetto al testing, da cui la sua famosa frase “Program testing can be used to show the presence of bugs, but never to show their absence”.
Nel caso particolare dell’algoritmo di Dekker, la storia e’ proprio di qualcosa che non si riusciva facilmente a testare, ma doveva essere modellata con un formalismo matematico, pensata a fondo ed infine realizzata in modo intrinsecamente corretto. Nel piccolo, mi pare piu’ vicino ad un “big” upfront design che ad un approccio alla XP.
Mi fai vedere come si deriva l’algoritmo usando il TDD? Ancora meglio, nelle condizioni dell’epoca, dove la concorrenza era principalmente dovuta agli interrupt e le macchine erano “chiuse”, ma sarei gia’ contento di vederlo con una concorrenza alla java (senza usare, ovviamente la sincronizzazione di java).
Con questo non dico che il TDD non sia utile, solo che non dobbiamo pensare che sia un approccio universale alla risoluzione dei problemi.
Vic.

By: matteo

matteo — Sun, 06 May 2007 13:58:45 +0000

Un’altro libro mitico � “Unix Network Programming”, dello scomparso Rich Stevens; questo libro appare in “Wayne’s World II”:

[Steven’s] books are so good that they have come to symbolize intelligence. In “Wayne’s World II,” Garth’s girlfriend carries a copy of “Unix Network Programming.” Stevens discovered this when he took his 13-year-old son to see the film. His son grabbed his arm and said, “Dad, that’s your book!” (http://archive.salon.com/tech/feature/2000/09/01/rich_stevens/index1.html)

By: Gabriele Lana

Gabriele Lana — Fri, 04 May 2007 18:59:32 +0000

Grazie del riferimento Matteo, mi piacciono tantissimo queste storie di archeoinformatica :-)

P.S. due curiosit� sul “Libro del Drago”

– Da poco � uscita la tanto attesa seconda edizione http://www.amazon.com/o/ASIN/0321486811

– E’ stato citato nel film “Hackers”: veniva presentato ad un tizio che doveva riconoscerlo (come libro del drago) come prova di iniziazione per entrare in una banda di hacker appunto. Tra l’altro � stato uno dei primi film interpretati da Angelina Jolie http://imdb.com/title/tt0113243/