Simulink Requirements

• Редактор требований Requirements Editor для создания, редактирования и организации требований
• Перспектива Requirements Perspective для просмотра, связывания и управления требованиями в графическом редакторе Simulink
• Импорт и синхронизация требований из сторонних инструментов , таких как Microsoft Word and Microsoft Excel
• Отслеживание изменений и различий для автоматической идентификации и управления меняющимися требованиями
• Сводные количественные метрики для реализации и верификации требований
• Отчеты, документирующие атрибуты, трассируемость и статус требований
• Двунаправленная трассируемость между требованиями, проектами, сгенерированным кодом и тестами

Simulink Requirements позволяет работать с требованиями в среде модельно-ориентированного проектирования Simulink, что упрощает управление требованиями и трассируемостью требований на проект, код и тестовые вектора. Требования и их обоснование могут быть описаны с помощью расширенного текста, который включает изображения, нумерованные и маркированные списки. Дополнительные атрибуты, такие как уникальный идентификационный номер, ключевые слова, информация о версии и комментарии, позволяют уточнить и детализировать требования. Пользовательские атрибуты позволяют расширять требования с помощью уникальных типов данных требований. 

Редактор требований Requirements Editor позволяет просматривать, создавать и управлять всеми требованиями в различных моделях. Requirements Editor предоставляет:

• Браузер требований для организации иерархии требований
• Просмотр ссылок для управления ссылками в проекте
• Редактор свойств Property Inspector для просмотра и редактирования деталей требований и ссылок
• Настройки для настройки отображения и сортировки столбцов
• Инструмент поиска для фильтрации больших наборов требований
• Генерация отчета для документирования требований

Браузер требований предоставляет табличное представление требований, связанных с моделью. Доступен просмотр сводной информации о требованиях, такой как атрибуты, статус реализации и статус проверки требования. Наборы требований позволяют организовывать требования в иерархии с несколькими уровнями вложенности. Например, набор требований может содержать требования высокого уровня, а другой набор требований содержит требования к программному обеспечению. Набор требований хранится в виде отдельного файла, что позволяет использовать Simulink Projects для управления версиями файлов. Ссылки хранятся в отдельном файле, который позволяет установить трассируемость между требованиями, проектом и тестовыми векторами без изменения источника или места назначения.

Процессы разработки и тестирования, основанные на требованиях (англ.)

Требования из других источников, таких как IBM Rational DOORS, Microsoft Word или Microsoft Excel, могут быть импортированы как ссылки, доступные только для чтения или редактируемые требования в Simulink. Для импорта и работы с требованиями из сторонних инструментов используется формат обмена требованиями (ReqIF). Во время импорта осуществляется привязка полей внешнего источника требований к Simulink Requirements. Поддерживается импорт полей, связанных с пользовательскими атрибутами, для соответствия содержимому внешнего документа. Операция синхронизации поддерживает согласованность с указанными требованиями. В случае изменения требования выдается уведомление , позволяющее оценить влияние этого изменения.

Работа с изменениями требований

Когда требование изменяется, важно, чтобы оно было передано всей команде, чтобы избежать ошибок. Каждое требование и ссылка поддерживают историю изменений с отметками о времени изменений. Simulink Requirements обнаруживает изменения в требованиях, связанных с моделями, в том числе импортированными из внешних источников, что позволяет оценить влияние изменений на проекты и принять соответствующие меры. Для наборов требований доступна разностная операция (diff), что позволяет просмотреть изменения в требованиях.

Просмотр статуса реализации и верификации требований

Simulink Requirements предоставляет отслеживание статуса реализации и верификации требований в Simulink для выявления пробелов в реализации, отсутствующих требований или ошибок в проекте. Метрики реализации и верификации количественно определяют долю требований, которые были реализованы в проекте и связаны с тестовыми векторами, а также долю пройденных тестов. 

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

Обоснования (Justifications) могут быть связаны с требованиями, которые не реализованы или не верифицированы в модели. Например, нефункциональное требование может быть связано с обоснованием для исключения его метрик реализации и верификации из соответствующих суммарных метрик. Обоснования могут быть повторно использованы в Проекте. 

Генерация отчетов о требованиях

Когда требование изменяется, важно, чтобы оно было передано всей команде, чтобы избежать ошибок в последующем. Каждое требование и ссылка поддерживают историю изменений с отметками времени когда они были изменены. Simulink Requirements обнаруживает изменения в требованиях, связанных с моделями, в том числе импортированными из внешних источников, что позволяет оценить влияние изменений на проекты и принять соответствующие меры. Для просмотра изменений в требованиях доступна разностная операция (diff) для набора требований.