Поток 4: Поток верификации вручную и по правилам
Следующие два потока позволяют пользователю настроить проверку непосредственно из модуля требований.
Поток ручной верификации
Этот поток позволяет пользователю напрямую добавить мероприятие V&V к требованию из модуля требований и вручную обновить статус.
Для этого можно дважды щелкнуть по ячейке в столбце "V&V Activities" в модуле Requirements Module и создать Activity.
Здесь вы увидите уже добавленные виды деятельности и возможность связать существующие виды деятельности с данным требованием, нажав на кнопку "Связать деятельность".
Отсюда вы можете выбрать из выпадающего списка существующую деятельность и по желанию выбрать блок.
После этого вы можете напрямую назначить статус вручную или перейти к деятельности или выполнению через динамические ссылки.
Поток верификации правил
Правила позволяют пользователям проводить сравнение между расчетными значениями системы и значениями требований с помощью булевых выражений (например, "Проектная масса меньше максимальной требуемой массы?").
Для этого необходимо убедиться, что вы установили значения Valis с обеих сторон (в модуле проектирования системы и в модуле требований). Чтобы создать правило, дважды щелкните ячейку в столбце "Правила V&V" на требовании.
Откроется окно, в котором можно определить правила.
Чтобы вызвать Valis, просто введите знак доллара ($), который откроет выпадающий список Valis для выбора и поиска.
В данном случае мы сравниваем фактическую массу роя дронов с максимально допустимой массой, определенной в требовании.
В данном случае правило подтверждено, так как 6 кг (проектная масса) меньше 8 кг (максимальная требуемая масса).
Это также будет указано в общем статусе верификации в столбце V&V Status.