Когда вы анализируете модель впервые, Simulink® Design Verifier™ выполняет проверку совместимости и создает представление модели. Представление модели содержит информацию о поведении модели, чтобы использовать для анализа. По умолчанию программное обеспечение сохраняет представление модели в папке кэша Симуляции (Simulink) местоположение.
Если вы изменяете модель и повторно выполняете анализ, Simulink Design Verifier определяет, восстановить ли представление модели или использовать существующий образцовый кэш представления. Восстанавливание представления модели инициировано, когда опция представления модели Rebuild установлена в If change is detected, и вы изменяете модель.
Опция Rebuild model representation установлена в Always по умолчанию, и представление модели восстановлено во время каждого анализа модели. Когда вы устанавливаете опцию на If change is detected, программное обеспечение подтверждает представление модели против любых образцовых изменений и аналитических опций Simulink Design Verifier. Программное обеспечение затем определяет ли к повторному использованию или восстановить представление модели для анализа.
Когда вы устанавливаете опцию Rebuild model representation на If change is detected, Simulink Design Verifier проверяет на эти изменения в модели:
Программное обеспечение подтверждает представление модели против любых изменений в опциях Simulink Design Verifier. Эта таблица приводит опции, которые не влияют на представление модели, и если вы изменяете какую-либо из этих опций, программное обеспечение снова использует представление модели.
Разработайте опции верификатора | |
Опции Генерации тестов | |
Опции Доказательства свойства | |
Опции генерации результатов | |
Сообщите об опциях генерации |
Структурная контрольная сумма является вычислением, которое обнаруживает изменения в модели, которая может влиять на результаты симуляции. Для получения дополнительной информации о видах изменений, которые влияют на модель, смотрите Simulink.BlockDiagram.getChecksum.
При проверке представления модели для повторного использования Simulink Design Verifier не обнаруживает изменения, которые не покрыты структурной контрольной суммой. Например, изменения не обнаруживаются для Библиотеки блоков Simulink Design Verifier, данных времени выполнения симуляции в рабочей области MATLAB®, или внешнего MAT и файлов исходного кода C++ или C.
Представление модели всегда восстанавливается:
Когда вы выполняете анализ генерации тестов с набором опции целей Покрытия модели к Enhanced MCDC.
Когда вы Генерируете Тесты для Сгенерированного кода Embedded Coder.
Когда анализ Simulink Design Verifier запускается с других продуктов, таких как Simulink Test™, Simulink Coverage™, Simulink Check™ и Simulink Requirements™.
Расширьте существующие тесты путем многократного использования представления модели
