Torna indietro   Hardware Upgrade Forum > Software > Programmazione

Marvel's Wolverine, la recensione: Logan torna protagonista in un'avventura brutale e intensa
Marvel's Wolverine, la recensione: Logan torna protagonista in un'avventura brutale e intensa
Marvel's Wolverine porta Logan in un'avventura inedita, violenta e fortemente narrativa, costruita attorno alla sua natura di combattente e al difficile rapporto con il proprio passato. Insomniac Games punta su combattimenti spettacolari, progressione e personalizzazione, inserendo l'azione in un mondo segnato dalla persecuzione dei mutanti. Un viaggio intenso, che alterna mattanza, esplorazione e momenti sorprendentemente emotivi.
DJI Romo 2: tante novità lo rendono un robot completo
DJI Romo 2: tante novità lo rendono un robot completo
Romo 2 è la seconda generazione di robot lavapavimenti di DJI, un modello che si caratterizza per la precisione nel sistema di navigazione e per il funzionamento particolarmente silenzioso. Con le modifiche introdotte in questa seconda versione, e un posizionamento di prezzo più allineato alla concorrenza, rappresenta una valida alternativa sul mercato delle soluzioni di pulizia domestica
Sony Bravia 9 II: il True RGB alla prova, dove l'LCD sfida l'OLED
Sony Bravia 9 II: il True RGB alla prova, dove l'LCD sfida l'OLED
Il primo Sony con retroilluminazione True RGB alla prova del banco di misura e dei contenuti: luminanza enorme, colori accurati in HDR e un antiriflesso molto efficace. I limiti sono due sole HDMI 2.1 e il blooming fuori asse
Tutti gli articoli Tutte le news

Vai al Forum
Rispondi
 
Strumenti
Old 27-03-2008, 10:16   #1
mad_hhatter
Senior Member
 
L'Avatar di mad_hhatter
 
Iscritto dal: Oct 2006
Messaggi: 1105
[TDD] - chiarimenti (cfr link progetto Diamonds)

ciao,
sto dando un'occhiata al progetto Diamonds per imparare le pratiche adottate dal team di sviluppo (XP, refactoring, TDD, ecc).

Ho cominciato con il TDD e mi sono letto alcuni dei link consigliati da fek a proposito di JUnit e unit testing.

in particolare ho letto questo:

http://www-128.ibm.com/developerwork...203/index.html

Alla prima lettura del "listing 6" ero un po' confuso: mi sembrava che quel pezzo di codice non risolvesse assolutamente il problema per cui era stato scritto. La domanda che continuava a tormentarmi era: l'autore ha appena detto che il problema è che tiene conto soltanto dell'anno... allora perché continua a usare soltanto l'anno anche nel listato 6?

Dopo un paio di riflessioni penso di esserci arrivato. Il test che dobbiamo soddisfare verifica che l'età ritornata sia 31, non che l'algoritmo che calcola l'età ritorni sempre la risposta corretta in ogni circostanza!
Questo era il punto che in prima battuta mi sorprendeva. Ma ora credo di averne capito il significato. La definizione di un test deve essere completamente esplicita, non deve esserci nulla di implicito. Quindi quel test non dice che devo usare l'algoritmo corretto; dice che in quella particolare situazione il risultato deve essere 31. Questo è tutto e solo ciò che il test è tenuto a comunicare. E ora credo di capire il perché:se scrivo un test affidandogli implicitamente una semantica più estesa di quella che è effettivamente espressa nella sua definizione potrei essere tentato di creare un'implementazione per tale semantica estesa. La mia implementazione potrebbe soddisfare il test, ma avrei del codice non completamente coperto da test (visto che ho implementato più di quanto il test esistente verifichi). Inoltre potrei soddisfare il test oggi, ma al cambio di data il test potrebbe iniziare a fallire (quindi avrei un test il cui risultato dipende dal momento in cui lo eseguo).

Sono sulla strada giusta o ho completamente sbagliato l'interpretazione?

In ogni caso, il listato 6 continua a solleticare il mio scetticismo... Perché viene controllata l'uguaglianza tra "yearToday" e "birthYear"? La clausola else risolve effettivamente il problema di ritornare 31 invece di 32 nella situazione descritta dal test, mentre la clausola if sembra avere l'unico scopo di garantire che non venga restituito -1. E qui arrivano i miei dubbi:
1. se la preoccupazione era quella di garantire che l'età restituità fosse non negativa, avremmo dovuto anche controllare che yearToday non sia precedente a birthYear (ma questo punto è abbastanza inessenziale: più importante è il seguente)
2. a voler essere rigorosi non c'è alcun test che dica che getAge() deve restituire un numero non negativo, quindi perché implementare tale logica?

So che sono domande molto pignole rispetto allo scopo ben più generale dell'articolo, ma vorrei capire se ho frainteso l'articolo stesso o meno.

grazie a tutti per l'aiuto
mad_hhatter è offline   Rispondi citando il messaggio o parte di esso
Old 27-03-2008, 16:29   #2
mad_hhatter
Senior Member
 
L'Avatar di mad_hhatter
 
Iscritto dal: Oct 2006
Messaggi: 1105
up
mad_hhatter è offline   Rispondi citando il messaggio o parte di esso
Old 28-03-2008, 08:33   #3
mad_hhatter
Senior Member
 
L'Avatar di mad_hhatter
 
Iscritto dal: Oct 2006
Messaggi: 1105
up...
mad_hhatter è offline   Rispondi citando il messaggio o parte di esso
Old 28-03-2008, 09:12   #4
banryu79
Senior Member
 
L'Avatar di banryu79
 
Iscritto dal: Oct 2007
Città: Padova
Messaggi: 4131
Quote:
Originariamente inviato da mad_hhatter Guarda i messaggi
ciao,
sto dando un'occhiata al progetto Diamonds per imparare le pratiche adottate dal team di sviluppo (XP, refactoring, TDD, ecc).

Ho cominciato con il TDD e mi sono letto alcuni dei link consigliati da fek a proposito di JUnit e unit testing.

in particolare ho letto questo:

http://www-128.ibm.com/developerwork...203/index.html

Alla prima lettura del "listing 6" ero un po' confuso: mi sembrava che quel pezzo di codice non risolvesse assolutamente il problema per cui era stato scritto. La domanda che continuava a tormentarmi era: l'autore ha appena detto che il problema è che tiene conto soltanto dell'anno... allora perché continua a usare soltanto l'anno anche nel listato 6?

Dopo un paio di riflessioni penso di esserci arrivato. Il test che dobbiamo soddisfare verifica

... [OMISSIS]...

La mia implementazione potrebbe soddisfare il test, ma avrei del codice non completamente coperto da test (visto che ho implementato più di quanto il test esistente verifichi). Inoltre potrei soddisfare il test oggi, ma al cambio di data il test potrebbe iniziare a fallire (quindi avrei un test il cui risultato dipende dal momento in cui lo eseguo).

Sono sulla strada giusta o ho completamente sbagliato l'interpretazione?
Ciao,
sono andato anche io a leggere l'articolo che hai linkato, tratto da un thred della sezione Diamonds.

Premesso che non ho mai programmato utilizzando il metodo del TDD ne ho partecipato a Diamonds, e specificando anche che non mi sono neppure ancora scaricato e installato JUnit per smanettarci, mi sento comunque di dire che la tua interpretazione mi pare essenzialmente corretta.

Quote:
Originariamente inviato da mad_hhatter Guarda i messaggi
In ogni caso, il listato 6 continua a solleticare il mio scetticismo... Perché viene controllata l'uguaglianza tra "yearToday" e "birthYear"? La clausola else risolve effettivamente il problema di ritornare 31 invece di 32 nella situazione descritta dal test, mentre la clausola if sembra avere l'unico scopo di garantire che non venga restituito -1. E qui arrivano i miei dubbi:
1. se la preoccupazione era quella di garantire che l'età restituità fosse non negativa, avremmo dovuto anche controllare che yearToday non sia precedente a birthYear (ma questo punto è abbastanza inessenziale: più importante è il seguente)
2. a voler essere rigorosi non c'è alcun test che dica che getAge() deve restituire un numero non negativo, quindi perché implementare tale logica?

So che sono domande molto pignole rispetto allo scopo ben più generale dell'articolo, ma vorrei capire se ho frainteso l'articolo stesso o meno.

grazie a tutti per l'aiuto
1. secondo me hai ragione, per come è stato scritto io capisco che l'intenzione non è quella di permettere la creazione di oggetti Persona con anno di nascita "futuro" rispetto all'anno attuale.
Deduco questo perchè anche se non viene controllato il caso in cui birthYear è minore di yearToday, viene però controllato il caso in cui i due anni si equivalgono per fornire il risultato corretto (senza sottrarre 1) mentre in tutti gli altri casi si sottrae uno: però il risultato così è corretto solo nel caso di un età positiva e non negativa.
Credo che, per questioni di coerenza e normale buon senso, il significato di età "negativa" non volesse essere incluso in Persona; però in effetti questa implicazione non è esplicitata chiaramente dai test, imho.
banryu79 è offline   Rispondi citando il messaggio o parte di esso
Old 28-03-2008, 09:42   #5
mad_hhatter
Senior Member
 
L'Avatar di mad_hhatter
 
Iscritto dal: Oct 2006
Messaggi: 1105
grazie per la tua risposta!
sono contento di non aver scritto idiozie

anch'io, come te, capisco perfettamente l'intento del codice scritto, ma come ho già detto, noto uno scollamento tra quello che dice il test e quello che fa il metodo getAge() e a me pare che questo si scontri con i principi di base del TDD così come espressi nell'articolo. Da qui la mia domanda: ho frainteso questi principi o l'incoerenza è reale?

per questo mi piacerebbe che qualcuno più esperto nel TDD partecipasse alla discussione... speriamo

grazie ancora per la tua risposta!
mad_hhatter è offline   Rispondi citando il messaggio o parte di esso
Old 28-03-2008, 09:59   #6
banryu79
Senior Member
 
L'Avatar di banryu79
 
Iscritto dal: Oct 2007
Città: Padova
Messaggi: 4131
Quote:
Originariamente inviato da mad_hhatter Guarda i messaggi
sono contento di non aver scritto idiozie
Beh, considerata che la mia opinione non vale molto più di una cicca, vista la mancanza di esperienza diretta nei confronti del TDD, nel peggiore dei casi siamo in due ad aver scritto idiozie: mal comune mezzo gaudio!

Quote:
Originariamente inviato da mad_hhatter Guarda i messaggi
per questo mi piacerebbe che qualcuno più esperto nel TDD partecipasse alla discussione... speriamo

grazie ancora per la tua risposta!
Magari qualcuno del team di D. ci da una dritta.
Ciao!
banryu79 è offline   Rispondi citando il messaggio o parte di esso
Old 28-03-2008, 12:12   #7
khelidan1980
Senior Member
 
L'Avatar di khelidan1980
 
Iscritto dal: Mar 2005
Città: Morimondo city
Messaggi: 5491
Quote:
Originariamente inviato da mad_hhatter Guarda i messaggi
per questo mi piacerebbe che qualcuno più esperto nel TDD partecipasse alla discussione... speriamo
Dovevi scrivere nel titolo "fek leggi qui" mi sembra il più ferrato sull'argomento!
__________________
Khelidan
khelidan1980 è offline   Rispondi citando il messaggio o parte di esso
Old 28-03-2008, 12:20   #8
mad_hhatter
Senior Member
 
L'Avatar di mad_hhatter
 
Iscritto dal: Oct 2006
Messaggi: 1105
Quote:
Originariamente inviato da khelidan1980 Guarda i messaggi
Dovevi scrivere nel titolo "fek leggi qui" mi sembra il più ferrato sull'argomento!
eh lo so... ma mi pareva brutto... e poi speravo che citando Diamonds avrei ottenuto lo stesso effetto

mi sa che a sto punto gli mando un pvt invitandolo alla discussione...

[EDIT] inbox piena

Ultima modifica di mad_hhatter : 28-03-2008 alle 12:33.
mad_hhatter è offline   Rispondi citando il messaggio o parte di esso
Old 28-03-2008, 12:50   #9
fek
Senior Member
 
L'Avatar di fek
 
Iscritto dal: Oct 2002
Città: San Jose, California
Messaggi: 11794
Quote:
Originariamente inviato da mad_hhatter Guarda i messaggi
Sono sulla strada giusta o ho completamente sbagliato l'interpretazione?
Si' e' l'interpretazione giusta.

Quote:
1. se la preoccupazione era quella di garantire che l'età restituità fosse non negativa, avremmo dovuto anche controllare che yearToday non sia precedente a birthYear (ma questo punto è abbastanza inessenziale: più importante è il seguente)
2. a voler essere rigorosi non c'è alcun test che dica che getAge() deve restituire un numero non negativo, quindi perché implementare tale logica?
Quel test non c'e' perche' non getAge() per sua definizione non puo' tornare un'eta negativa.
Serve invece un test che garantisca che il compleanno sia sempre anteriore alla data corrente. E questo test garantisce che getAge() sia sempre positivo.
fek è offline   Rispondi citando il messaggio o parte di esso
Old 28-03-2008, 13:54   #10
mad_hhatter
Senior Member
 
L'Avatar di mad_hhatter
 
Iscritto dal: Oct 2006
Messaggi: 1105
Quote:
Originariamente inviato da fek Guarda i messaggi
Si' e' l'interpretazione giusta.



Quel test non c'e' perche' non getAge() per sua definizione non puo' tornare un'eta negativa.
Serve invece un test che garantisca che il compleanno sia sempre anteriore alla data corrente. E questo test garantisce che getAge() sia sempre positivo.
perfetto! grazie infinite!
mad_hhatter è offline   Rispondi citando il messaggio o parte di esso
 Rispondi


Marvel's Wolverine, la recensione: Logan torna protagonista in un'avventura brutale e intensa Marvel's Wolverine, la recensione: Logan torna p...
DJI Romo 2: tante novità lo rendono un robot completo DJI Romo 2: tante novità lo rendono un ro...
Sony Bravia 9 II: il True RGB alla prova, dove l'LCD sfida l'OLED Sony Bravia 9 II: il True RGB alla prova, dove l...
Geely EX5, un mese al volante: il SUV elettrico cinese che ci ha sorpreso (quasi) senza riserve Geely EX5, un mese al volante: il SUV elettrico ...
Mova Z70 Ultra Roller Complete: motore potente, rullo di lavaggio e l'IA a guidare Mova Z70 Ultra Roller Complete: motore potente, ...
La prima missione orbitale del razzo spa...
Servizi in streaming sempre più c...
Anteprima della Leapmotor B03X: inizia l...
Anthropic accusa la Cina: Claude utilizz...
I satelliti Rassvet (Starlink russo) di ...
Un agente IA ha risolto un problema su W...
Cina: la CMSA potrebbe cambiare parte de...
68 mensilità di bonus per i dipen...
Rocket Lab ha fatto ricorso contro la de...
Nutanix rende disponibile Azure Virtual ...
Il padrino del deep learning avverte: gl...
Il finto avviso "iPhone Storage is Full"...
Dietrofront in Cina, addio touchscreen p...
Un piccolo accessorio trasforma lo smart...
Dopo 370 anni il Cyphral Distich non è p...
Chromium
GPU-Z
OCCT
LibreOffice Portable
Opera One Portable
Opera One 106
CCleaner Portable
CCleaner Standard
Cpu-Z
Driver NVIDIA GeForce 546.65 WHQL
SmartFTP
Trillian
Google Chrome Portable
Google Chrome 120
VirtualBox
Tutti gli articoli Tutte le news Tutti i download

Strumenti

Regole
Non Puoi aprire nuove discussioni
Non Puoi rispondere ai messaggi
Non Puoi allegare file
Non Puoi modificare i tuoi messaggi

Il codice vB è On
Le Faccine sono On
Il codice [IMG] è On
Il codice HTML è Off
Vai al Forum


Tutti gli orari sono GMT +1. Ora sono le: 06:04.


Powered by vBulletin® Version 3.6.4
Copyright ©2000 - 2026, Jelsoft Enterprises Ltd.
Served by www3v