Università degli Studi di Ferrara Facoltà di Ingegneria Corso di Ingegneria del Software (IIa parte) - Prova scritta

Transcript

1 Università degli Studi di Ferrara Facoltà di Ingegneria Corso di Ingegneria del Software (IIa parte) - Prova scritta Esercizio 1 (8 punti) 9 settembre 2008 Tempo: 2h30m Si modelli con una rete di Petri il sistema costituito da due processi P1 e P2 che accedono in mutua esclusione a due risorse condivise R1 ed R2. P1 occupa R1 e successivamente, senza liberarla, occupa anche R2. In seguito, le libera entrambe. P2 occupa R2, poi la libera, poi occupa R1, e infine libera anche R1. Il sistema è soggetto a deadlock? Esercizio 2 (10 punti) Si modelli in Z la gestione dei conti correnti in una banca. Ogni cliente è caratterizzato dal suo codice fiscale e dal suo nome; ogni conto corrente da un numero identificativo unico e dal suo saldo. Ogni cliente può avere da zero a tre conti correnti intestati; si supponga che non siano ammessi saldi negativi. Modellare in particolare le seguenti operazioni: Creazione di un conto corrente: a un cliente viene assegnato un nuovo conto, a saldo inizialmente nullo Aggiunta di un intestatario a un conto corrente esistente Bonifico (cioè trasferimento di una somma) su un conto corrente della stessa banca Chiusura di un conto corrente. Esercizio 3 (6 punti) Dato il programma in linguaggio C a fianco, se ne disegni il grafo di controllo e si individui un insieme di casi di test che rispetti il criterio di copertura degli archi. #include <stdio.h> int main (void) { int a, b, c, i; scanf("%d%d", &a, &b); c = 0; i = a; while (i < b) { if (i % 5 == 0) c = i*i; i++; } printf ("%d\n", c); return 0; }

2 Esercizio 4 (9 punti) L'applicazione Gestione Conti, il cui modello dati è riportato in figura, deve gestire i conti correnti intestati a clienti di una banca. Inoltre, la banca è intestataria di titoli di stato su cui i clienti possono investire denaro tramite un'operazione di Pronti Contro Termine (PCT): il cliente acquista un titolo di stato, con addebito su uno dei suoi conti correnti, e la banca si impegna a riacquistarlo a prezzo maggiorato, accreditato sul medesimo conto corrente, dopo un determinato periodo. Applicazione Gestione Conti Cliente Intestatario Conto corrente PCT (0,n) (1,n) (0,n) (0,n) Titolo di stato Codice fiscale Nome IBAN Saldo Data sottoscrizione Durata Valore restituzione Applicazione Gestione Bond Identificativo Scadenza In particolare, l'applicazione deve gestire le seguenti operazioni: 1 Gestione clienti: 1.1 Registrazione cliente: registra una persona come cliente, dati il suo nome e il suo codice fiscale 1.2 Saldo complessivo cliente: dato il codice fiscale di un cliente, calcola la somma algebrica dei saldi dei conti correnti a lui (o lei) intestati. 2 Gestione conti correnti: 2.1 Creazione conto corrente: dato il codice fiscale di un cliente registrato, crea un nuovo conto corrente, generando un nuovo IBAN 2.2 Bonifico: trasferisce una somma di denaro fra due conti correnti della stessa banca 3 Gestione operazioni PCT: 3.1 Acquisto PCT: registra un'operazione PCT, dati l'iban del conto corrente interessato, l'identificativo di un titolo di stato, la durata e il valore di restituzione 3.2 Ricerca PCT per conto corrente: dato l'iban di un conto corrente, restituisce la lista di tutte le operazioni PCT in corso per quel conto corrente 3.3 Ricerca PCT per cliente: dato il codice fiscale di un cliente registrato, restituisce la lista di tutte le operazioni PCT in corso per quel cliente Si individuino le funzioni di tipo dati e di tipo transazione. Si calcoli la complessità delle funzioni di tipo dati e delle funzioni di tipo transazione corrispondenti alle operazioni 1.1, 1.2 e 3.3. Si supponga che Titolo di stato sia contato come ILF dell'applicazione Gestione Bond.

3 Soluzione 1 Il sistema non è soggetto a deadlock.

4 Soluzione 2 Tipi definiti dall'utente CodiciFiscali: insieme dei codici fiscali Nomi: insieme dei nomi Stato del sistema, inizializzazione, successo _Banca clienti: CodiciFiscali Nomi conti: R intestatario: clienti conti c dom conti conti(c) 0 c dom clienti intestatario {c} 3 _InitBanca clienti' = conti' = intestatario' = _Success rep!: Report report!='success' Creazione conto corrente Precondizioni: 1. il codice fiscale deve appartenere a un cliente registrato 2. il cliente deve avere meno di tre conti già intestati

5 _CreaConto cf?: CodiciFiscali cf? dom clienti conti(cf?) < 3 n! dom conti conti' = conti {n! 0} intestatario' = intestatario {cf? n!} _ClienteNonRegistrato cf?: CodiciFiscali rep! : Report cf? dom clienti rep! = 'Cliente non registrato' _ClienteHaTreConti cf?: CodiciFiscali rep! : Report conti(cf?) = 3 rep' = 'Il cliente ha già tre conti intestati' CreazioneConto CreaConto Success ClienteNonRegistrato ClienteHaTreConti Aggiunta intestatario Precondizioni: 1. Il cliente è registrato 2. Il cliente è intestatario di meno di tre conti 3. Il conto è esistente _AggiungiIntestatario cf?: CodiciFiscali n?: cf? dom clienti conti(cf?) < 3 n? dom conti intestatario' = intestatario {cf? n?}

6 _ContoNonEsistente n?: rep! : Report n? dom conti rep! = 'Conto non esistente' AggiuntaIntestatario AggiungiIntestatario Success ClienteNonRegistrato ClienteHaTreConti ContoNonEsistente Bonifico 1. Disponibilità sufficiente sul conto di origine 2. Conti di origine e destinazione esistenti _EseguiBonifico origine?: destinazione?: N importo?: R origine? e dom conti destinazione? e dom conti conti(origine?) importo? conti' = conti origine? conti(origine?) importo? destinazione? conti(destinazione?) + importo? _OrigineNonEsistente origine?: rep! : Report origine? dom conti rep! = 'Origine non esistente' _DestinazioneNonEsistente destinazione?: rep! : Report destinazione? dom conti rep! = 'Destinazione non esistente'

7 _DisponibilitàInsufficiente origine?: importo?: R rep! : Report origine e dom conti conti(origine) < importo rep! = 'Disponibilità insufficiente' Bonifico EseguiBonifico Success OrigineNonEsistente DestinazioneNonEsistente DisponibilitàInsufficiente Chiusura conto Precondizione: il conto deve essere esistente. _ChiudiConto n?: n? e dom conti conti' = conti {n?} intestatario' = intestatario {c: clienti c n? intestatario} ChiusuraConto ChiudiConto Success ContoNonEsistente

8 Soluzione 3 1 #include <stdio.h> 2 int main (void) { 3 int a, b, c, i; scanf("%d%d", &a, &b); 5 c = 0; 6 i = a; 7 while (i < b) { 8 if (i % 5 == 0) 9 c = i*i; 10 i++; } 11 printf ("%d\n", c); 9 12 return 0; } Un insieme di casi di test che rispetta il criterio di copertura degli archi è {(5,7)} i % 5 == 0 true 8 true false i < b 11 false

9 Soluzione 4 Identificazione ILF Entità e relazioni Il gruppo di dati o informazioni di controllo è logico e identificabile dall'utente Il gruppo di dati è mantenuto all'interno del confine dell'applicazione che si sta contando da un processo elementare Cliente Sì Sì (Registrazione Cliente) Intestatario No No, il processo Creazione Conto Corrente mantiene anche l'entità Conto Corrente Conto Corrente No No, il processo Creazione Conto Corrente mantiene anche la relazione Intestatario Intestatario Conto Corrente Sì Sì (Creazione Conto Corrente) PCT Sì Sì (Acquisto PCT) Titolo di stato Sì No Identificazione EIF Entità e relazioni Il gruppo di dati o informazioni di controllo è logico e identificabile dall'utente Il gruppo di dati è referenziato dall'applicazione che si sta misurando ed è ad essa esterno Il gruppo di dati non è mantenuto dall'applicazione che si sta misurando Il gruppo di dati è mantenuto in un ILF di un'altra applicazione Titolo di stato Sì Sì Sì Sì

10 RET ILF o EIF Sottogruppi Cliente 1 Intestatario-Conto corrente 1 PCT 1 Titolo di stato 1

11 DET ILF o EIF riconoscibile dall'utente e non ripetuto? Se sì, conta 1 DET DET usato da più applicazioni? Se sì, conta solo i DET usati dall'applicazione Cliente Codice fiscale Sì No No Nome Sì No No Totale 2 Intestatario-Conto corrente Codice fiscale No No Sì IBAN Sì No No Saldo Sì No No Totale 3 PCT IBAN No No Sì Data sottoscrizione Sì No No Durata Sì No No Valore restituzione Sì No No Identificativo No No Sì Totale 5 Titolo di stato Identificativo Sì No No Scadenza Sì No No Totale 2 richiesto per stabilire una relazione con un altro ILF o EIF? Se sì, conta 1 DET

12 Identificazione EI Processo Registrazione cliente / Creazione conto corrente / Acquisto PCT / Bonifico Passo 1: Identificare i processi elementari Passo 2: Determinare il compito principale Passo 3: Validazione con le regole di conteggio degli EI Il processo è elementare? Sì / Sì / Sì / Sì Il processo svolge il compito principale di un EI? Sì / Sì / Sì / Sì (mantenere ILF) I dati o le informazioni di Sì / Sì / Sì / Sì controllo sono ricevuti dall'esterno del confine dell'applicazione Almeno un ILF è mantenuto se i dati che entrano nel confine non sono informazioni di controllo che alterano il comportamento del sistema Per il processo identificato, una delle seguenti tre affermazioni deve essere vera: La logica di processo è unica rispetto alle logiche di processo eseguite da altri EI dell'applicazione L'insieme di elementi di tipo dati identificati è differente dagli insiemi identificati per altri EI dell'applicazione Gli ILFs o EIFs referenziati sono differenti da quelli referenziati da altri EI dell'applicazione Sì (Cliente) / Sì (Intestatario-Conto corrente) / Sì (PCT) / Sì (Intestatario-Conto corrente) Sì / Sì / Sì / Sì Sì / No / Sì / No

13 Identificazione EQ Processo Ricerca PCT per conto corrente / Ricerca PCT per cliente Passo 1: Identificare i processi elementari Passo 2: Determinare il compito principale Passo 3: Validazione con le regole di conteggio degli EQ Il processo è elementare? Sì / Sì Il processo svolge il compito Sì (fornire dati all'utente) principale di un EQ? La funzione manda dati o Sì informazioni di controllo fuori dal confine dell'applicazione Per il processo identificato, una delle seguenti 3 affermazioni deve essere vera: La logica di processo è unica Sì / Sì rispetto alle logiche di processo eseguite da altri EO o EQ dell'applicazione L'insieme di elementi di tipo Sì / Sì dati identificati è differente dagli insiemi identificati per altri EO ed EQ dell'applicazione Gli ILFs o EIFs referenziati Sì / Sì sono differenti da quelli referenziati da altri EO ed EQ dell'applicazione Per il processo identificato, tutte le seguenti 5 affermazioni devono essere vere La logica di processo del Sì / Sì processo elementare reperisce dati o informazioni di controllo da un ILF o EIF La logica di processo del Sì / Sì processo elementare non contiene una formula matematica o un calcolo La logica di processo del Sì / Sì processo elementare non crea dati derivati La logica di processo del Sì / Sì processo elementare non mantiene un ILF La logica di processo del Sì / Sì processo elementare non altera il comportamento del sistema

14 Identificazione EO Processo Saldo complessivo cliente Passo 1: Identificare i processi elementari Passo 2: Determinare il compito principale Passo 3: Validazione con le regole di conteggio degli EO Il processo è elementare? Il processo svolge il compito Sì (fornire dati all'utente) principale di un EO? La funzione manda dati o Sì informazioni di controllo fuori dal confine dell'applicazione Per il processo identificato, una delle seguenti 3 affermazioni deve essere vera: La logica di processo è Sì unica rispetto alle logiche di processo eseguite da altri EO o EQ dell'applicazione L'insieme di elementi di tipo Sì dati identificati è differente dagli insiemi identificati per altri EO ed EQ dell'applicazione Gli ILFs o EIFs referenziati Sì sono differenti da quelli referenziati da altri EO ed EQ dell'applicazione Per il processo identificato, una delle seguenti 4 affermazioni deve essere vera La logica di processo del Sì processo elementare contiene almeno una formula matematica o calcolo. La logica di processo del Sì processo elementare crea dati derivati. La logica di processo del No processo elementare mantiene almeno un ILF. La logica di processo del No processo elementare altera il comportamento del sistema Sì

15 FTR per EI EI ILFs solo mantenuti ILFs e EIFs solo referenziati Registrazione cliente Cliente ILFs sia referenziati sia mantenuti DET per EI Registrazione cliente Codice fiscale riconoscibile dall'utente, non ripetuto che entra o esce dal confine dell'applicazio ne? Conta come 1 DET reperito o derivato dal sistema, che non attraversa il confine? Non contarlo Messaggio di risposta del sistema? Conta 1 DET che specifica l'azione? Conta 1 DET Sì No No No Sì Nome Sì No No No Sì Totale 2 Conta come DET? FTR per EQ EQ Ricerca PCT per cliente ILFs e EIFs referenziati Intestatario-conto corrente PCT

16 DET per EQ riconoscibile dall'utente, non ripetuto che entra o esce dal confine dell'applicazio ne? Conta come 1 DET Messaggio di risposta del sistema o campo che specifica l'azione? Conta come 1 DET Il campo è un letterale, una variabile di pagina o informazione di sistema? Non contarlo reperito o derivato dal sistema, che non attraversa il confine? Non contarlo Ricerca PCT per cliente Codice fiscale Sì No No No Sì IBAN No No No Sì No Data No No No Sì No sottoscrizione Durata Sì No No No Sì Valore Sì No No No Sì restituzione Identificativo Sì No No No Sì Totale 4 Conta come DET? FTR per EO EO ILFs solo mantenuti ILFs e EIFs solo referenziati Saldo complessivo Cliente, cliente Intestatario-conto corrente ILFs sia referenziati sia mantenuti

17 DET per EO riconoscibile dall'utente, non ripetuto che entra o esce dal confine dell'applicazio ne? Conta come 1 DET Messaggio di risposta del sistema o campo che specifica l'azione? Conta come 1 DET Il campo è un letterale, una variabile di pagina o informazione di sistema? Non contarlo reperito o derivato dal sistema, che non attraversa il confine? Non contarlo Saldo complessivo cliente Codice fiscale Sì No No No Sì Saldo No No No Sì No IBAN No No No Sì No Saldo Sì No No No Sì complessivo Totale 2 Conta come DET?