Si progetti il backend di un sito di e$-$commerce.

Il progetto deve includere i seguenti componenti.

$1.$ Un modello $($test generator$)$ per i customers, cio$$ coloro che acquistano i prodotti in vendita.

$2.$ Un modello per i fornitori, cio$$ coloro che inseriscono nel sito prodotti da vendere.

$3.$ Un modello per i trasportatori, cio$$ coloro che consegnano il prodotto al customer.

$4.$ Uno o pi$$ server ai quali i customers si connettono per interagire con il sistema.

$5.$ Uno o pi$$ server ai quali i fornitori si connettono per interagire con il sistema.

$6.$ Uno o pi$$ server ai quali i produttori si connettono per interagire con il sistema.

$7.$ Un DB per i dati $($ad esempio, prodotti disponibili, etc$)$ ed i log $($ad esempio, lista delle transazioni$).$

$8.$ Monitors per almeno tre propriet$$ funzionali.

$9.$ Monitors per almeno due propriet$$ non$-$funzionali.

$2)$ STRUTTURA DEL SOFTWARE

Il software deve contenere i seguenti elementi:

$-$Test generator: Il test generator, cio$$ un modello dell$$ambiente in cui il software opera. Tale test generator nel seguito verr$$ anche chiamato Environment per evidenziare il fatto che esso modello inputs dall$$ambiente operativo per il software. Assicurarsi che l$$environment sia completo, cio$$ sia in grado con probabilit$$ non nulla di generare qualsiasi sequenza di test.

$-$System Under Design $($SUD$)$: Il System Under Design $($SUD$),$ cio$$ il sistema che si sta progettando. Il SUD $$ realizzato in C$++$ e consiste in processi comunicanti con Redis e con un DB PostgreSQL per i dati $($se necessario$)$ e per i log delle esecuzioni $($sempre necessari per la realizzazione dei monitors$).$ Ciascun processo $$ una macchina a stati che legge da streams Redis, esegue computazioni e ritorna outputs su streams Redis. Si raccomanda di realizzare processi piccoli in modo che siano facilmente verificabili e validabili.

$-$Monitor: Un monitor per ciascuno dei requisiti di interesse. Si realizzino almeno tre monitors per i requisiti funzionali ed almeno due monitors per i requisiti funzionali. I monitor prendono input dal DB con i log e ritornano il proprio output sul medesimo DB$.$