Модель кабельных трасс обеспечивает изолированную среду для проверки изменений конструкции. Модель кабельных трасс можно создать во время анализа Simulink ® Design Verifier™ или после анализа.
Содержимое модели кабельных трасс зависит от значения параметра Режим (Mode), заданного в диалоговом окне Параметры конфигурации (Configuration Parameters) на панели Проверка конструкции (Design Verifier).
Design error detection - модель кабельных трасс содержит тестовые примеры, которые приводят к ошибкам во время моделирования.
Test generation - Модель электрического жгута содержит тестовые примеры, достигающие целей теста.
Property proving - Модель электрического жгута содержит контрпримеры, фальсифицирующие цели доказательства.
По умолчанию параметр Генерировать отдельную модель электрического жгута после анализа отключен.
Примечание
Программа Simulink Design Verifier создает модель кабельных трасс только в том случае, если анализируемая модель верхнего уровня содержит блок Inport.
Чтобы создать модель электрического жгута до или после анализа, используйте следующие методы.
Перед анализом в диалоговом окне «Параметры конфигурации» на панели «Проверка конструкции» > «Результаты» выберите «Создать отдельную модель кабеля после анализа».
После анализа, в окне Резюме Результатов Свидетельства Дизайна Simulink, избранном, Создают модель ремня безопасности.
Программа Simulink Design Verifier создает модель кабельных трасс, содержащую следующие элементы:
Входы (Inputs) - блок входов является блоком Построитель сигналов (Signal Builder) или Редактор сигналов (Signal Editor) на основе опции Источник кабелей (Harness source), установленной на панели Проверка проекта (Design Verifier) > Результаты (Results).
Signal Builder: Этот блок содержит сигналы, состоящие из тестовых примеров или контрпримеров, которые генерирует Simulink Design Verifier. Блок Signal Builder содержит сигналы только для входных сигналов, используемых в модели. Если входной сигнал не влияет на выходной сигнал модели, этот сигнал не включается в блок Построитель сигналов.
Чтобы открыть диалоговое окно «Конструктор сигналов» и просмотреть его сигналы, дважды щелкните блок «Входы». Каждая сигнальная группа представляет собой уникальный тестовый случай или контрпример. Для просмотра сигналов, связанных с определенным тестом или контрпримером, в диалоговом окне «Построитель сигналов» выберите «Активная группа».
После Simulink Design Verifier выполняет анализ генерации теста на sldvdemo_cruise_control модель с опциями по умолчанию, этот блок Signal Builder показывает сигналы для Test Case 7.
При выборе LongTestcases опция параметра оптимизации Test suite, анализ создает меньшее количество более длинных тестовых случаев. Например, если выбрать LongTestcases для опции sldvdemo_cruise_control модель, анализ выдает один длинный тестовый случай вместо девяти более коротких тестовых случаев. В этом диалоговом окне Signal Builder отображаются сигналы для длинного теста. Дополнительные сведения о диалоговом окне «Построитель сигналов» см. в разделе Группы сигналов.
Редактор сигналов: Этот блок содержит сценарии, которые состоят из тестовых примеров или контрпримеров, генерируемых Simulink Design Verifier. Блок редактора сигналов содержит сигналы только для входных сигналов, используемых в модели. Если входной сигнал не влияет на выходной сигнал модели, этот сигнал не включается в блок редактора сигналов.
После создания моделью кабельных трасс модуля Simulink Design Verifier входной MAT-файл для блока редактора сигналов сохраняется в расположении по умолчанию. <current_folder>\sldv_output\<model_name>\<model_name>_harness_HarnessInputs.mat.
Для открытия диалогового окна «Редактор сигналов» и просмотра сценариев источников сигналов дважды щелкните на блоке «Входы». В активном сценарии перечислены тестовые примеры или контрпримеры. Для создания и редактирования сценариев запустите пользовательский интерфейс редактора сигналов. Дополнительные сведения см. в разделе Создание и редактирование данных сигнала.
Size-Type - этот блок подсистемы передает сигналы из блока входов в блок блока тестирования. Он проверяет, что размер и тип данных сигналов согласуются с блоком «Test Unit».
Блок тестирования - этот блок подсистемы содержит копию исходной модели, проанализированной Simulink Design Verifier.
Если выбрать Ссылочная входная модель (Reference input model) в сформированном электрическом жгуте на панели Проверка конструкции (Design Verifier) > Результаты (Results), Тестовый блок (Test Unit) - это блок модели, который ссылается на анализируемую модель, а не на подсистему.
Если тестовый блок в модели кабельных трасс является подсистемой, то значения параметров на панелях Оптимизация (Optimization), Математика (Math) и Типы данных (Data Types) могут повлиять на результаты покрытия.
Объяснение тестового случая - этот блок DocBlock документирует тестовые случаи или контрпримеры, которые генерирует Simulink Design Verifier. Чтобы просмотреть описание каждого тестового случая или контрпримера, дважды щелкните блок «Объяснение тестового случая». Блок перечисляет либо цели тестирования, которых достигает каждый тестовый случай, либо цели доказательства того, что каждый контрпример фальсифицирует.
Simulink Design Verifier создает модель электрического жгута с этими настройками.
Время начала модели кабельных трасс всегда 0. Если в исходной модели используется ненулевое время начала, программа игнорирует время начала и использует 0 для времени начала моделирования для тестовых примеров и контрпримеров.
Время остановки модели электрического жгута всегда равно времени остановки самого длинного тестового случая в блоке «Входы».
По умолчанию программа включает анализ покрытия и создает отчет о покрытии для моделей кабельных трасс, содержащих тестовые примеры. Отчетность о покрытии включена с параметрами по умолчанию. Эти параметры можно настроить с помощью Опции покрытия (Simulink Coverage).
По умолчанию, если выбран параметр Игнорировать цель на основе фильтра (Ignore objective based on filter) и предоставлен файл фильтра покрытия для тестовой единицы (Test Unit), файл фильтра покрытия применяется к модели электрического жгута. Дополнительные сведения см. в разделе Данные покрытия.
Модель кабельных трасс создается с помощью следующих блоков ввода, независимо от указанного источника кабелей:
Для моделей, использующих блок ввода сложного типа, в качестве источника кабельных трасс используется блок редактора сигналов.
Для моделей, использующих массив шин в качестве блока Inport, в качестве источника кабелей используется блок Signal Builder.
Примечание
Для моделей, использующих как сложный тип, так и массив шин в качестве блоков ввода, генерация моделей кабельных трасс не поддерживается.
Модель кабельных трасс позволяет моделировать копию исходной модели с помощью тестовых примеров или контрпримеров, которые создает Simulink Design Verifier. С помощью модели кабельных трасс можно моделировать:
Контрпример.
Один тестовый случай, для которого программное обеспечение Simulink Coverage™ собирает и отображает информацию о покрытии модели.
Все тестовые примеры, для которых программное обеспечение Simulink Coverage собирает и отображает информацию о совокупном покрытии модели.
Примечание
При анализе модели, моделируемой с помощью условных предупреждений о времени, при моделировании модели кабельных трасс предупреждения могут регистрироваться как ошибки, приводящие к сбою моделирования.
Чтобы смоделировать один тестовый случай или контрпример:
В модели кабельных трасс дважды щелкните блок «Входные данные».
В диалоговом окне Signal Builder выберите активную группу с определенным тестом или контрпримером.
В диалоговом окне Signal Builder отображаются сигналы, составляющие выбранный тестовый пример или контрпример.
Нажмите кнопку «Начать моделирование».
Программа Simulink моделирует модель электрического жгута с использованием сигналов, связанных с выбранным тестом или контрпримером. При моделировании тестового случая программное обеспечение Simulink Coverage собирает информацию о покрытии модели и отображает отчет о покрытии.
Для моделирования всех тестовых случаев и измерения их комбинированного охвата моделью:
В модели кабельных трасс дважды щелкните блок «Входные данные».
В диалоговом окне Signal Builder нажмите кнопку Run all.
Программа Simulink моделирует модель кабельных трасс с использованием всех тестовых примеров, в то время как программа Simulink Coverage собирает информацию о покрытии модели и отображает отчет о покрытии.
При нажатии кнопки Выполнить все (Run all) программа моделирует все тестовые примеры с использованием времени остановки для модели кабельных трасс. Время остановки равно времени остановки для самого длинного тестового случая, поэтому при моделировании более коротких тестовых случаев может быть накоплено дополнительное покрытие.
Дополнительные сведения см. в разделе Моделирование с группами сигналов.
Чтобы смоделировать один тестовый случай или контрпример:
В модели кабельных трасс дважды щелкните блок «Входные данные».
В диалоговом окне Signal Editor выберите активный сценарий с определенным тестом или контрпримером и нажмите кнопку OK.
В редакторе Simulink нажмите кнопку Run.
Программа Simulink моделирует модель электрического жгута с использованием сценария источников сигналов, связанных с выбранным тестом или контрпримером. При моделировании тестового случая программное обеспечение Simulink Coverage собирает информацию о покрытии модели и отображает отчет о покрытии.
Для моделирования всех тестовых случаев и измерения их комбинированного охвата моделью используйте cvsim (Покрытие Simulink) или parsim команда. Например, см. раздел Моделирование модели кабелей с помощью блока входов редактора сигналов.
Создание модели кабельных трасс | Создание и выполнение тестовых примеров