Проверка системы

В Requirements Portal требования связаны с одной или несколькими системами или подсистемами. Эти системы проверяются с помощью мероприятий по верификации и валидации (V&V). Требование блока может быть проверено одним или несколькими мероприятиями V&V. Каждое мероприятие может быть связано с одним или несколькими требованиями и может проверять одну или несколько систем.

В этой части руководства мы обсудим, как выполнять мероприятия V&V с помощью Requirements Portal, и рассмотрим следующее:

• Как создавать мероприятия V&V.

• Как связывать мероприятия V&V с требованиями.

• Как запускать мероприятие.

• Демонстрация методов автоматической верификации в Requirements Portal.

Создание и загрузка представлений для верификации

Requirements Portal предлагает различные заранее выбранные атрибуты, такие как Identifier, Text, Parents, Children, Type, State, V&V Status, V&V Activities, V&V Blocks, Tags и Properties. Однако на небольших экранах это может приводить к чрезмерной горизонтальной прокрутке. Вы можете создавать пользовательские представления только с необходимыми атрибутами, чтобы упростить процесс верификации. Давайте создадим новое представление для верификации и загрузим его.

1. Откройте спецификацию Fan_Spec (в разделе Requirements в дереве проекта).

2. Наведите курсор на заголовок любого столбца, нажмите появившийся значок , а затем нажмите значок , чтобы отобразить список доступных столбцов.

   

3. Снимите выделение со всех столбцов в списке и выберите только следующие столбцы:

   • Text

   • Parents

   • Children

   • V&V Activities

   • V&V Status

   • V&V Rules

   • Applicable Block

   • Tags

   Вы также можете выбирать/снимать выбор атрибутов с помощью панели Columns, доступной с правой стороны. Этот способ показан, чтобы вы также знали о дополнительных возможностях заголовков столбцов, таких как фильтры и параметры изменения размеров таблицы. Например, значок предоставляет параметры фильтрации для конкретного столбца.

4. Щелкните правой кнопкой мыши в таблице и выберите команду Save view в контекстном меню. В открывшемся окне Save current view введите Verification_View в качестве View name, выберите Private, а затем нажмите .

   

   Все выбранные столбцы, ширины столбцов и примененные фильтры будут сохранены в отдельном представлении. После сохранения представления вы можете загрузить его, щелкнув правой кнопкой мыши в таблице и выбрав соответствующий пункт в подменю Load View.

Добавление мероприятия Verification & Validation к требованию

Requirements Portal предлагает три столбца, предназначенные для верификации и валидации требований (помимо дополнительных столбцов, таких как Compliance и Compliance Comment, или даже пользовательских столбцов, связанных с мероприятиями по верификации):

• V&V Activities – отображает связанные с требованием мероприятия V&V.

• V&V Status – показывает общий статус верификации требования.

• V&V Rules – автоматическая верификация на основе сравнения vali между требованием и модулем Blocks.

1. Разверните элемент Verifications & Validations в дереве проекта и выберите Activities.

2. Нажмите кнопку . В открывшемся окне Create V&V Activity введите Mass Inspection в поле Name и This activity measures the mass of the Valifan. в поле Description, затем нажмите .

   

3. Теперь свяжем новое мероприятие с одним из наших требований из модуля Requirements. Нажмите на имя мероприятия в столбце Name и нажмите элемент управления Requirements Statuses в верхней части страницы.

   

4. Нажмите кнопку в левом верхнем углу. В открывшемся окне Link Requirement выберите R-Fan-001 в раскрывающемся списке Requirement и выберите Valifan в раскрывающемся списке Block, затем нажмите .

   

5. Предположим, вы выполнили массовую инспекцию согласно инструкциям мероприятия, и теперь мы хотим установить статус верификации как Verified. Для этого дважды щелкните ячейку в столбце Status и выберите Verified из раскрывающегося списка.

   

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

Автоматическая верификация системы с помощью правил

1. Откройте спецификацию Fan_Spec (в разделе Requirements в дереве проекта).

2. Наведите курсор на 300 g vali в столбце Text для требования R-Fan-001 и проверьте его имя во всплывающем окне. Это имя будет использоваться при создании правила, в котором этот vali будет сравниваться с vali из модуля Blocks.

   

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

3. Дважды щелкните ячейку в столбце V&V Rules для требования R-Fan-001. Откроется окно V&V Rules, где вы можете определить правило для сравнения требуемой массы Valifan 300 г с vali массы системы Valifan из модуля Blocks. Используйте символ $ для ссылки на valis. Во всплывающем окне, которое появится, можно искать valis, вводя их имена. Определите правило следующим образом:

   $Valifan.Mass<$R-Fan_001.maximum_fan_mass

   Обратите внимание, как Requirements Portal подставляет реальные связанные значения под текстовым полем.

   

4. Нажмите кнопку в окне V&V Rules, а затем закройте окно. В таблице вы увидите, что теперь у нас есть одно правило (которое Verified), связанное с требованием, и общий статус V&V — 2/2 (поскольку мероприятие mass inspection также было ранее отмечено как Verified).

   

Следующие шаги?

Поздравляем, теперь вы уверенно ориентируетесь в Requirements Portal!

Вы можете продолжить улучшать проект настольного вентилятора. Вот несколько идей:

• Добавьте Compliance к вашим требованиям.

• Добавьте несколько связей родитель/дочерний между требованиями, проверьте граф связей connections graph и обратите внимание на цветовые коды у требования.

• Добавьте блок солнечной панели, чтобы сделать вентилятор портативным. Вы можете сделать максимальную скорость вращения зависимой от угла падения солнца на солнечную панель.