cerca
Tema d'Esame di Progettazione di Software Sicuro (Studenti OnLine) - 17/05/2013
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) - 17/05/2013

Torna alla pagina di Progettazione di Software Sicuro 

 :: Tema d'Esame di Progettazione di Software Sicuro  ::
 :: (17/05/2013 Studenti OnLine) ::

Prova Scritta

  1. Quali sono i principi guida di un'architettura sicura che riguardano malfunzionamenti ed errori del sistema? Si descrivano tre di questi principi.
  2. Dare la definizione di macchina a stati finiti estesa, e portare un semplice esempio.
  3. Descrivere i pricipi su cui si basa il desing by contract e portare un esempio di contratto su un metodo Java.
  4. Definire cosa si intende per program-based testing e specification-testing. Indicare quali sono i criteri di copertura per il program-based testing.
  5. Utilizzando il formalismo delle macchine UML modellare la logica di funzionamento di un distribuore di biglietti delle metropolotina. Il dispositivo permette di acquistare biglietti singoli o multipli, di pagare con carta di credito o monete. Non accetta monete inferiori ad un euro e dą resto.
  6. Scrivere i casi di test secondo MCDC per la seguente espressione: (x>0 & y>1) || (w<1 & z>0) || v>0

Prova di Laboratorio

Download PDF