.dsy:it. (http://www.dsy.it/forum/)
- Progettazione del software (http://www.dsy.it/forum/forumdisplay.php?forumid=237)
-- Domande Teoria Terzo Compitino (http://www.dsy.it/forum/showthread.php?threadid=42075)

Domande Teoria Terzo Compitino

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?

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)

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