Esame Scritto di Ingegneria del Software 1

Esame Scritto di Ingegneria del Software 1

8 Giugno 1999

Rappresentare mediante un diagramma Entità/Relazioni il modello dei dati che compongono un sistema per l'automazione di un grande magazzino. Illustrare la soluzione proposta.(8)

Si immagini di dover progettare l'unità di controllo di un robot in grado di automatizzare alcune delle operazioni che vengono solitamente svolte in una cucina domestica. In particolare il robot è in grado di compiere contemporaneamente queste operazioni:

accendere un fornello;

verificare se ci sono pentole con cibi in una coda di 'pronto per cottura' e in caso positivo, di accendere il fornello, prendere la pentola e posizionarla sul fornello acceso;

verificare se ci sono cibi cotti, e rimuoverli dal fornello, spegnendo la fiamma e riponendo la pentola in una coda di 'cibi pronti'.

In qualsiasi momento l'utente di tale sistema può interrompere le operazioni robotizzate e ripassare al controllo manuale.

Si progetti una rete di Petri che rappresenti il controllo di tale dispositivo.(8)

3. Si illustri il concetto di progetto architetturale e si definiscano e si descrivano poi in particolare i principali modelli del controllo. (7)

4. Si descrivano le seguenti strategie di testing, identificandone gli ambiti di applicazione: thread testing, stress testing e back-to-back testing. (7)