Nei comuni sportelli
bancomat è necessario introdurre il codice identificativo segreto
per effettuare le operazioni. Se l'utente fornisce un codice errato,
può ripetere l'operazione al massimo un certo numero di volte, per
esempio 5, dopo le quali le operazioni si interrompono. Si progetti una
Rete di Petri che descrive tale parte del controllo dello sportello
bancomat. Si cerchi di minimizzare il numero di posti utilizzati.
(7)
Si illustri il concetto
di validazione dei requisiti ed i relativi metodi e si discuta del problema
dell'evoluzione dei requisiti. (7)
Perché è
importante e a cosa può servire misurare l'affidabilità di un
sistema software? Si forniscano alcune tipiche curve di distribuzione
temporale dei malfunzionamenti. (7)
Quale definizione viene
fornita della qualità del software nello standard ISO 9126? Cosa
significa metrica per la misura della qualità? (7)