Анализируйте и моделируйте модели, на которые ссылаются, подсистемы или атомарные подграфики в модели. Изолируйте подсистему или модель, на которую ссылаются, для тестирования путем извлечения его в модель тестовой обвязки. Контролируйте сигналы временного интервала в своей модели во время моделирования, согласно спецификациям, которые вы присваиваете блокам. Создайте верификации сигнала, и выборочно примените их на основе входной группы моделирования.
| Утверждение | Проверьте, является ли сигнал нулем |
| Проверьте динамический разрыв | Проверьте, что разрыв возможно переменной ширины происходит в области значений амплитуд сигнала |
| Проверьте динамическую нижнюю границу | Проверьте, что один сигнал всегда является меньше, чем другой сигнал |
| Проверьте динамический диапазон | Проверьте, что сигнал падает в области значений амплитуд, которая отличается от временного шага до временного шага |
| Проверьте динамическую верхнюю границу | Проверьте, что один сигнал всегда больше, чем другой сигнал |
| Проверьте разрешение сканирования | Проверьте, что входной сигнал задал разрешение |
| Проверьте статический разрыв | Проверьте, что разрыв существует в области значений сигнала амплитуд |
| Проверьте статическую нижнюю границу | Проверьте, что сигнал больше, чем (или опционально равняйтесь), статическая нижняя граница |
| Проверьте статическую область значений | Проверьте, что сигнал падает в фиксированной области значений амплитуд |
| Проверьте статическую верхнюю границу | Проверьте, что сигнал является меньше, чем (или опционально равняйтесь), статическая верхняя граница |
Стратегии проверки функциональных блоков вашей модели, в изоляции или в контексте большей системы.
Создайте тесты моделирования Используя менеджера по верификации
Блоки библиотеки Simulink® Model Verification оценивают сигналы временного интервала в вашей модели, согласно спецификациям, которые вы присваиваете блокам.