В этом примере показано, как сгенерировать тесты для двух пользовательских блоков Цели тестирования с помощью блока Observer Reference и представления модели использования, чтобы повторно анализировать модель проекта. Для получения дополнительной информации смотрите Изолированную Логику Верификации с Наблюдателями. Чтобы повторно анализировать модель, вы обновляете логику верификации и устанавливаете опцию представления модели Rebuild на If change is detected. Для получения дополнительной информации смотрите Представление Модели для Анализа.
В блоке 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 успешно создает представление модели для анализа.
Чтобы выполнить анализ генерации тестов, выполните эти шаги:
На вкладке Design Verifier нажмите Generate Test.
После того, как анализ завершается, отображения окна Results Summary, что обе цели удовлетворены тестом.
Чтобы просмотреть отчет детального анализа, в окне Results Summary, нажимают HTML. В отчете глава Состояния Целей тестирования перечисляет состояние целей для Модели проекта и Модели (моделей) Наблюдателей в отдельных подразделах.
Сгенерировать тест для функционального требования, 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. Программное обеспечение подтверждает представление модели кэша, не обнаруживает изменения и снова использует представление модели для анализа.