Проверка системы
На портале Requirements & Systems Portal требования связаны с одной или несколькими системами или подсистемами. Эти системы проверяются с помощью мероприятий по верификации и валидации (V&V). Требование блока может быть проверено с помощью одного или нескольких видов деятельности V&V. Каждый вид деятельности может быть связан с одним или несколькими требованиями и может проверять одну или несколько систем.
В этой части учебника мы обсудим, как проводить V&V с помощью портала Requirements & Systems Portal, и объясним следующее:
-
Как создавать мероприятия V&V.
-
Как связать мероприятия V&V с требованиями.
-
Как запустить деятельность.
-
Демонстрация методов автоматической верификации в Requirements & Systems Portal.
Создание и загрузка представлений для верификации
Requirements & Systems Portal предлагает различные предварительно выбранные атрибуты, такие как идентификатор, текст, родители, дети, тип, состояние, статус V&V, деятельность V&V, блоки V&V, теги и свойства. Однако это может привести к чрезмерной горизонтальной прокрутке на небольших экранах. Чтобы упростить процесс верификации, можно создать пользовательские представления, содержащие только основные атрибуты. Давайте создадим новое представление для верификации и загрузим его.
-
Перейдите в модуль требований (
) и откройте Fan_Spec спецификацию. -
Наведите курсор на заголовок любого столбца, щелкните появившийся значок
, а затем щелкните значок
, чтобы отобразить список доступных столбцов.
-
Снимите выделение со всех столбцов в списке и выберите только следующие столбцы:
-
Text -
Applicable Blocks -
Parents -
Children -
V&V Status -
V&V Activities -
V&V Rules -
Tags
-
-
Щелкните правой кнопкой мыши в таблице и выберите команду
Save view из контекстного меню. ВSave current view открывшемся окне введите в качествеVerification_ViewView name , выберитеPrivate , а затем нажмите
.
Добавление действий по верификации и валидации в требование
Портал требований и систем предлагает три колонки, посвященные верификации и валидации требований (помимо дополнительных колонок, таких как
-
V&V Status - показывает общий статус проверки требования. -
V&V Activities - отображает связанные с требованием мероприятия V&V. -
V&V Rules - автоматическая верификация на основе сравнения требований и модуля проектирования системы.
-
Перейдите в модуль Verifications & Validations (Верификации и валидации) , щелкнув значок
на панели навигации модуля слева.
-
Нажмите кнопку
. В Create V&V Activity открывшемся окне введите вMass InspectionName поле и вThis activity measures the mass of the Valifan.Description , а затем нажмите
.
-
Теперь мы свяжем новую деятельность с одним из наших требований из модуля требований. Щелкните по названию деятельности в
Name и нажмите кнопкуRequirements Statuses элемент управления в верхней части страницы.
-
Нажмите кнопку
в правом верхнем углу. В Link Requirement открывшемся окне выберитеR-Fan-001 вRequirement в раскрывающемся списке и выберитеFan в раскрывающемся списке Блок, а затем нажмите
.
-
Предположим, что вы выполнили массовую проверку в соответствии с инструкциями мероприятия и теперь хотим установить статус проверки на "Проверено". Для этого дважды щелкните ячейку в столбце
Status столбца и выберитеVerified из выпадающего списка.
Таким образом, мы успешно создали деятельность по ручной проверке. Теперь давайте рассмотрим, как провести автоматическую верификацию наших требований, чтобы проверить соответствие валидности проекта системы валидности требований.
Автоматическая верификация системы с помощью правил
-
Перейдите в модуль требований (
) и откройте Fan_Spec спецификацию. -
Наведите курсор на
300 g вали вText столбце дляR-Fan-001 требования и проверьте его имя во всплывающем окне. Это имя будет использоваться при создании правила, в котором это значение будет сравниваться с значением из модуля проектирования системы.
-
Дважды щелкните ячейку в
V&V Rules столбце дляR-Fan-001 требования. Откроется окноV&V Rules откроется окно, в котором вы можете задать правило для сравнения массы валифана массой 300 г с массой валиFan системы из модуля проектирования системы. Используйте символ символ для ссылки на вали. Во всплывающем окне можно искать вали, вводя их названия. Определите правило следующим образом:$$Fan.Mass$R-Fan_001.maximum_mass_of_the_fan
-
Нажмите кнопку
в V&V Rules а затем закройте окно. В таблице вы увидите, что теперь у нас есть одно правило (которое проверено), связанное с требованием, и в общей сложности 2/2 статуса V&V (поскольку деятельность по массовой проверке также была проверена ранее).
Следующие шаги?
Поздравляем, теперь вы знаете, как пользоваться порталом Requirements & Systems Portal!
Вы можете продолжать совершенствовать свой проект настольного вентилятора. Вот несколько идей:
-
Добавить соответствие требованиям
-
Добавьте несколько родительских/дочерних связей между требованиями, проверьте график связей и обратите внимание на цветовые коды требований.
-
Как насчет создания симуляции для расчета результирующего перемещения воздуха в зависимости от режимов работы вентилятора?
-
Добавьте блок солнечной батареи, чтобы сделать вентилятор портативным. Можно сделать так, чтобы максимальная скорость вращения зависела от угла наклона солнечной панели.