Отладка уровня исходного кода Ada с использованием Lauterbach Trace32

Описание

Даже при использовании Ada или SPARK отладка остаётся важной для встроенных систем, особенно когда вы работаете с логикой, близкой к оборудованию. Аппаратные отладчики значительно расширяют возможности разработчика, отладка становится менее вмешивающейся в поведение в реальном времени и может предоставлять дополнительные возможности, такие как трассировка выполнения в реальном времени и ненавязчивое покрытие кода.

Демонстрация показывает, как добавить Lauterbach Trace32 в проект на Ada в VS Code на рабочем столе, используя Alire для сборки как на рабочем столе, так и в конвейере GitLab CI/CD.

С поддержкой Ada, теперь доступной в отладчике Lauterbach, разработчики могут пошагово проходить свой исходный код на Ada и SPARK, управляя при этом целью через отладчик.