In cosa consiste l'analisi dei requisiti basata su un metodo? Si descriva il metodo VORD orientato ai punti di vista. (8)
Si consideri di dover progettare uno sportello automatizzato per l'erogazione di certificati anagrafici. In particolare si deve prevedere: l'erogazione di diversi tipi di certificati in bollo oppure no, la possibilità di interrompere in qualsiasi momento l'operazione, la possibilità di diverse forme di pagamento, l'identificazione mediante codice fiscale, la possibilità per certi tipi di certificati (ad esempio lo stato civile) di fornire diverse versioni (sintetico, normale, originario, ecc.) a scelta dell'utente. Si progetti una rete di Petri che rappresenti il controllo di tale dispositivo. (8)
Si illustri il concetto di affidabilità del software e si descrivano alcune significative metriche di affidabilità. (7)
Si descriva il black box testing e si illustri il concetto di classi di equivalenza dei dati di input e le diverse modalità per identificarle. (7)