Вебинар 2025 03 06 Что нового в GNAT Pro основные функции и дорожная карта

Вебинар 2025 03 06 Что нового в GNAT Pro основные функции и дорожная карта Содержание 00:23 Введение и цели вебинара • Обзор ключевых функций и нововведений в версии Gnat Pro 25. • Анонс следующей версии Gnat Pro 26. • Вебинар записывается, ссылка на запись будет отправлена после мероприятия. 01:30 Введение Рафаэля Ламара • Рафаэль Ламар, руководитель отдела разработки языков в Adacore. • Обзор новых функций языка Ada и экспериментальных функций в Gnat. 02:43 Внешние атрибуты инициализации • Возможность статического встраивания контента в бинарный файл. • Пример использования атрибута для инициализации переменной. • Ограничения: работает только с простыми типами данных. 04:11 Вызовы для неупакованных типов • Поддержка вызовов для неупакованных типов. • Пример использования префиксной нотации для примитивов. 05:19 Обобщенная финализация • Расширение возможностей финализации на все типы. • Новая функция, охватывающая процесс финализации. 08:09 Обновление объектно-ориентированного программирования • Обновление синтаксиса объектно-ориентированного программирования. • Поддержка приватных полей и примитивов с областью видимости. 09:01 Введение Gnat Fuzz • Gnat Fuzz как дополнение к набору инструментов динамического анализа Gnat. • Поддержка различных стратегий анализа трассировки. • Интеграция с IDE Gnat Studio. 11:19 Новые алгоритмы и технологии • Взаимодействие Gnat Fuzz и Gnat Test для улучшения покрытия и анализа. 14:05 Заключение • Результаты тестирования и анализа...