Шаг 1: откройте модель и замените подсистему верификации

В блоке Test Objective блок "True" обеспечивает выходной сигнал, чтобы быть 2. Блок "Edge" в "Цели Маскированной" указывает что переходы выходного сигнала от 2 до 1. Открыть модель, введите:

open_system('sldvdemo_debounce_testobjblks');

Чтобы заменить Подсистему Верификации Цель Маскированная в модели блоком Reference The Observer, выполните эти шаги:

(a) Щелкните правой кнопкой по цели маскированной в sldvdemo_debounce_testobjblks модель. В контекстном меню нажмите Observers> Move выбранный блок Наблюдателю> Новый Наблюдатель.

(b) Нажмите кнопку Да на перемещении, 'Проверяют Выход' к диалоговому окну Observer, которое появляется после шага (a).

(c) An Observer Ссылочный блок добавляется к вашей системной модели и модели Observer sldvdemo_debounce_testobjblks_Observer1 создан и открыт.

(d) Сохраните файл sldvdemo_debounce_validprop_Observer1 в перезаписываемой папке на пути MATLAB.

(e) Дважды кликните на порте The Observer, чтобы открыть Управлять окно настройки Наблюдателя. Switch 1 сигнала автоматически сопоставлен с Блокировкой порта The Observer в sldvdemo_debounce_testobjblks_Observer1.

(f) Выберите входной сигнал к Объективной подсистеме Маскированной в sldvdemo_debounce_testobjblks и нажмите на Test Point в панели Сигнала, чтобы убедиться, что Simulink Design Verifier успешно создает представление модели для анализа.

Шаг 2: выполните анализ генерации тестов

Чтобы выполнить анализ генерации тестов, выполните эти шаги:

На вкладке Design Verifier нажмите Generate Test.

После того, как анализ завершается, отображения окна Results Summary, что обе цели удовлетворены тестом.

Чтобы просмотреть отчет детального анализа, в окне Results Summary, нажимают HTML. В отчете глава Состояния Целей тестирования перечисляет состояние целей для Модели проекта и Модели (моделей) Наблюдателей в отдельных подразделах.

Шаг 3: Измените модель Observer и повторно анализируйте, не восстанавливая представление модели проекта

Сгенерировать тест для функционального требования, debounced переходы сигнала от 1 до 2, не восстанавливая представление модели для модели проекта. Чтобы включить повторное использование представления модели проекта, выполните эти шаги:

(a) На вкладке Design Verifier нажмите Test Generation Settings> Settings.

(b) В диалоговом окне Configurations Parameters, на панели Верификатора Проекта, в Продвинутых параметрах, устанавливает опцию представления модели Rebuild на If change is detected и нажмите ОК.

(c) Чтобы обновить параметры модели, выполните эти шаги:

1. В sldvdemo_debounce_testobjblks_Observer1 окно, дважды кликните, чтобы открыть Объективную подсистему Маскированную и изменить значение постоянного In1 от 1 до 2 и оператор отношения от > к <.

2. Сохраните изменения в перезаписываемом пути MATLAB.

(d) Выполните Анализ Генерации Теста и Рассмотрите Результаты. На вкладке Design Verifier нажмите Generate Tests. Программное обеспечение подтверждает кэшируемое представление модели проекта, не обнаруживает изменения в модели проекта и снова использует представление для анализа.

После того, как анализ завершается, отображение окна Results Summary, что только одной цели тестирования удовлетворяют.

Чтобы просмотреть отчет детального анализа, в окне Results Summary, нажимают HTML.

Примечание: Если вы создаете новую модель, по умолчанию, опция представления модели Rebuild установлена в If change is detected. Программное обеспечение подтверждает представление модели кэша, не обнаруживает изменения и снова использует представление модели для анализа.

Похожие темы