Верификация

Симуляция и верификация Структурированного текста против исходной модели

Функции

plcdispextmodedataОтобразите данные о регистрации режима external mode
plcrunextmodeЗапустите визуализацию режима external mode

Примеры и руководства

Проверьте Используя испытательные стенды

Импортируйте код структурированного текста автоматически

Открытый сгенерированный код непосредственно в вашем IDE вместо того, чтобы вручную импортировать файлы сгенерированного кода.

Импортируйте и проверьте код структурированного текста

Проверьте сгенерированный код по исходной модели Simulink® в вашем IDE с помощью сгенерированного испытательного стенда.

Проверьте сгенерированный код с несколькими испытательными стендами

Предоставьте нескольким группам сигнала как входу подсистемы так, чтобы несколько испытательных стендов были сгенерированы для верификации кода.

Интегрируйте сгенерированный код с пользовательским кодом

Вызовите сгенерированный функциональный блок с различными значениями аргумента ssMethodType для шагов инициализации и вычисления подсистемы.

Проверьте Используя отчет генерации кода

Создайте и используйте отчеты генерации кода

Сгенерируйте отчет трассируемости для навигации между моделью и кодом, и метрический отчет кода для статических метрик кода, таких как строки кода и количество входных параметров функционального блока.

Просмотрите ссылки требований от сгенерированного кода

Просмотрите ссылки на документы требований в вашей модели как комментарии в сгенерированном коде Структурированного текста.

Проверьте Используя журналирование режима external mode

Журналирование режима external mode

Соберите данные во время выполнения, визуализируйте, и данные о регистрации монитора для целей Rockwell PLC.

Сгенерируйте код структурированного текста с журналированием инструментирования

Рабочий процесс для генерации кода Структурированного текста с журналированием инструментирования.

Используйте инспектора данных моделирования, чтобы визуализировать и контролировать данные о регистрации

Визуализируйте и контролируйте данные о регистрации для целей Роквелла.

Концепции

Как работы верификации испытательного стенда

Узнать, как, чтобы проверить, что сгенерированный код Структурированного текста эквивалентен исходной модели Simulink.

Информация в отчетах генерации кода

Узнайте о навигации между моделью и сгенерированными отчетами генерации кода использования Структурированного текста кода.

Работа со статическим метрическим отчетом кода

Проверяйте информацию в метрические отчеты кода и решите, готов ли сгенерированный код Структурированного текста к развертыванию.

Используя Simulink Test с Simulink PLC Coder

Рабочий процесс для использования Simulink Test с Кодером PLC.