Analisi e formalizzazione dei requisiti non funzionali

Presentazione sul tema: "Analisi e formalizzazione dei requisiti non funzionali"— Transcript della presentazione:

1 Analisi e formalizzazione dei requisiti non funzionali
Università Ca’ Foscari di Venezia Facoltà di Scienze matematiche, Fisiche e Naturali Corso di Laurea in informatica Analisi e formalizzazione dei requisiti non funzionali Laureando: Pietro Cappellazzo – Relatore: Chiar.mo prof. Agostino Cortesi Laureando: Pietro Cappellazzo Relatore: Chiar.mo prof. Agostino Cortesi - Analisi e formalizzazione dei requisiti non funzionali - 1

2 Introduzione Problema nel definire metodi standard e avere strumenti per la verifica automatica dei requisiti non funzionali. Laureando: Pietro Cappellazzo Relatore: Chiar.mo prof. Agostino Cortesi - Analisi e formalizzazione dei requisiti non funzionali - 2

3 Obiettivi Capire perché esistono questi problemi, analizzando i requisiti non funzionali. Cercare possibili soluzioni analizzando il processo che porta alla produzione e verifica del documento dei requisiti. Laureando: Pietro Cappellazzo Relatore: Chiar.mo prof. Agostino Cortesi - Analisi e formalizzazione dei requisiti non funzionali - 3

4 I requisiti non funzionali
Laureando: Pietro Cappellazzo Relatore: Chiar.mo prof. Agostino Cortesi - Analisi e formalizzazione dei requisiti non funzionali - 4

5 Ricerca Fase di comprensione Difficoltà di comunicazione Limiti budget
Limiti tecnologici Laureando: Pietro Cappellazzo Relatore: Chiar.mo prof. Agostino Cortesi - Analisi e formalizzazione dei requisiti non funzionali - 5

6 Analisi e negoziazione
Processi connessi in modo diretto con la ricerca Laureando: Pietro Cappellazzo Relatore: Chiar.mo prof. Agostino Cortesi - Analisi e formalizzazione dei requisiti non funzionali - 6

7 Formalizzazione Cosa abbiamo: Cosa vogliamo:
Un Documento non strutturato al quale sono aggiunti man mano i dettagli necessari. Cosa vogliamo: Un documento strutturato con all’interno requisiti di qualità e non ambigui. Laureando: Pietro Cappellazzo Relatore: Chiar.mo prof. Agostino Cortesi - Analisi e formalizzazione dei requisiti non funzionali - 7

8 Formalizzazione Caratteristiche di un buon requisito:
Verificabilità Consistenza Completezza Realismo Comprensibilità Tracciabilità Adattabilità Problematiche sulla scelta del linguaggio (Linguaggio Naturale, Naturale strutturato, di specifica, grafico, matematico) Laureando: Pietro Cappellazzo Relatore: Chiar.mo prof. Agostino Cortesi - Analisi e formalizzazione dei requisiti non funzionali - 8

9 Validazione Processo di controllo del documento dei requisiti.
Laureando: Pietro Cappellazzo Relatore: Chiar.mo prof. Agostino Cortesi - Analisi e formalizzazione dei requisiti non funzionali - 9

10 Validazione Errori che possono essere riscontrati:
Mancanza di conformità con gli standards Cattiva stesura dei requisiti Conflitti Possibilità di effettuare verifiche automatiche. Laureando: Pietro Cappellazzo Relatore: Chiar.mo prof. Agostino Cortesi - Analisi e formalizzazione dei requisiti non funzionali - 10

11 Linguaggio naturale controllato
linguaggio naturale semplificato Traducibile in modo automatico in più linguaggi formali Offre Molteplici vantaggi (conserva sia le caratteristiche del linguaggio naturale che quelle dei linguaggi formali) Laureando: Pietro Cappellazzo Relatore: Chiar.mo prof. Agostino Cortesi - Analisi e formalizzazione dei requisiti non funzionali - 11

12 ACE Un esempio: Attempto Controlled English Linguaggio naturale
Also, there are some grains, and grains are plant ACE Every Grain is a plant FOL All(A, grains(A)=>plant(A)) PRQ Axiom(all(A, grains(A)=>plant(A))) Linguaggio naturale Every animal either likes to eat all plants or all animal much smaller than itself that like to eat some plants ACE Every animal A eats plant or eats every animal D that is smaller than A and that eat plants FOL All(A, animal(A)=>(all(B, plant(B) => eat(A,B)) $ all(D,all(F,animal(D) & smaller_then (D,A) & plant(F) & eat(D,F) => eat (A,D))))) PRQ Axiom(All(A, animal(A)=>(all(B, plant(B) => eat(A,B)) $ all(D,all(F,animal(D) & smaller_then (D,A) & plant(F) & eat(D,F) => eat (A,D))))) Laureando: Pietro Cappellazzo Relatore: Chiar.mo prof. Agostino Cortesi - Analisi e formalizzazione dei requisiti non funzionali - 12

13 Conclusioni La difficoltà nel trovare modelli adatti ai requisiti non funzionali è dovuta alla vastità di questi. Possibile uso del linguaggio naturale controllato per avere un documento scritto in un unico linguaggio e verificabile in modo automatico. Il fatto di avere un unico linguaggio per l’intero documento dei requisiti (sia funzionali che non funzionali) può servire per trovare un modello. Laureando: Pietro Cappellazzo Relatore: Chiar.mo prof. Agostino Cortesi - Analisi e formalizzazione dei requisiti non funzionali - 13