Ада (язык программирования): различия между версиями

[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
→‎История: дополнение, уточнение
Строка 61:
== История ==
Разработка языка была проведена в рамках международного конкурса, организованного и профинансированного [[Министерство обороны США|министерством обороны США]].
Целью разработки было получение [[Язык программирования|языка программирования]], который мог бы стать единым для разработки проектов по заказам военного ведомства, главным образом, для разработки встроенных систем военного назначения и для больших военных компьютеров (на базе процессора [[iAPX 432]] от [[Intel]]). Работа началась в [[1975 год]]у, с формирования набора требований к языку, который бы в полной мере удовлетворил разработчиков систем указанного типа. Первоначальный список требований, выпущенный под кодовым наименованием «Strawman» («Соломенный»). «Соломенный», был представлен на рецензию в ряд организаций и фирм, в течение двух лет последовательно уточнялся, пройдя через «Woodenman» («Деревянный»), «Tinman» («Оловянный»), «Ironman» («Железный») и в конечном счёте превратившись в итоговый документ под названием «Steelman» («Стальной»). «Steelman» был выпущен в июне 1978 года [DoD 1978]<ref name="steelman">[https://dwheeler.com/steelman/steelman.htm Steelman document]</ref>.
 
ПослеЕщё до окончательного завершения формирования требований был проведён анализ, который показал, что ни один из имеющихся языков программирования не удовлетворяет требованиям в достаточной мере, так что было принято решение разработать новый язык. Конкурс на его создание был объявлен в [[1977 год]]у, разработчикам было предложено базироваться на одном из трёх языков: [[Паскаль (язык программирования)|Паскаль]], [[Алгол-68]] или [[ПЛ/1]]. Из представленных на конкурс 15 проектов было отобрано 4 (все основаны на Паскале). Эти проекты были отправлены на дальнейшую доработку. На следующем этапе из 4 проектов отобрали два, из которых, после очередной доработки, был выбран один. Этот язык получил наименование «Ада» — разработавшая его группа под руководством француза [[Ишбиа, Жан|Жана Ишбиа]] дала языку название в честь [[Лавлейс, Ада|Августы Ады Кинг Лавлейс]] (1815—1852), дочери поэта [[Байрон, Джордж Гордон|Джорджа Байрона]], которая занималась разработкой программ для [[Разностная машина Чарльза Бэббиджа|вычислительной машины Бэббиджа]] и считается первым программистом в мире.
 
В [[1983 год]]у язык был официально стандартизован [[Американский национальный институт стандартов|ANSI]]. Стандарт языка [[Американский национальный институт стандартов|ANSI]]/MIL-STD-1815-A-1983 был утверждён [[17 февраля]] 1983 года. Министерство обороны США сделало наименование «Ada» зарегистрированной торговой маркой, запретив выпускать [[транслятор]]ы языка, не прошедшие официальную процедуру [[Тестирование программного обеспечения|тестирования]] на соответствие стандартам. Процедура состояла в прогоне через тестируемый [[компилятор]] большого количества (более 1000) тестовых программ (так называемый комплект ACVC), для каждой из которых был однозначно определён результат тестирования: либо удачная компиляция, либо выдача вполне конкретного сообщения об ошибке. Тестирование проводилось по принципу «всё или ничего» — при ошибке в обработке хотя бы одного тестового примера компилятор считался не прошедшим тест, причём тестирование было действительно только на той аппаратной и программной платформе, на которой оно проводилось. Таким образом была в зародыше подавлена возможность образования «версий» или «диалектов» языка Ада.
Из представленных на конкурс 15 проектов было отобрано 4 (все основаны на Паскале). Эти проекты были отправлены на дальнейшую доработку. На следующем этапе из 4 проектов отобрали два, из которых, после очередной доработки, был выбран один. Этот язык получил наименование «Ада» — разработавшая его группа под руководством француза [[Ишбиа, Жан|Жана Ишбиа]] дала языку название в честь [[Лавлейс, Ада|Августы Ады Кинг Лавлейс]] (1815—1852), дочери поэта [[Байрон, Джордж Гордон|Джорджа Байрона]], которая занималась разработкой программ для [[Разностная машина Чарльза Бэббиджа|вычислительной машины Бэббиджа]] и считается первым программистом в мире.
 
В [[1983 год]]у язык был официально стандартизован [[Американский национальный институт стандартов|ANSI]]. Стандарт языка [[Американский национальный институт стандартов|ANSI]]/MIL-STD-1815-A-1983 был утверждён [[17 февраля]] 1983 года. Министерство обороны США сделало наименование «Ada» зарегистрированной торговой маркой, запретив выпускать [[транслятор]]ы языка, не прошедшие официальную процедуру [[Тестирование программного обеспечения|тестирования]] на соответствие стандартам. Процедура состояла в прогоне через тестируемый [[компилятор]] большого количества (более 1000) тестовых программ (так называемый комплект ACVC), для каждой из которых был однозначно определён результат тестирования: либо удачная компиляция, либо выдача вполне конкретного сообщения об ошибке. Тестирование проводилось по принципу «всё или ничего» — при ошибке в обработке хотя бы одного тестового примера компилятор считался не прошедшим тест, причём тестирование было действительно только на той аппаратной и программной платформе, на которой оно проводилось. Таким образом была в зародыше подавлена возможность образования «версий» или «диалектов» языка Ада.
 
В [[1987 год]]у язык Ада был официально стандартизован [[ISO]]. С этого момента Министерство обороны США перевело язык в [[общественное достояние]].