Уникальные курсы 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 работает на рынке информационных технологий с 1993 года и занимает лидирующее положение в области лицензирования программного обеспечения и предоставления полного комплекса услуг по его эффективному использованию – IT-образования, консалтинга, юридической поддержки, технической поддержки, IT-аутсорсинга и пр.
В настоящее время компания является авторизованным партнером и реселлером более 3000 компаний-производителей программного обеспечения: Microsoft Gold Certified Partner, Symantec Platinum Partner, Citrix Platinum Solution Advisor, VMware VIP Enterprise Partner, McAfee Elite Solution Provider Partner, Kaspersky Lab Premier Partner, ESET Premier Partner, Corel Platinum Partner, Adobe Silver Solution Partner, Autodesk Gold Partner, ABBYY Large Reseller и многие другие.
Softline предлагает своим клиентам комплексный подход в предоставлении IT-услуг: от лицензирования ПО до внедрения сложных комплексных IT-решений, от обучения специалистов до технического сопровождения IT-системы заказчика.
Softline имеет представительства в 64 городах 20 стран:
