Università di Bergamo Dip. di Ingegneria gestionale, dell'informazione e della produzione INGEGNERIA DEL SOFTWARE. Paolo Salvaneschi A4_5 V3.

Transcript

1 Università di Bergamo Dip. di Ingegneria gestionale, dell'informazione e della produzione INGEGNERIA DEL SOFTWARE Paolo Salvaneschi A4_5 V3.2 Progettazione Verifica del progetto Il contenuto del documento è liberamente utilizzabile dagli studenti, per studio personale e per supporto a lezioni universitarie. Ogni altro uso è riservato, e deve essere preventivamente autorizzato dall autore. Sono graditi commenti o suggerimenti per il miglioramento del materiale

2 INDICE Verifica del progetto Significato Classificazione delle verifiche Piano delle verifiche Livelli di verifica Scenari Tipi di verifiche Ispezione e Analisi Animazione / simulazione A4 - Progettazione Paolo Salvaneschi 2

3 Significato Cosa significa verificare? Analisi dei Requisiti e Specifica Documenti Progetto Verifica che le caratteristiche specificate siano soddisfatte dal progetto A4 - Progettazione Paolo Salvaneschi 3

4 Significato Cosa si verifica? Specifiche funzionali e non funzionali Il modello di qualità ISO 9126 A4 - Progettazione Paolo Salvaneschi 4

5 Classificazione delle verifiche Il modello di qualità ISO 9126 Analisi dei requisiti e specifica Specifiche relative a: Funzionalità Affidabilità Usabilità Efficienza Manutenibilità Portabilità Progetto Verifiche relative a: Funzionalità Affidabilità Usabilità Efficienza Manutenibilità Portabilità A4 - Progettazione Paolo Salvaneschi 5

6 Piano delle verifiche Per ogni classe di specifiche elencare le verifiche AFFIDABILITA Verifica del progetto per quanto riguarda l'affidabilità dei componenti "Acquisizione e preelaborazione" e "Banca dati (requisito 5.4). Dovrà anche essere verificato che gli altri componenti, per come sono stati progettati, non abbiano requisiti critici di affidabilità (in altri termini il requisito critico di affidabilità è stato confinato dalla progettazione nei soli due componenti suddetti). Dovrà essere inoltre verificato che l'intero sistema progettato possieda i meccanismi adeguati per gestire i requisiti d'affidabilità dei due componenti. La verifica va eseguita attraverso l'ispezione dei documenti di progetto. EFFICIENZA Verifica di prestazioni (requisito 5.3) relativamente ai componenti " Acquisizione e preelaborazione", " Monitoraggio" e " Banca dati". Esempio La verifica va eseguita attraverso test specifici per la misura quantitativa delle prestazioni. A4 - Progettazione Paolo Salvaneschi 6

7 Livelli di verifica Le verifiche possono essere utilmente strutturate per livelli Motivazioni: Costo di verifica Liv 1: valutazione delle prestazioni attraverso l esame di progetti analoghi e documentazione dei prodotti utilizzati Liv 2: Sviluppo di un prototipo e prove di prestazioni Propedeuticità Liv 1: presenza degli argomenti di interesse nel documento di progetto; chiarezza / leggibilità Liv 2: Analisi ulteriori A4 - Progettazione Paolo Salvaneschi 7

8 Scenari Possono essere utilizzati (dalle specifiche) o costruiti scenari per verificare le caratteristiche del progetto. Manutenibilità: Scenari di possibile richieste di modifica Privatezza: Scenari di possibili attacchi di hacker o usi non autorizzati Affidabilità: Scenari di guasto A4 - Progettazione Paolo Salvaneschi 8

9 Tipi di verifica A livello del progetto esiste un modello, non esiste codice. Come si verifica? Tipi di verifiche Ispezione Analisi Animazione/simulazione A4 - Progettazione Paolo Salvaneschi 9

10 Ispezione e analisi Ispezione del documento di progetto Struttura dell indice e presenza dei contenuti rilevanti per la progettazione Lettura del documento: leggibilità e chiarezza Esame del documento di progetto e di analisi dei requisiti: allocazione nel progetto di tutte le specifiche funzionali A4 - Progettazione Paolo Salvaneschi 10

11 Esempio Verifica in corso d opera della Progettazione Identificazione del documento Il documento di progetto soggetto a verifica è il documento riferito in... Verifica di chiarezza del documento La verifica di chiarezza del documento è stata eseguita attraverso le seguenti modalità: Esame del documento e discussione con i progettisti utilizzando la checklist in allegato A Verifica congiunta con il Responsabile di progetto del Cliente I risultati della verifica sono i seguenti: Il documento in oggetto identifica con chiarezza: L'architettura di sistema L'architettura del software I componenti di hardware e software di base utilizzati per l'implementazione. Il documento contiene il modello Entità Relazione della banca dati progettata. Verifica di completezza del documento La verifica di completezza del documento è stata eseguita attraverso le seguenti modalità: Discussione degli aspetti architetturali della banca dati relativamente all'integrazione tra parte cartografica e parte alfanumerica attraverso una specifica riunione alla quale hanno partecipato il Responsabile di progetto del Cliente, i Responsabili del Fornitore ed il Collaudatore. Verifica dettagliata del contenuto del modello dei dati da parte del Responsabile di progetto del Cliente. La verifica dettagliata è stata svolta sia attraverso l'esame del documento, sia attraverso un insieme di riunioni specifiche con gli estensori del documento stesso. <omissis> Giudizio di verifica Sulla base delle verifiche e degli esiti sopra descritti, il giudizio finale di verifica è Positivo A4 - Progettazione Paolo Salvaneschi 11

12 Esempio A4 - Progettazione Paolo Salvaneschi 12

13 Esempio A4 - Progettazione Paolo Salvaneschi 13

14 Ispezione e analisi Analisi: ragionamento sul progetto Comprendere la specifica Esaminare il progetto Studiare le caratteristiche del progetto rispetto alla specifica Definire degli scenari appropriati e valutare il comportamento del progetto Esaminare i casi limite Valutare le alternative di progettazione A4 - Progettazione Paolo Salvaneschi 14

15 Ispezione e analisi Verifica di proprietà del progetto Il modello descrittivo deve prestarsi a verifiche di proprietà es. proprietà relative alla concorrenza A4 - Progettazione Paolo Salvaneschi 15

16 Animazione / simulazione Animazione del modello Esempio: analisi del comportamento del sistema utilizzando le Reti di Petri Simulazione con la costruzione di specifici prototipi A4 - Progettazione Paolo Salvaneschi 16

17 Esempio Piano EFFICIENZA Verifica di prestazioni (specifica 5.3) relativamente alle componenti " Acquisizione e preelaborazione", " Monitoraggio" e " Banca dati". La verifica va eseguita attraverso test specifici per la misura quantitativa delle prestazioni. A4 - Progettazione Paolo Salvaneschi 17

18 Esempio Sono state eseguite le seguenti verifiche: Esecuzione Implementazione di un processo di prova che inserisce in un data base SQL Server un flusso di pacchetti di dati paragonabili ai pacchetti acquisiti ogni minuto con un carico di 3000 clienti. Caratteristiche della prova: Windows NT 4 e SQL Server; inserimento con autocommit di ogni pacchetto; flusso di 3000 pacchetti al minuto; macchina Pentium II 450 MHz, 256 Mb RAM (Server entry level "Hp netserver") Il flusso, pari alla peggiore condizione di carico ipotizzabile per questo flusso, per 3 volte il massimo dei clienti specificato nel requisito, viene gestito correttamente su una macchina server entry level. Verifica delle specifiche prestazionali del meccanismo di comunicazione di Windows NT MSMQ utilizzato per gestire le code di comunicazione tra i processi. I documenti ufficiali Microsoft riportano i seguenti dati di prova:windows NT 4; macchina Pentium 200 MHz, 256 Mb RAM E mantenuto un flusso continuo di messaggi da 1000 bytes ognuno, pari a 6000 messaggi al secondo. Il sistema progettato deve operare con prestazioni di un ordine di grandezza inferiori. A4 - Progettazione Paolo Salvaneschi 18