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