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

More documents

Recommendations

Info

5.2.6 Module Testing Illustrazione 40: Analisi Statica Dopo la fase di implementazione dei moduli software, vengono eseguiti i test (funzionali) sui componenti sviluppati. L'attività eseguita con il tool Cunit (cfr. Appendice), mentre la valutazione della copertura dei requisiti viene effettuata tramite review. Mentre lo svolgimento dei test è obbligatorio per tutti i moduli, la produzione della documentazione – contenente gli esiti – è prescritta solo nei casi in cui il SIL sia maggiore di 0. 101
5.2.7 Integration and Validation Testing Dal test di modulo di passa all'integrazione dei moduli software ed al relativo test, Validation Testing, che si riferisce alla verifica della conformità con la specifica dei requisiti funzionali e con gli aspetti relativi alla sicurezza. In pratica, i test eseguiti in questa fase sono quelli definiti nel documento STRS. È bene notare che non sono prescritti test di integrazione, né test per i requisiti non funzionali 137 . Illustrazione 41: Module Testing Bisognerà effettuare test di regressione nel caso di modifiche apportate; in particolare, il progettista avrà il compito di selezionare il set di test (obbligatori o facoltativi) che dovranno essere ripetuti, affinchè la nuova versione del software sia validata. L'analisi di impatto è eseguita manualmente ed è a carico del progettista. 137 Ciò potrebbe dipendere dalla mancanza di una classificazione dei requisiti in base alla tipologia di appartenenza. 102
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 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 144 and 145: Postcondizioni: Tipologia:Functiona
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

Create successful ePaper yourself

Delete template?

Save as template?