Верификация

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

Функции

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.