Следите за новостями

Цифра дня

На 43% вырос казахстанский рынок ecommerce в 2017 г

Стандарт Ada 2012 повысит безопасность проектирования

Новая версия языка Ада позволит разработчикам создавать более надежные программы, пользуясь методами контрактного программирования

23 января 2013 10:01, Computerworld.kz
Рубрики: Мир

Международная организация по стандартизации ISO присвоила ста­тус стандарта последней версии языка программирования Ада — Ada 2012. В версии Ada 2012 появи­лась функция обеспечения повы­шенной безопасности, которая уже присутствует в ряде других языков и называется контрактным программированием.

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

Контрактное программирование поможет разработчикам защитить программы от ошибок и несанкционированного использования. В рамках контрактного про­граммирования разработчик определяет ряд условий, которые проверяются перед запуском процедуры, а также задает диапазон разрешенных выходных значений.

Проверяя в ходе выполнения предварительные и окончательные условия, про­грамма защищает себя от несанкционированного проникновения и от выдачи некорректных или вредоносных данных, что повышает ее устойчивость и безопасность.

Хотя контрактное программирование и получило признание многих авторитетов в программной инженерии, сегодня соответствующие функции реализованы лишь в очень небольшом подмножестве языков, по крайней мере если не учиты­вать дополнительные модули расширения компилятора. Из широко распростра­ненных языков программирования в стандартном варианте контрактное проекти­рование поддерживается языком Eiffel.

Контрактное программирование отвечает новому стандарту безопасности DO-178C/ED-12C авиакосмического программного обеспечения, утвержденному Радиотехнической комиссией по аэронавтике (Radio Technical Commission for Aeronautics, RTCA).

Версия Ada 2012 поддерживает и ряд других новых функций. Обновленный язык лучше подходит для работы в многоядерных средах. Разработчики специфика­ций постарались сделать язык более выразительным, добавив более мощные итераторы и дополнительные способы построения условных выражений.

Министерство обороны США заказало разработку языка Ада в конце 70-х годов, решив консолидировать возможности различных языков, использовавшихся для создания программ военного назначения.

Несмотря на то что Ада никогда не считался языком общего назначения — и даже единственным языком Пентагона, он получил достаточно широкое распро­странение в авиации и других отраслях, где требуются сверхнадежные системы, работающие в режиме реального времени.

Версия Ada 2012 стала первым крупным обновлением стандарта Ада за послед­ние семь лет. Пересмотром языка занималась группа Ada Rapporteur Group ко­митета ISO/IEC (International Electrotechnical Commission) JTC 1 (Joint Technical Committee).

Компания AdaCore уже представила компилятор Ada 2012 и соответствующие инструменты.

Инструменты для работы с программами на языке Ада предлагаются также ком­паниями Green Hills Software и Atego.