Этот пример показов, как обнаружить целочисленное переполнение ошибки в модели, которая состоит из сложных входов типа.
The sldvexComplexInputs модель содержит SensorA, SensorB и SensorC комплексные входы и вход управления. Входные порты SensorA и SensorB ограничены Максимальным выходным значением, равным 100.
open_system('sldvexComplexInputs');
На вкладке Apps, в группе Верификация модели, Validation и Test, выберите Design Verifier.
Чтобы обнаружить ошибки проектирования, щелкните Обнаружить ошибки проекта (Detect Ошибки Проектирования). После завершения анализа в окне Сводных данных результатов отображается, что одна цель действительна, а одна цель фальсифицирована.
В окне Сводка результатов (Results Summary) щелкните Подсветить результаты анализа на модели (Highlight analysis results on model). Блок Sum, выход которого результаты по целочисленному переполнению ошибке, подсвечиваются красным цветом.
Чтобы просмотреть отчет анализа, щелкните HTML или PDF в окне Сводных данных результатов. В главе Поиск Ошибок Проектирования Targets Status приведено описание допустимых и сфальсифицированных целей.
Глава Ошибок проектирования содержит тест входов, которая приводит к целочисленному переполнению.
