ГОСТ 27831-88

ГОСУДАРСТВЕННЫЙ   СТАНДАРТ
                               СОЮЗА ССР




           ЯЗЫК ПРОГРАММИРОВАНИЯ АДА
                                  ГОСТ 27831-88
                       ■^         ( ИСО 86 5 2 -8 7 )
                       .1
                      • t   •

                                    Издание официальное
      ВЗ 8-88/526




                      ГОСУДАРСТВЕННЫЙ КОМИТЕТ СССР ПО СТАНДАРТАМ
                                       Москва
сервировка салфеток

УДК 681.3.06-.006.354                                                г р у т » П85

Г О С У Д А Р С Т В Е Н Н Ы Й          С Т А Н Д А Р Т   С О Ю З А          С С Р




             ЯЗЫК ПРОГРАММИРОВАНИЯ АДА                   ГОСТ 2 7 8 3 1 -8 8

                 Programming U njuage Ada
                                                           (ИСО 8 6 5 2 -8 7 )

ОКСТУ 4002



                                                         Дна введения 01.07.89

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


                             I. ОБЩИ!-: ПОЛОЖЕНИЯ

     1.1. Область действия стандарта
     В настоящем стандарте описаны форма представления и семантика про­
граммных модулей, написанных на язы ке Ада. Цель стандарта - повысить
надежность н переносимость программ для разнообразных систем обработ­
ки данных.
     1.1.1. С о д е р ж а н и е с т а н д а р т а
    Стандарт определяет:
     а) Форму представления программного м одуля, написанного на язы ке
Ада.
     б) Результаты трансляции и выполнения такого программного м одуля
     в) Способ получения Ада-программ из набора программных модулей.
     г) Предопределенные программные модули, которы е должна обеспечи­
вать согласованная со стандартом реализация (далее - согласованная реа­
лизация) .
    д ) Допустимые в рамках стандарта изменения язы ка и способы их за­
дания.
Издание официальное                                   Перепечатка воспрещена
             *                              © Издательство стандартов, 1989

С. 2 ГОСТ 27831-88

    с) Те нарушения стандарта, которы е обязана обнаруживать согласован­
ная реализация, а также результат попытки транслировать или выполнять
программный модуль, содержащий такие нарушения.
    ж) Тс нарушения стандарта, которы е согласованная реализация не обя­
зана обнаруживать.
    Стандарт нс определяет:
    з) Средства преобразования программного модуля, написанного на
язы ке Ада, в объектный код, выполняемый процессором.
    и) Средства инициализации трансляции, выполнения программных м о­
дулей и управления ими.
    к ) Размер и скорость выполнения объектного кода, а также относи­
тельную скорость выполнения различных язы ковы х конструкций.
    л ) Форму и содержание любых листингов, предусмотренных реализа­
циями, в частности, форму и содержание сообщений об ош ибках или преду­
преждающих сообщений.
    м) Результат выполнения программного модуля, содержащего любое
нарушение стандарта, которое согласованная реализация не обязана обнару­
живать.
    н) Предельный для конкретной согласованной реализации размер про­
граммы или программного модуля.
    Там, где стандарт предписывает, что программный модуль, написанный
на язы ке Ада, имеет точный результат, этот результат является функцио­
нальным значением данного программного модуля, и его должны обеспе­
чивать все согласованные реализации. Там, где стандарт допускает неодно­
значность результата выполнения программного модуля, под функциональ­
ным значением программного модуля в целом понимается множество воз­
можных результатов, и согласованная реализация может обеспечить любой
из возмож ных результатов. Примерами допустимых неоднозначностей я в ­
ляются:
    • Значения фиксированных и плавающих числовых величин, а также
результаты операций над ними;
    • П орядок выполнения операторов в различных параллельных задачах
при отсутствии явной синхронизации.
    1.1.2.      С о гл а с о в а н н о ст ь р е а л и з а ц и и , со с т а н д а р ­
том
    Согласованная реализация должна:
    а) Корректно транслировать и выполнять правильные программные мо­
дули, написанные на язы ке Ада, если только их объем находится в допусти­
мых для реализации пределах.
    б) Нс выполнять программные модули, объем которы х больше допус­
каем ого реализацией.
    в) Не выполнять программные модули, содержащие ош ибки, обнару­
жение которы х предусмотрено стандартом;
    г) Включать предусмотренные стандартом предопределенные програм­
мные модули.

ГОСТ 27831-88 С 3

       д) Содержать только те изменения, которы е допускает стандарт.
       е) Описывать допустимые изменения способом, разрешенным стандар­
 том.
        1.2. Структура стандарта
       Стандарт содержит четырнадцать глав, четыре обязательных и два спра­
  вочных приложения.
        Каждая глава делится на разделы, которы е имеют общую структуру.
  В каж дом разделе вводятся соответствующие понятия, данися все необ­
  ходимые синтаксические правила и описывается семантика соответствую­
  щих конструкций. В конце раздела могут быть даны примеры и примеча­
  ние.
        Примеры предназначены дл я иллюстрации возмож ных ф орм описанных
  конструкций. Примечание предназначено для пояснения следствий из пра­
  вил, описанных в данном или других разделах.
        Определение стандарта язы к а программирования Ада предполагает сле­
 дующее ограничение материал каж дого из перечисленных ниже пунктов но­
  сит информативный характер и не является частью определения стандарта
  язы ка.
        • Разд. 1.3. Цели к источники разработки.
        • Разд. 1.4. Обзор свойств язы ка.
        • Примеры и примечания, приведенные в конце любого раздела.
        • Каждый раздел, заголовок которого начинается со слов „Пример”
  или „П римеры".
        1.3. Цели и источники разработки
        Я зы к был разработан исходя из трех противоречивых требований:
        - обеспечить надежность и сопровождение программ;
        - поддерживать программирование к а к вид человеческой деятельности ;
        -- обеспечить эффективность программ.
        Необходимость в язы к ах, повышающих надежность и упрощающих со­
  провождение программ, является установленным ф актом . В язы ке Ада
  предпочтение бы ло отдано удобочитаемости программы по сравнению с лег­
  костью ее написания. Например, правила язы к а требуют, чтобы все перемен­
  ные и их типы были явно описаны в программе. Т ак к а к тип переменной не­
  изменен, ком пилятор может гарантировать совместимость операций над пе­
  ременными со свойсгвами, присущими объектам этого типа. Болес того,
  чтобы избежать обозначений, которы е могут привести к ош ибкам, в синтак-
  с и м .я о д с 'а бы ло отдано предпочтение конструкциям , которы е ближе к
Л ес/Л гвен ном у язы к у . Я зы к поддерживает раздельную компиляцию про­
  граммных модулей способом, облегчающим разработку и сопровождение
  программ и обеспечивающим один и тот же уровень контроля для меж мо­
  дульных и внутримодульных связей.
        Человеческий ф актор программирования также повлиял на разработку
  язы к а. Прежде всего была сделана попытка ограничить язы к настолько, на­
  скол ьк о это позволяла ш ирокая область его применения. Я зы к охватывает
  всю область применения небольшим « с л о м основных понятий путем снеге-