Вадим Станкевич - Леди Ада

безукоризненно работает под Windows.

Надо сказать, что GPS — вполне современная среда программирования, что лишний раз опровергает миф о том, что Ада — язык устаревший. Для устаревших языков и среды разработки соответствующие. Помимо непосредственной подсветки синтаксиса языка, среда умеет выполнять фолдинг (сворачивание и разворачивание) участков программного кода, показывает подсказки, помогающие в наборе параметров процедур. В среде имеется довольно удобный и функциональный менеджер проектов, который позволяет осуществлять навигацию по проектам, содержащим большое количество файлов с исходными текстами. Собственно, как замечают разработчики, GNAT и GPS тестировались на больших проектах, поэтому их использование в таких проектах вполне целесообразно. Ко всем прочим своим плюсам, GPS умеет взаимодействовать с системой контроля версий (CVS), что также упрощает работу программистов над большими проектами. Честно говоря, вряд ли без этой возможности можно было бы серьёзно рассуждать о работе с большими проектами в среде GPS. В качестве отладчика среда использует GNU Debugger, правда, несколько переработанный. В бесплатной версии имеется GNU Visual Debugger, который можно использовать отдельно от среды GNAT Programming Studio. В коммерческой версии возможности отладчика шире, однако подробности разработчики не раскрывают.

Впрочем, сегодня я хотел рассказать не только о GPS, но и о некоторых других разработках, связанных с Адой.

Как я уже говорил, Ада — язык объектно-ориентированный. И объектная концепция его такова, что идеально подходит для использования Ады под платформой Microsoft.NET. Свято место, как известно, пусто не бывает, и Ада для. NET — не выдумка, а реальность. Проект, реализующий компилятор Ады для платформы. NET и некоторые дополнительные инструменты для программирования на Аде под этой платформой, называется A# и располагается по адресу asharp.martincarlisle.com.

A# — это полноценный. NET компилятор, который выдаёт код, совместимый с Microsoft.NET Framework 2.0. Соответственно, можно использовать все классы из Framework, в том числе и библиотеку Windows Forms, так что теперь на Аде можно создавать даже полноценные приложения с графическим пользовательским интерфейсом. Правда, возникает вопрос, насколько разумно использовать Аду в таких приложениях, если тут уже, собственно, надёжность разработанного приложения зависит не только от компилятора и коллектива программистов, разрабатывающих программу, но и от платформы в равной степени. Платформа, как дополнительный уровень абстракции, добавляет свои вероятности ошибок, и с этим ничего не поделаешь. Поэтому A# не кажется серьёзной разработкой. Хотя он прекрасно подходит для изучения самого языка.

Чем ещё может A# привлечь потенциального пользователя? Собственно, всё тем же — интеграцией с. NET. И, более того, с самой популярной средой разработки для этой платформы — Microsoft Visual Studio.NET 2005. Эта среда разработки, пожалуй, удобнее GPS и даже Eclipse, а самое большое её преимущество — она привычна и знакома большинству программистов, разрабатывающих программное обеспечение для платформы. NET. Впрочем, как я уже говорил, Ада — далеко не самый популярный язык для разработки под эту платформу.

Гораздо интереснее вспомогательные средства для тестирования программ, написанных на Аде. Поскольку Ада — язык, ориентированный на повышенную надёжность создаваемых приложений, то средства тестирования для таких приложений необходимы как воздух. Конечно, сейчас существует великое множество автоматизированных средств тестирования программного обеспечения, и никто не мешает применять их к программам, написанным на Аде. Однако есть ряд специфических для этого языка инструментов, которые учитывают особенности Ады и разработанные для этого языка стандарты тестирования приложений.

Первый пункт в списке средств для тестирования — это программа для проверки исходного кода проекта под названием GNAT Checker (www.kolumbus.fi/vitali.kaufman/gch). Правда, поставляется она в виде исходных текстов, но скомпилировать её — дело нескольких минут. Она выполняет проверку исходных текстов на наличие различных алгоритмических ошибок и «ляпов». Вторая интересная и полезная программа — tg (www.free-software-consulting.com/projects/tg). Это не тангенс, а test generator. То есть генератор тестов — пояснение для тех, кто не знает английского. Он генерирует процедуру, которая автоматически «прогоняет» различные значения переменных в программе и тестирует её, таким образом, на --">