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

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

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

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

В открывшемся окне Verification & Validation Items отображаются уже добавленные действия. Нажмите кнопку , чтобы связать существующие действия с требованием. В открывшемся окне Link Activity можно выбрать существующее действие и, при необходимости, блок.

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

Поле V&V Status  требования с назначенными действиями V&V будет автоматически обновляться на основе статуса действий V&V. Значение в поле требования V&V Status  будет отображаться следующим образом:

• Not Verified – если ни одно из назначенных действий не имеет статуса Verified.

• Partially Verified – если некоторые, но не все назначенные действия имеют статус Verified.

• Verified – если все назначенные действия имеют статус Verified.

Кроме того, в ячейке будут отображаться числа в формате X/Y, где X — это количество назначенных действий в статусе Verified, а Y — общее количество назначенных действий.

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

Правила позволяют установить сравнение между valis блока и valis требования с помощью булевых выражений (например, «Масса конструкции меньше максимально допустимой массы по требованию?»). Для этого убедитесь, что valis заданы с обеих сторон (в модуле Blocks и в модуле Requirements). Чтобы создать правило, дважды щелкните ячейку в столбце V&V Rules у требования. Откроется окно, в котором можно определить правила.

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

В этом случае правило имеет статус Verified, поскольку 0,44 кг (масса конструкции) меньше 0,5 кг (максимальная масса по требованию).