Uni.TemiEsamePSS01 History
Hide minor edits - Show changes to output
Changed line 18 from:
to:
Changed line 20 from:
Attach:TemiEsamePSS01_Laboratorio.pdf
to:
[[Download PDF -> Attach:TemiEsamePSS01_Laboratorio.pdf]]
Added lines 19-20:
Attach:TemiEsamePSS01_Laboratorio.pdf
Changed lines 6-7 from:
to:
%titolo%''':: (17/05/2013 Studenti OnLine) ::'''
!!Prova Scritta
# Quali sono i principi guida di un'architettura sicura che riguardano malfunzionamenti ed errori del sistema? Si descrivano tre di questi principi.
# Dare la definizione di macchina a stati finiti estesa, e portare un semplice esempio.
# Descrivere i pricipi su cui si basa il ''desing by contract'' e portare un esempio di contratto su un metodo Java.
# Definire cosa si intende per ''program-based testing'' e ''specification-testing''. Indicare quali sono i criteri di copertura per il program-based testing.
# 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.
# Scrivere i casi di test secondo MCDC per la seguente espressione: (x>0 & y>1) || (w<1 & z>0) || v>0
!!Prova di laboratorio
Added lines 1-7:
(:title Tema d'Esame di Progettazione di Software Sicuro (Studenti OnLine) - 17/05/2013:)
[[Torna alla pagina di Progettazione di Software Sicuro -> LinguaggiProgrammazioneSicurezza]]
----
%titolo%''':: Tema d'Esame di Progettazione di Software Sicuro ::'''
%titolo%''':: (17/05/2013 Studenti OnLine) ::'''
