
Уникальные курсы 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!