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