cerca
Tema d'Esame di Progettazione di Software Sicuro (Studenti OnLine) - 22/05/2015
modifica cronologia stampa login logout

Wiki

UniCrema


Materie per semestre

Materie per anno

Materie per laurea


Help

Tema d'Esame di Progettazione di Software Sicuro (Studenti OnLine) - 22/05/2015

Torna alla pagina di Progettazione di Software Sicuro


 :: Tema d'Esame di Progettazione di Software Sicuro  ::
 :: (22/05/2015 Studenti OnLine) ::

Prova Scritta

  1. Descrivere tre possibili tipologie di attacchi
  2. Descrivere i pricipi su cui si basa il desing by contract e gli elementi che costituiscono un contratto.
  3. Modellare con una macchina UML il software di controllo di una macchinetta per l'acquisto di un biglietto del treno. La macchinetta fa selezionare la lingua, la stazione di destinazione, la fascia adulto/bambini, la quantitÓ di biglietti. Stampa i biglietti e restituisce il resto. In caso di guasto la macchinetta pu˛ trovarsi in stato di "Fuori Servizio".
  4. Dare la definizione di test set, affidabile, valido e ideale. Dato il seguente programma add(x,y) che dovrebbe implementare la funzione z=x+y.

program add (x:integer, y:integer) begin z:= x*y; return(z); end

classificare i seguenti test set in affidabili, validi ed ideali. T1 = {{0,0},{-1,-1}}; T2 = {{0,1},{2,3}}; T3 = {t|t numero pari a 0 compreso}

  1. Determinare i casi di test per MCDC della seguente decisione (x>1)||(y!=0)||(z<0)