Metodologie e strumenti dell'Ingegneria dei Requisiti ... - MobiLab

More documents

Recommendations

Info

Illustrazione 24: Costo necessario per risolvere bug durante il CVS.................................................72 Illustrazione 25: Sviluppo di sistemi embedded basati su piattaforma..............................................73 Illustrazione 26: Metodologia di sviluppo software a spirale............................................................74 Illustrazione 27: Modello a V.............................................................................................................76 Illustrazione 28: Fasi dei modelli iterativi..........................................................................................80 Illustrazione 29: Fasi del waterfall model..........................................................................................80 Illustrazione 30: Fasi del processo di sviluppo Agile.........................................................................82 Illustrazione 31: Piattaforma MLA....................................................................................................92 Illustrazione 32: Architettura del TCMS............................................................................................93 Illustrazione 33: Modello a V adoperato dall'AnsaldoBreda..............................................................94 Illustrazione 34: Planning e Project Review......................................................................................95 Illustrazione 35: Requirements Specification.....................................................................................96 Illustrazione 36: Requirements Review..............................................................................................97 Illustrazione 37: Archietecture and Design........................................................................................98 Illustrazione 38: Module Design and Implementation.......................................................................99 Illustrazione 39: Detailed Design Review........................................................................................100 Illustrazione 40: Analisi Statica........................................................................................................101 Illustrazione 41: Module Testing......................................................................................................102 Illustrazione 42: Integration and Validation Testing.........................................................................103 Illustrazione 43: Release...................................................................................................................104 Illustrazione 44: Configuration Review...........................................................................................105 Illustrazione 45: Esempio di requisito funzionale di sistema di MetroRiyadh................................109 Illustrazione 46: Esempio di requisito software...............................................................................109 Illustrazione 47: Processo di definizione dei requisiti......................................................................114 Illustrazione 48: Esempio di requisito di interfaccia di comunicazione: Dataset 500......................116 Illustrazione 49: Esempio di requisito di sistema.............................................................................120 Illustrazione 50: Esempio di "sovra-specifica" nel requisito software.............................................121 Illustrazione 51: DOORS: Il Project Template.................................................................................146 Illustrazione 52: Il campo descrizione di un documento FRS..........................................................147 Illustrazione 53: Tracciabilità FRS_CapitolatoTecnico....................................................................148 Illustrazione 54: Estratto di una matrice di tracciabilità (riferimento verticale)..............................149 Illustrazione 55: Matrice di tracciabilità HLR - LLR.......................................................................149 Illustrazione 56: Esempio di tracciabilità tra LH e Moduli software...............................................150 Illustrazione 57: Esempio di tracciabilità tra Modulo Software e File Test....................................151 Indice delle tabelle Tabella 1: Destinatari del documento dei requisiti.............................................................................24 Tabella 2: Protitype SRS outline................................................................................................25 Tabella 3: La struttura di un documento dei requisiti.........................................................................26 Tabella 4: Metodologia a cascata vs Agile (SCRUM)........................................................................85 Tabella 5: Luoghi comuni sugli approcci a cascata e Agile...............................................................86 Tabella 6: Livelli di SIL nella norma EN IEC 61508.......................................................................157 vi
Page 1 and 2: Facoltà di Ingegneria Corso di Stu
Page 3 and 4: Indice generale Metodologie e strum
Page 5: 5.6.4.1.5 Casi d'uso, scenari di in
Page 9 and 10: inserito il sistema software ed a s
Page 11 and 12: Capitolo 1 1. I requisiti Il termin
Page 13 and 14: Che si tratti di utente o di sistem
Page 15 and 16: 1.3.1 Requisiti non funzionali di P
Page 17 and 18: prodotto. Usabilità, Efficienza, A
Page 19 and 20: 1.3.2.2 Requisiti di implementazion
Page 21 and 22: tanto da poter rendere il sistema i
Page 23 and 24: adoperando una particolare interfac
Page 25 and 26: • Destinazione: entità alla qual
Page 27 and 28: Questa considerazione spinge taluni
Page 29 and 30: • il livello di sicurezza garanti
Page 31 and 32: Quelli che vengono valutati, al fin
Page 33 and 34: Capitolo 2 Requirements Engineering
Page 35 and 36: Illustrazione 10: Principali cause
Page 37 and 38: delle esigenze mutevoli del custome
Page 39 and 40: un'evoluzione, arricchendosi e spec
Page 41 and 42: Di conseguenza, la fase di deduzion
Page 43 and 44: 2.4.1 La scoperta dei requisiti La
Page 45 and 46: funzionalità e le interfacce. I se
Page 47 and 48: 1) chi siano gli attori (primario 5
Page 49 and 50: controllare il sistema (nella fase
Page 51 and 52: In effetti, l'adozione di tale appr
Page 53 and 54: Tale attività confluisce in un doc
Page 55 and 56: dipendenze tra requisiti; • Tracc
Page 57 and 58:
L'approfondimento della conoscenza
Page 59 and 60:
pertanto bisogna scrivere un insiem
Page 61 and 62:
appresentano la base dell'accordo i
Page 63 and 64:
Capitolo 3 Sistemi emdebbed e metod
Page 65 and 66:
che si protenda verso soluzioni pre
Page 67 and 68:
3.2 Vincoli dei sistemi embedded Pe
Page 69 and 70:
• Average: rappresenta un requisi
Page 71 and 72:
• Progetto: - progetto architettu
Page 73 and 74:
generale del sistema embedded e, na
Page 75 and 76:
Questo approccio allo sviluppo cons
Page 77 and 78:
descritta. Come mostrato in figura
Page 79 and 80:
funzionalità e le prestazioni di o
Page 81 and 82:
Capitolo 4 Le metodologie agili L'i
Page 83 and 84:
Secondo Highsmith e Cockburn (2001)
Page 85 and 86:
formalizzato da Martin Fowler [31].
Page 87 and 88:
Definizione dei requisiti Requisiti
Page 89 and 90:
prevedibile, l'attenzione debba ess
Page 91 and 92:
Capitolo 5 La piattaforma Metropool
Page 93 and 94:
5.1.1 Generalità sui componenti de
Page 95 and 96:
Ogni veicolo prevede due possibili
Page 97 and 98:
5.2.2 Requirements Specification Pe
Page 99 and 100:
5.2.4 Module Design and Implementat
Page 101 and 102:
5.2.5 Analisi Statica Illustrazione
Page 103 and 104:
5.2.7 Integration and Validation Te
Page 105 and 106:
Verification Report. 5.2.9 Gestione
Page 107 and 108:
Engineer e del Test Engineer. In pa
Page 109 and 110:
• Ansaldo STS 144 , partner di An
Page 111 and 112:
Relativamente al Progetto MetroRiya
Page 113 and 114:
5.6 Interventi A fronte dell'analis
Page 115 and 116:
Nel caso della piattaforma MLA la c
Page 117 and 118:
Illustrazione 48: Esempio di requis
Page 119 and 120:
esempio: "Il sistema deve visualizz
Page 121 and 122:
apida individuazione e risoluzione
Page 123 and 124:
valutare il numero di casi di test
Page 125 and 126:
Tipologia : Functional Criteri di v
Page 127 and 128:
caso, i LLR dovranno particolareggi
Page 129 and 130:
Esempi Esempio 1 Requisito originar
Page 131 and 132:
Tipologia: Functional Frase origina
Page 133 and 134:
Link a SHR_TCMS_02 (HLR) Nome: Trac
Page 135 and 136:
Postcondizioni: Tipologia:Functiona
Page 137 and 138:
with train direction (Cmd_SandA/B->
Page 139 and 140:
Descrizione: TCMS shall command the
Page 141 and 142:
Output atteso:Train departure comma
Page 143 and 144:
Nome: Diagnostic information about
Page 145 and 146:
Input: HSCB status Precondizioni: D
Page 147 and 148:
00 - Norme Vigenti Contiene le norm
Page 149 and 150:
Si noti che, come abbiamo già disc
Page 151 and 152:
• nominare ogni oggetto con l'ind
Page 153 and 154:
Conclusioni Quanto mostrato in ques
Page 155 and 156:
Misure di qualità per la valutazio
Page 157 and 158:
termine, pregiudica non solo la qua
Page 159 and 160:
Piattaforma non strutturata che con
Page 161 and 162:
Bibliografia [1] Alan Mark Davis, A
Page 163:
162
show all

Metodologie e strumenti dell'Ingegneria dei Requisiti ... - MobiLab

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?