Уникальные курсы MathWorks по инструментам Polyspace в Учебном центре Softline

Учебный центр Softline рад сообщить о наборе слушателей на новый курс Polyspace.

PSCC Polyspace для верификации кода

Практикум, проводящийся впервые в России, предназначен для инженеров, ответственных за разработку программного обеспечения или моделей, применяемых для разработки встраиваемых систем.

Продолжительность курса 2 дня (16 академических часов).
Предварительная подготовка – серьезные знания языков программирования C, C++ или Ada.

В ходе данного курса обсуждаются инструменты Polyspace, позволяющие подтвердить правильность кода, улучшить метрику качества программного обеспечения и подтвердить целостность.

На тренинге рассматриваются следующие темы:

• Создание проекта верификации.
• Исследование и понимание результатов верификации.
• Эмуляция исполнения кода на целевой платформе.
• Работа с отсутствующими функциями и данными.
• Работа с неподтвержденным кодом (отмечен оранжевым в инструментах Polyspace).
• Применение правил написания кода MISRA.
• Создание отчетов.

Программа обучения включает 12 модулей:

• Модуль 1. Введение в инструменты верификации кода Polyspace.
• Модуль 2. Среда компиляции для целевой платформы.
• Модуль 3. Среда компиляции для целевой платформы (Ada).
• Модуль 4. Анализ результатов Polyspace.
• Модуль 5. «Стабы» и определение диапазона данных.
• Модуль 6. «Стабы» и определение диапазона данных (Ada).
• Модуль 7. Маркеры верификации кода.
• Модуль 8. Маркеры верификации кода (Ada).
• Модуль 9. Работа с оранжевыми маркерами.
• Модуль 10. Проверка на соответствие MISTRA-C.
• Модуль 11. Метрика и отчеты для представления в сети.
• Модуль 12. Контекстная верификация.

Подробную информацию о данном обучении и записи на курс вам предоставит Наталья Тишкина по телефону: +7(495) 232-0023, доб. 1336.

Ждем вас в Учебном центре Softline!