ГОСТ Р МЭК 60880—2010
Окончание таблицы D.2
П у н ктР еком ендацииП ри ор и тет
С
Язык должен обеспечивать обработку утверждений
3
d
1
1
3
2
2
Ошибки, способные вызвать исключительные ситуации во время исполнения, вклю
чают в себя:
- превышение границ массива
- превышение диапазона величин
- обращение к неинициализированным переменным
- невозможность удовлетворить утверждение
- отбрасывание значащих разрядов числовых величин
- пропуск параметров неправильного типа
1
е
Если при трансляции или редактировании связей обнаружена ошибка, то о ней сле
дует сообщить, не делая попыток исправить
2
f
Если кет ясности в том. что нарушились какие-то правила, то должно быть выдано
предупреждение
3
9
Во время трансляции должны проверяться типы параметров
3
Т а б л и ц а
D.3 — Обработка данных и переменных
П у н кт
Р еком ендации
П риоритет
а
Диапазон каждой переменной должен определяться при трансляции
1
Ь
Точность каждой переменной с плавающей запятой должна определяться во время
трансляции
2
с
Не должно быть неявных преобразований типов
2
d
Тип каждой переменной, массива, элемента записи, выражения, функции и пара
метра должен определяться во время трансляции
2
е
Переменные массивы, параметры и тщ. должны быть явно декларированы, включая
их типы
1
f
Следует различать типы переменных, соответствующие входам, выходам, парамет
рам процедур и подпрограмм
2
9
Должны быть разрешены имена переменных произвольной длины
2
h
Насколько возможно, проверку типов предпочтительнее проводить на этапе транс
ляции. чем на этапе исполнения
3
’
Во время трансляции должно проверяться, разрешено ли присвоение для любого
частного элемента данных
2
Т а б л и ц а
D.4 — Аспекты режима онлайн
П у н кт
Р еком ендации
П риоритет
а
Во время оценки выражения не должно допускаться внешнее присваивание для
любой переменной, которая доступна в этом выражении
1
b
Время, расходуемое на вычисления, должно быть доступно проверке в режиме
«онлайн»
3
с
В режиме «онлайн» должно обеспечиваться фиксирование ошибок (см. таблицу D.2.d)
1
64