Трассируемость требований и непротиворечивость

Соедините требования и элементы модели, задайте отношения, добавьте разметку, рассмотрите трассируемость к моделям и коду, проверяйте непротиворечивость

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

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

Классы

slreq.LinkSet Работа с наборами ссылки
slreq.Link Работа с объектами ссылки

Функции

slreq.clearОчистите требования и ссылки из памяти
slreq.createLinkСоздайте прослеживаемые ссылки
slreq.findНайдите требование, ссылку и артефакты набора ссылки
slreq.loadЗагрузите набор требований/ссылки

Темы

Соедините блоки и требования

Объединенные требования с вашими блоками Simulink® с помощью холста Simulink.

Соединитесь с тестами от требований

Объединенные тесты с требованиями.

Ссылки требования

Задайте, как требования связаны с блоками Simulink, объектами Stateflow®, сгенерированным кодом, и друг другу.

Задайте пользовательские типы требования и ссылки

Создайте и задайте пользовательское требование и типы ссылки

Управляйте обратными ссылками навигации во внешних документах требований

Вставьте гиперссылки, чтобы перейти от документов требований до элементов модели в Simulink

Трассируемость требований для строк кода MATLAB

Создайте, управляйте и переместитесь по ссылкам трассируемости между строками в информации о файлах кода и требованиях MATLAB® во внешних документах.

Проверки на непротиворечивость требований

Проверяйте свой набор требований на пропавших без вести или неразрешенные ссылки.