Prova di Laboratorio

Download PDF

Attach:TemiEsamePSS01_Laboratorio.pdf

 :: (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

(:title 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) ::