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

More documents

Recommendations

Info

Postcondizioni: Tipologia:Functional/Safety ID: SLR_TCMS_02 Link a SHL_TCMS_02 Nome: Diagnostic information Input: Diagnostic informationsent on MVB (dataset 41X, X=1, 2, Autoexlusion bit ) and wired (TCU KO, PropA/B_flt active low) Precondizioni: Descrizione: TCMS will also provide diagnostic information TCU_X Major Fault to ATC (dataset 201). In this case it shall be provide a passenger disembark procedure at the next station. Output atteso:Diagnostic information TCU_X Major Fault to ATC on MVB through dataset 201. Passenger disembark procedure provided. Postcondizioni: Tipologia: Functional/Safety frase originaria: TCU will also provide a life signal on MVB (dataset 43X). TCU will detect the HSCB status: if this one is not correctly closed, TCU won’t allow the propulsion. ID: SHR_TCU_02 Link a REQ_PROP_10 Nome: HSCB status Input: HSCB status Precondizioni: Descrizione: TCU shall detect the HSCB status Output atteso: HSCB status detected Postcondizioni: Tipologia:Functional ID: SLR_TCU_02 Link a SHR_TCU_02 Nome: HSCB status 143
Input: HSCB status Precondizioni: Descrizione: TCU shall also provide a life signal on MVB (dataset 43X). TCU shall detect the HSCB status Output atteso:HSCB status detected Postcondizioni: Tipologia: Functional 144
Page 1 and 2:
Facoltà di Ingegneria Corso di Stu
Page 3 and 4:
Indice generale Metodologie e strum
Page 5 and 6:
5.6.4.1.5 Casi d'uso, scenari di in
Page 8 and 9:
Introduzione Nel corso degli ultimi
Page 10 and 11:
Ciò ha fatto nascere una nuova con
Page 12 and 13:
La situazione appena descritta non
Page 14 and 15:
I requisiti non funzionali sono str
Page 16 and 17:
minimizzare gli errori degli utenti
Page 18 and 19:
di fiducia che può essere ragionev
Page 20 and 21:
difficoltà nel capire il modo in c
Page 22 and 23:
In effetti, essi dovrebbero descriv
Page 24 and 25:
specifica dei requisiti. Oltre a qu
Page 26 and 27:
descrizione delle funzionalità che
Page 28 and 29:
1.10 La qualità del software Per q
Page 30 and 31:
Illustrazione 6: Modello di qualit
Page 32 and 33:
Inoltre, l'adozione di strumenti a
Page 34 and 35:
dalle parti interessate, cioè clie
Page 36 and 37:
Prima di procedere ad una definizio
Page 38 and 39:
software. In linea con questo appro
Page 40 and 41:
descrizione di massima del sistema
Page 42 and 43:
pervenire al glossario di dominio 5
Page 44 and 45:
Può capitare, invece, che il lavor
Page 46 and 47:
stakeholder (intervista aperta). Il
Page 48 and 49:
percezione concreta delle interazio
Page 50 and 51:
particolare funzionalità, che potr
Page 52 and 53:
Ancora, nella redazione della sezio
Page 54 and 55:
invalidando la presenza di alcuni r
Page 56 and 57:
Un esempio potrebbe essere il colle
Page 58 and 59:
fine di risolverle. Il modello di r
Page 60 and 61:
Il primo passo da compiere in tal s
Page 62 and 63:
sistema che tracci ciascuna propost
Page 64 and 65:
è costituita da una sezione di ela
Page 66 and 67:
• Disponibilità: probabilità ch
Page 68 and 69:
• Requisiti temporali; • Requis
Page 70 and 71:
definitiva, il costo del dispositiv
Page 72 and 73:
componenti software, per ogni modul
Page 74 and 75:
Illustrazione 24: Costo necessario
Page 76 and 77:
• pianificazione; • analisi dei
Page 78 and 79:
3.4.3.1 Le fasi del modello a V 1)
Page 80 and 81:
dello studio di fattibilità. Il pr
Page 82 and 83:
presentano caratteristiche "preditt
Page 84 and 85:
Tutte queste aderiscono ai principi
Page 86 and 87:
È bene notare, che nel passaggio t
Page 88 and 89:
Tabella 5: Luoghi comuni sugli appr
Page 90 and 91:
Quanto detto, fa nascere l'idea che
Page 92 and 93:
"sistema di trasporto rapido di mas
Page 94 and 95: Per mezzo di uno scambio di dati 12
Page 96 and 97: 5.2.1 Planning La pianificazione de
Page 98 and 99: 5.2.3 Architecture and Design Illus
Page 100 and 101: individuati; il codice viene genera
Page 102 and 103: 5.2.6 Module Testing Illustrazione
Page 104 and 105: 5.2.8 Release Illustrazione 42: Int
Page 106 and 107: 5.3 Analisi del processo di svilupp
Page 108 and 109: capitolato di gara, nel quale sono
Page 110 and 111: Il lavoro è stato condotto sul sis
Page 112 and 113: • la mancanca di una classificazi
Page 114 and 115: - predisponendo l'estendibilità ed
Page 116 and 117: • tracciare la/le relazione/i tra
Page 118 and 119: 5.6.4 La scrittura dei requisiti La
Page 120 and 121: • Postcondizioni: condizioni che
Page 122 and 123: L'insieme delle informazioni relati
Page 124 and 125: Req_4: EB status detection, and inf
Page 126 and 127: tracciare i collegamenti tra quest'
Page 128 and 129: ciascun ingresso di una fase dovrà
Page 130 and 131: The minimum threshold applied effor
Page 132 and 133: LINK a REQ_BRAKE_61 Nome: Traction
Page 134 and 135: TCU is not able to provide effort,
Page 136 and 137: Precondizioni: Descrizione: The BCU
Page 138 and 139: Descrizione:The BCU (dataset 5x2) s
Page 140 and 141: Tipologia:Functional ID: SLR_TCMS_0
Page 142 and 143: frase originaria: In this case of T
Page 146 and 147: 5.7 IBM Rational DOORS: un tool per
Page 148 and 149: Sezione contenente la documentazion
Page 150 and 151: icavando la corrispondente matrice
Page 152 and 153: Illustrazione 57: Esempio di tracci
Page 154 and 155: Appendice Scenari Gli scenari si di
Page 156 and 157: 3. "Deliver working software freque
Page 158 and 159: Lo standard IEC 61508 introduce il
Page 160 and 161: CEI EN 50129 Normativa che specific
Page 162 and 163: [26] Cockburn, 2001, Agile Software
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?