lektronar

User info:

Registered: May 2010
Posts: 59 (0.01 al dì)
Location: Arese
Corso: Informatica
Anno: 3
Time Online: 6:09:54 [...]
Status: Offline

Post actions:

Potrebbero sempre interessare, quindi posto le mie:
1) Come si rende nei diagrammi di stato UML la concorrenza?
2) Integrazione top-down vs bottom-up qualora la relazione 'usa' sia un DAG
3) Un oracolo per P è...
4) Elenca le tecniche di verifica analitica
5) Come si usano in fase di testing le precondizioni dei contratti?

xSharKMaNx

un gioco della follia

User info:

Registered: Sep 2007
Posts: 1477 (0.24 al dì)
Location:
Corso: F49
Anno: Laureato
Time Online: 10 Days, 17:15:29 [...]
Status: Offline

Post actions:

1) Differenza tra scatola nera e trasparente.
2) Dire che tecnica si usa nella scatola nera e che criterio nella trasparente
3)Sia C = {Ei} dire a cosa si riferisce {Ei}
4)Test di sovraccarico
5)Ispezione del Codice

__________________
Perché, mentre il manganello può sostituire il dialogo, le parole non perderanno mai il loro potere; perché esse sono il mezzo per giungere al significato, e per coloro che vorranno ascoltare, all'affermazione della verità. E la verità è che c'è qualcosa di terribilmente marcio in questo paese. (V)

I popoli non dovrebbero aver paura dei propri governi, sono i governi che dovrebbero aver paura dei popoli. (T.J)

mauro21

User info:

Registered: Mar 2009
Posts: 73 (0.01 al dì)
Location: Buccinasco
Corso: Informatica
Anno: Laureato
Time Online: 3 Days, 14:23:39 [...]
Status: Offline

Post actions:

1) un criterio è consistente sse .....
2)che legame c'è tra contratto di un metodo M e oracolo di un metodo M
3)parlare della robustezza e dire in che fase si trova
4)transizioni di stato in UML (sia dal punto di vista grafico che testuale)
5)ispezione del codice, è analitica/empirica e a cosa serve