Verifica del sistema

In Requirements Portal, i requisiti sono collegati a uno o più sistemi o sottosistemi. Questi sistemi vengono verificati tramite attività di Verifications and Validations (V&V). Il requisito di un blocco può essere verificato con una o più attività di V&V. Ogni attività può essere collegata a uno o più requisiti e può verificare uno o più sistemi.

In questa parte del tutorial, vedremo come eseguire attività di V&V utilizzando Requirements Portal e spiegheremo quanto segue:

• Come creare attività di V&V.

• Come collegare le attività di V&V ai requisiti.

• Come eseguire un’attività.

• Dimostrazione dei metodi di verifica automatica in Requirements Portal.

Creazione e caricamento di viste per la verifica

Requirements Portal offre vari attributi preselezionati, come Identifier, Text, Parents, Children, Type, State, V&V Status, V&V Activities, V&V Blocks, Tags e Properties. Tuttavia, questo può comportare uno scorrimento orizzontale eccessivo sugli schermi più piccoli. Puoi generare viste personalizzate con solo gli attributi essenziali per semplificare il processo di verifica. Creiamo una nuova vista per la verifica e carichiamola.

1. Apri la specifica Fan_Spec (sotto la voce Requirements nell’albero del progetto).

2. Passa il cursore sopra l’intestazione di una qualsiasi colonna, fai clic sull’icona che appare, quindi fai clic sull’icona per visualizzare un elenco delle colonne disponibili.

   

3. Deseleziona tutte le colonne nell’elenco e seleziona solo le seguenti:

   • Text

   • Parents

   • Children

   • V&V Activities

   • V&V Status

   • V&V Rules

   • Applicable Block

   • Tags

   Puoi anche selezionare/deselezionare gli attributi utilizzando il pannello Columns accessibile dal lato destro. Questo approccio viene mostrato anche per renderti consapevole delle opzioni aggiuntive disponibili nelle intestazioni di colonna, come i filtri e le opzioni di dimensionamento della tabella. Ad esempio, l’icona fornisce opzioni di filtro per una colonna specifica.

4. Fai clic con il pulsante destro nella tabella e seleziona il comando Save view dal menu contestuale. Nella finestra Save current view che si apre, inserisci Verification_View come View name, seleziona Private, quindi fai clic su .

   

   Tutte le colonne selezionate, le larghezze delle colonne e i filtri applicati verranno salvati in una vista dedicata. Una volta salvata la vista, puoi caricarla facendo clic con il pulsante destro nella tabella e selezionando la voce corrispondente nel sottomenu Load View.

Aggiunta di un’attività di Verification & Validation a un requisito

Requirements Portal offre tre colonne dedicate alla verifica e validazione dei requisiti (oltre a colonne aggiuntive come Compliance e Compliance Comment o persino colonne personalizzate relative alle attività di verifica):

• V&V Activities – visualizza le attività di V&V associate al requisito.

• V&V Status – indica lo stato complessivo della verifica del requisito.

• V&V Rules – verifica automatica basata sul confronto dei vali tra il requisito e il Blocks Module.

1. Espandi la voce Verifications & Validations nell’albero del progetto e seleziona Activities.

2. Fai clic sul pulsante . Nella finestra Create V&V Activity che si apre, inserisci Mass Inspection nel campo Name e This activity measures the mass of the Valifan. nel campo Description, quindi fai clic su .

   

3. Ora colleghiamo la nuova attività a uno dei nostri requisiti dal Requirements Module. Fai clic sul nome dell’attività nella colonna Name e fai clic sul controllo Requirements Statuses nella parte superiore della pagina.

   

4. Fai clic sul pulsante in alto a sinistra. Nella finestra Link Requirement che si apre, seleziona R-Fan-001 nel menu a discesa Requirement e seleziona Valifan dal menu a discesa Block, quindi fai clic su .

   

5. Supponiamo che tu abbia eseguito l’ispezione della massa secondo le istruzioni dell’attività e che ora vogliamo impostare lo stato della verifica su verificato. Per farlo, fai doppio clic sulla cella nella colonna Status e seleziona Verified dal menu a discesa.

   

Con questo, abbiamo creato con successo un’attività di verifica manuale. Vediamo ora come ottenere verifiche automatiche sui nostri requisiti che confrontano i vali dei blocchi con i vali dei requisiti.

Verifica automatica del sistema tramite regole

1. Apri la specifica Fan_Spec (sotto la voce Requirements nell’albero del progetto).

2. Passa il cursore sul vali 300 g nella colonna Text per il requisito R-Fan-001 e controllane il nome nel pop-up. Questo nome verrà utilizzato durante la creazione di una regola in cui questo vali verrà confrontato con un vali del Blocks Module.

   

   I vali nei requisiti possono essere modificati facendo clic sull’icona nel pop-up. Puoi regolare parametri come nome, margini, ecc.

3. Fai doppio clic sulla cella nella colonna V&V Rules per il requisito R-Fan-001. Si aprirà la finestra V&V Rules, in cui puoi definire una regola per confrontare il nostro requisito Valifan mass di 300 g con il vali di massa del sistema Valifan dal Blocks Module. Usa il simbolo $ per fare riferimento ai vali. Nel pop-up che appare, puoi cercare i vali digitandone i nomi. Definisci la regola come segue:

   $Valifan.Mass<$R-Fan_001.maximum_fan_mass

   Nota come Requirements Portal recupera i valori associati reali sotto la casella di testo.

   

4. Fai clic sul pulsante nella finestra V&V Rules e poi chiudi la finestra. Nella tabella vedrai che ora abbiamo una regola (che è verificata) associata al requisito e uno stato V&V totale di 2/2 (poiché anche l’attività di ispezione della massa è stata verificata in precedenza).

   

Passaggi successivi?

Congratulazioni, ora sai come orientarti in Requirements Portal!

Puoi continuare a migliorare il tuo progetto di ventola da tavolo. Ecco alcune idee:

• Aggiungi la conformità ai tuoi requisiti.

• Aggiungi alcune relazioni padre/figlio tra i requisiti, controlla il grafico delle connessioni connections graph e nota i codici colore sul requisito.

• Aggiungi un blocco pannello solare per rendere la ventola portatile. Puoi rendere la velocità massima di rotazione dipendente dall’angolo di incidenza del sole sul pannello solare.