Litvek: лучшие книги недели
Топ книга - Счастлив по собственному желанию. 12 шагов к душевному здоровью [Андрей Владимирович Курпатов] - читаем полностью в LitvekТоп книга - Исчезновение венериан [Ли Дуглас Брэкетт] - читаем полностью в LitvekТоп книга - Легкий способ бросить пить [Аллен Карр] - читаем полностью в Litvek
Litvek - онлайн библиотека >> Вадим Станкевич >> Ada и др. >> Леди Ада >> страница 6
собственно, надёжность разработанного приложения зависит не только от компилятора и коллектива программистов, разрабатывающих программу, но и от платформы в равной степени. Платформа, как дополнительный уровень абстракции, добавляет свои вероятности ошибок, и с этим ничего не поделаешь. Поэтому 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. То есть генератор тестов — пояснение для тех, кто не знает английского. Он генерирует процедуру, которая автоматически «прогоняет» различные значения переменных в программе и тестирует её, таким образом, на устойчивость. В общем-то, не буду останавливаться более подробно на этих и других средствах, поскольку, очевидно, эти и другие решения вполне охватывают все потребности разработчиков, возникающих при написании программ на языке Ада.

Что ж, на этой мажорной ноте рассказ об Аде, пожалуй, закончим. Эта часть статьи будет последней, поскольку для обзорной статьи этого более чем достаточно, а углубляться — это уже не для газетной статьи, а для солидных книг. Которых, кстати, по Аде написано не так уж и мало. Конечно, не так много, как по C/C++, но и не так мало, как, например, по тому же Smalltalk. Для тех, кто заинтересовался этим языком программирования, могу порекомендовать совершенно замечательный сайт www.ada-ru.org. Это сайт русскоязычного сообщества программистов на Аде. Там можно найти учебники, библиотеки, компиляторы и различные дополнительные средства (в том числе и упомянутые выше инструменты для тестирования приложений, написанных на языке Ада). Очень рекомендую ознакомиться хотя бы поверхностно: можно найти много весьма любопытных вещей. Например, операционную систему MARTE OS (официальный сайт — marte.unican.es). Я уже говорил, что Ада — второй после Си высокоуровневый язык, официально сертифицированный для написания операционных систем? Если да, то простите за повторение…

Если же заинтересуют англоязычные ресурсы, обратитесь к сайту www.adahome.com.

Конечно, Ада — не идеальный язык программирования. В этом мире нет ничего идеального. И языки программирования — не самое худшее из того, что может своей идеальностью испортить жизнь…

Никлаус Вирт, создатель языков Паскаль, Оберон, Модула, Эйфель когда-то сказал про Аду: «Слишком много всего вываливается на программиста. Я не думаю, что, изучив треть Ады, можно нормально работать. Если вы не освоите всех деталей языка, то в дальнейшем можете споткнуться на них, и это приведет к неприятным последствиям». У каждой медали своя сторона. Ада интересна во многом своей необычностью, нетривиальным подходом ко многим вопросам. И, коль скоро язык этот существует уже много-много лет, и уходить с рынка пока не собирается, значит, этот подход имеет право на жизнь. И, может быть, создание отказоустойчивых систем сейчас не самая востребованная работа, но всё же полезно иметь представление о языке, с помощью которого такие системы создаются. Надеюсь, я сумел сообщить вам что-то новое и заинтересовать Адой так же, как когда-то этим языком заинтересовался сам.

Примечания

1

Seventeen is the age when the girl ends and woman begins — Семнадцать лет — возраст, в котором оканчивается девочка и начинается женщина (англ.). Можно было бы сказать то же самое по-русски и красивее, но дословный перевод именно такой.

(обратно)