Ссылки требований устанавливают трассируемость к элементам модели, тестам, тестовым обвязкам и другим требованиям. Задайте тип ссылки, чтобы передать природу отношения, такого как элемент модели, который реализует функциональное требование или тестовую обвязку, которая проверяет тестовую спецификацию.
Определение типов ссылки улучшает ваш рабочий процесс верификации, позволяя вам проверять непротиворечивость и результаты испытаний с помощью метрик состояния реализации и верификации. Проверяйте, что ваши требования имеют допустимый источник и место назначения при помощи метрик состояния реализации, и обращаются к разрывам в непротиворечивости. Проверяйте, что ваши требования сопоставили тесты при помощи метрик состояния верификации и используют сводные данные результатов, чтобы обратиться к непройденным тестам.
slreq.LinkSet | Работа с наборами ссылки |
slreq.Link | Работа с объектами ссылки |
slreq.clear | Очистите требования и ссылки из памяти |
slreq.createLink | Создайте прослеживаемые ссылки |
slreq.find | Найдите требование, ссылку и артефакты набора ссылки |
slreq.load | Загрузите набор требований/ссылки |
Объединенные требования с вашими блоками Simulink® с помощью холста Simulink.
Соединитесь с тестами от требований
Объединенные тесты с требованиями.
Задайте, как требования связаны с блоками Simulink, объектами Stateflow®, сгенерированным кодом, и друг другу.
Задайте пользовательские типы требования и ссылки
Создайте и задайте пользовательское требование и типы ссылки
Управляйте обратными ссылками навигации во внешних документах требований
Вставьте гиперссылки, чтобы перейти от документов требований до элементов модели в Simulink
Трассируемость требований для строк кода MATLAB
Создайте, управляйте и переместитесь по ссылкам трассируемости между строками в информации о файлах кода и требованиях MATLAB® во внешних документах.
Проверки на непротиворечивость требований
Проверяйте свой набор требований на пропавших без вести или неразрешенные ссылки.