Flusso 4: flusso di verifica manuale e delle regole

I due flussi seguenti consentono all’utente di configurare una verifica direttamente dal Modulo Requisiti.

Flusso di verifica manuale

Questo flusso consente di aggiungere direttamente un’attività di V&V a un requisito dall’interno del Modulo Requisiti e di aggiornare manualmente lo stato. Per farlo, è possibile fare doppio clic su una cella nella colonna V&V Activities  nel Modulo Requisiti e creare un collegamento a un’attività.

La finestra Verification & Validation Items che si apre mostra le attività già aggiunte. Fare clic sul pulsante per collegare attività esistenti al requisito. Dalla finestra Link Activity che si apre, è possibile selezionare un’attività esistente e, facoltativamente, un blocco.

Dopo questo passaggio, è possibile assegnare direttamente lo stato manualmente oppure passare all’attività o all’esecuzione tramite i collegamenti dinamici.

Flusso di verifica tramite regole

Le regole consentono di stabilire un confronto tra i valis del blocco e i valis del requisito tramite espressioni booleane (ad esempio, "La massa del progetto è inferiore alla massa massima del requisito?"). A tale scopo, assicurarsi di aver definito i Valis su entrambi i lati (nel Modulo Blocchi e nel Modulo Requisiti). Per definire una regola, fare doppio clic su una cella nella colonna V&V Rules di un requisito. Si aprirà una finestra in cui è possibile definire le regole.

Per richiamare i Valis, digitare il simbolo del dollaro ($) che aprirà un menu a discesa con i Valis tra cui scegliere e da cercare. Nell’esempio mostrato di seguito, la massa effettiva del sistema di alimentazione del drone viene confrontata con la massa massima consentita definita dal requisito.

In questo caso, la regola risulta verificata poiché 0,44 kg (massa del progetto) è inferiore a 0,5 kg (massa massima del requisito).

Ciò sarà indicato anche nello stato di verifica complessivo nella colonna V&V Status .