Flujo 4: Flujo de verificación manual y de reglas

Los siguientes dos flujos permiten al usuario configurar una verificación directamente desde el Módulo de Requisitos.

Flujo de verificación manual

Este flujo permite al usuario añadir directamente una actividad de V&V a un requisito desde el Módulo de Requisitos y actualizar manualmente el estado.

Para ello, puede hacer doble clic en una celda de la columna “V&V Activities” en el Módulo de Requisitos y crear una actividad.

Aquí verá las actividades ya añadidas y la posibilidad de vincular actividades existentes a este requisito haciendo clic en el botón “Link Activity“.

Desde aquí puede seleccionar una actividad existente en el menú desplegable y, opcionalmente, seleccionar un bloque.

Después de esto, puede asignar directamente el estado de forma manual o ir a la actividad o a la ejecución mediante los enlaces dinámicos.

Flujo de verificación mediante reglas

Las reglas permiten a los usuarios establecer una comparación entre los valis del diseño del sistema y los valis del requisito mediante expresiones booleanas (p. ej., "¿Es la masa del diseño inferior a la masa máxima del requisito?"”).

Para ello, asegúrese de haber establecido valis en ambos lados (en el Módulo de Diseño del Sistema y en el Módulo de Requisitos). Para establecer una regla, haga doble clic en una celda de la columna “V&V Rules“ de un requisito.

Esto abrirá una ventana donde se pueden definir las reglas.

Para llamar a los valis, simplemente escriba el signo de dólar ($), lo que abrirá un menú desplegable con valis entre los que podrá elegir y buscar.

En este caso, estamos comparando la masa real del enjambre de drones con la masa máxima permitida definida por el requisito.

En este caso, la regla está verificada, ya que 6 kg (masa del diseño) es inferior a 8 kg (masa máxima del requisito).

Esto también se indicará en el estado general de verificación en la columna “V&V Status”.