В этом примере показано, как уменьшить количество экземпляров рациональной аппроксимации путем выполнения дополнительного анализа. При анализе модели и во время анализа Simulink ® Design Verifier™ определяет наличие аппроксимаций, а связанные с ними цели указываются как неопределившиеся в тестовом примере.
Можно включить опцию Выполнить дополнительный анализ (Run additional analysis), чтобы уменьшить количество экземпляров рациональной аппроксимации для выполнения дополнительного анализа для подтверждения неопределившихся целей. При повторном выполнении анализа кэш Simulink, содержащий информацию о представлении модели, повторно используется для более быстрого анализа. Дополнительные сведения см. в разделе Повторное использование представления модели для анализа.
sldvApproximationsExample модель приводит к аппроксимациям из-за вычислений 1 ./3 и 2 ./3 в блоке Константа.
На вкладке Design Verifier щелкните Generate Tests (Генерировать тесты).
После завершения анализа в окне Сводка результатов (Results Summary) отображается информация о том, что одна цель удовлетворена, а одна цель не определена в тестовом случае.
Чтобы просмотреть подробный отчет об анализе, в окне Сводка результатов (Results Summary) щелкните HTML. В разделе «Информация об анализе» отчета перечислены аппроксимации, выполненные во время анализа.
Подробное описание целей содержится в главе «Статус цели».
На неопределившуюся цель тестового случая влияет аппроксимация, и для подтверждения этого статуса цели выполняется дополнительный анализ.
(a) На вкладке «Design Verifier» выберите «Test Generation Settings» > «Settings».
(b) В диалоговом окне «Параметры конфигурации» на панели «Проверка конструкции» в разделе «Дополнительные параметры» задайте для опции «Перестроить представление модели» значение If change is detected и включить команду Выполнить дополнительный анализ (Run additional analysis), чтобы уменьшить количество вариантов рациональной аппроксимации. Нажмите кнопку ОК.
Примечание.При создании новой модели по умолчанию для опции Перестроить представление модели (Rebuild model representation) устанавливается значение If change is detected.
(c) Чтобы выполнить анализ генерации теста, щелкните Создать тесты (Generate Tests). Существующий кэш проверяется на соответствие модели, и анализ повторно использует кэш, если изменения не обнаружены.
Окно Сводка результатов (Results Summary) показывает, что кэшированное представление модели проверено и никаких изменений не обнаружено. Поэтому анализ пропускает проверку совместимости и повторно использует представление модели для анализа.
После завершения анализа в окне Сводка результатов (Results Summary) отображается, что одна цель удовлетворена, а одна цель неудовлетворительна.
Чтобы просмотреть подробный отчет об анализе, в окне Сводка результатов (Results Summary) щелкните HTML. Подробное описание целей содержится в главе «Состояние целей» отчета.
