Torna alla pagina di Progettazione di Software Sicuro
:: Tema d'Esame di Progettazione di Software Sicuro ::
:: (22/05/2015 Studenti OnLine) ::
Prova Scritta
- Descrivere tre possibili tipologie di attacchi
- Descrivere i pricipi su cui si basa il desing by contract e gli elementi che costituiscono un contratto.
-
- 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".
- 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}
- Determinare i casi di test per MCDC della seguente decisione (x>1)||(y!=0)||(z<0)
