Вебинар 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 Заключение • Результаты тестирования и анализа сбоев или уязвимостей. • Анализ трассировки и соответствие функциональным требованиям. 14:20 Рабочие процессы в динамическом анализе • Предоставляет покрытие и результаты анализа для всего проекта. 15:04 Будущие направления и поддержка языков • Активное изучение использования технологии для тестирования на архитектуре Cherry. • Поддержка большего количества языков и улучшение рабочих процессов. 16:07 Gnat Format • Новый инструмент форматирования исходного кода • Улучшает рабочий процесс разработки, поддерживает единообразный стиль кода. 17:58 Примеры улучшения форматирования • Поддержка новых языковых конструкций. • Возможность форматировать исходники GNAT и показывать различия. • Полная настройка стиля форматирования. 19:53 GNATcheck • Инструмент для проверки стиля кода на языке Ada. 21:12 Примеры проверок и автоисправления • Проверка использования анонимных типов доступа. • Автоисправление для предупреждений об исключениях с оператором массива. 24:46 Интеграция с VS Code • Расширение Ada Spark для VS Code, доступное в магазине VS Code и Nap Tracker. 28:30 Поддержка отладки и новые функции VS Code • Поддержка отладки с помощью эмулятора Gnat и на встроенных устройствах. 29:21 Поддержка компиляторов Gnat Pro • Поддержка различных языков программирования, включая Ada, C и C++. • Поддержка различных аппаратных платформ, таких как x86, Power PC, ARM и другие. • Поддержка операционных систем, включая Linux, Windows и другие. 33:34 Новые функции и поддержка в версии 25 • Поддержка Morello для ARM с расширенными возможностями безопасности памяти. • Поддержка FreeRTOS для разработки кода Ada поверх операционной системы реального времени. • Обновление поддержки QNX до версии 8 и поддержка новых функций VxWorks. 35:01 Поддержка различных бэкендов и хостов • Поддержка LLVM для хостов Windows и Linux. • Поддержка 64-битной ARM на голом железе и на встроенных Linux. • Поддержка новых версий операционных систем, таких как Ubuntu 2404 и WSL 2. 37:45 Будущие направления и работа над новыми функциями • Поддержка FreeRTOS в режиме планирования задач. • Поддержка встроенного Linux на платформе x86. • Развитие технологии отладки и поддержка VxWorks на основе GCC или LLVM. 40:17 Введение в Rust и Gnat Pro для Rust • Gnat Pro для Rust как стабильный и безопасный Rust с долгосрочной поддержкой. 45:47 Дорожная карта и поддержка платформ • Поддержка 64-битной Linux и Windows. • Кросс-поддержка для VxWorks 7 на 64-битной ARM. • Поддержка DKM и RTP для целевых платформ. • Кросс-компилятор работает на Windows и Linux. • Поддержка 64-битной архитектуры ARM. • Кросс-компиляция Linux на 64-битной Windows и Linux. 46:40 Будущие обновления и новые платформы • Выпуск версии 1.85 для Gnat Pro для Rust версии 26. • Переработка порта RTP для VxWorks 7 с использованием нативных API. • Поддержка QNX 8 для ARM 64 и Lynx 178. • Введение покрытия MCDC для Rust в GANAT Dynamic Analysis Suite 26. • Возможность добавления средств проверки стандартов кодирования для Rust. • Поддержка пользовательских портов и архитектур. 48:16 Искусственный интеллект в Adacore • Осознанный подход к ИИ в Adacore. • Создание работающих решений для локальных и частных облаков. • Разработка прототипов для понимания возможностей и ограничений. • Возможность отвечать на вопросы через систему чата с документацией. • Создание помощника по написанию кода для Ada и Spark. • Поддержка конфиденциальности данных. 53:00 Вопросы и ответы 59:52 Заключение