ГОСТ 27831-88 (ИСО 8652-87) Язык программирования АДА

     
     ГОСТ 27831-88
(ИСО 8652-87)

Группа П85

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

ЯЗЫК ПРОГРАММИРОВАНИЯ АДА

Programming language Ada

ОКСТУ 4002

Дата введения 1989-07-01

ИНФОРМАЦИОННЫЕ ДАННЫЕ

1. ИСПОЛНИТЕЛИ

А.А.Красилов, д-р. техн. наук, проф.; B.M.Курочкин, канд. техн. наук (руководители темы); Ю.Н.Голубев, канд. техн. наук; В.И.Баранов, канд. техн. наук; В.Л.Лейтес, канд. техн. наук; В.А.Хитров; H.E.Богородская; В.П.Чепкасов; Е.П.Фадеева; А.П.Попов; В.В.Лукашев, канд. техн. наук; Н.Л.Жданова; В.Г.Коневских; Л.А.Андрианова; Т.С.Прокофьева; O.E.Косырева; E.E.Полякова; Ю.П.Пузей; E.B.Фадеева; А.Ф.Яблокова; Е.А.Обертынская; И.Ю.Гребенкина; О.Г.Кузьмина; Н.Г.Соболев; Н.М.Блохин; Н.К.Зубанова

2. УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Постановлением Государственного комитета СССР по стандартам от 22.09.88 N 3217

3. ВВЕДЕН ВПЕРВЫЕ

4. Стандарт соответствует международному стандарту ИСО 8652-87

5. ССЫЛОЧНЫЕ НОРМАТИВНО-ТЕХНИЧЕСКИЕ ДОКУМЕНТЫ

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

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

1. ОБЩИЕ ПОЛОЖЕНИЯ

1.1. Область действия стандарта

В настоящем стандарте описаны форма представления и семантика программных модулей, написанных на языке Ада. Цель стандарта - повысить надежность и переносимость программ для разнообразных систем обработки данных.

1.1.1. Содержание стандарта

Стандарт определяет:

а) Форму представления программного модуля, написанного на языке Ада.

б) Результаты трансляции и выполнения такого программного модуля.

в) Способ получения Ада-программ из набора программных модулей.

г) Предопределенные программные модули, которые должна обеспечивать согласованная со стандартом реализация (далее - согласованная реализация).

д) Допустимые в рамках стандарта изменения языка и способы их задания.

е) Те нарушения стандарта, которые обязана обнаруживать согласованная реализация, а также результат попытки транслировать или выполнять программный модуль, содержащий такие нарушения.

ж) Те нарушения стандарта, которые согласованная реализация не обязана обнаруживать.

Стандарт не определяет:

з) Средства преобразования программного модуля, написанного на языке Ада, в объектный код, выполняемый процессором.

и) Средства инициализации трансляции, выполнения программных модулей и управления ими.

к) Размер и скорость выполнения объектного кода, а также относительную скорость выполнения различных языковых конструкций.

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

м) Результат выполнения программного модуля, содержащего любое нарушение стандарта, которое согласованная реализация не обязана обнаруживать.

н) Предельный для конкретной согласованной реализации размер программы или программного модуля.

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

Значения фиксированных и плавающих числовых величин, а также результаты операций над ними;