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

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

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

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

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

Здесь вы увидите уже добавленные действия, а также возможность связать существующие действия с этим требованием, нажав кнопку “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 заданы с обеих сторон (в System Design Module и в Requirements Module). Чтобы задать правило, дважды щелкните по ячейке в столбце “V&V Rules“ у требования.

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

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

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

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