Поток 4: Ручной поток и поток проверки правил

Следующие два процесса позволяют пользователю настроить верификацию непосредственно из модуля Requirements.

Процесс ручной верификации

Этот процесс позволяет пользователю напрямую добавить действие V&V к требованию из модуля Requirements и вручную обновить статус.

Для этого можно дважды щелкнуть по ячейке в столбце “V&V Activities” в модуле Requirements и создать действие.

Здесь вы увидите уже добавленные действия, а также возможность связать существующие действия с этим требованием, нажав кнопку “Link Activity“.

Здесь можно выбрать из выпадающего списка существующее действие и при необходимости выбрать блок.

После этого можно напрямую вручную назначить статус или перейти к действию либо к запуску через динамические ссылки.

Процесс верификации по правилам

Правила позволяют пользователям устанавливать сравнение между valis проекта системы и valis требования с помощью булевых выражений (например, "Масса проекта меньше максимально допустимой массы по требованию?"”).

Для этого убедитесь, что Valis заданы с обеих сторон (в модуле System Design и в модуле Requirements). Чтобы создать правило, дважды щелкните по ячейке в столбце “V&V Rules“ у требования.

Откроется окно, в котором можно определить правила.

Чтобы вызвать Valis, просто введите знак доллара ($), после чего откроется выпадающий список с доступными Valis для выбора и поиска.

В данном случае мы сравниваем фактическую массу роя дронов с максимально допустимой массой, заданной в требовании.

В данном случае правило имеет статус Verified, поскольку 6 кг (масса проекта) меньше 8 кг (максимальная масса по требованию).

Это также будет отражено в общем статусе верификации в столбце “V&V Status”.