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

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

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

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

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

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

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

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

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

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