среда, 21 августа 2013 г.

C++: перевод well-formed и ill-formed

В стандарте языка C++
имеются термины:
  • 1.3.26 [defns.well.formed]
    well-formed program C++ = program constructed according to the syntax rules, diagnosable semantic rules, and the One Definition Rule (3.2).
  • 1.3.9 [defns.ill.formed]
    ill-formed program = program that is not well formed
Стоит задача правильного перевода на русский язык.

Имеется ГОСТ 28195-89 Оценка качества программных средств. Общие положения. В нём написано следующее:
Показатели корректности - Характеризуют степень соответствия ПС требованиям, установленным в ТЗ, требованиям к обработке данных и общесистемным требованиям.
Далее в таблице 10 Оценочные элементы фактора «корректность» встречается элемент с кодом К0802 и наименованием
"Правильность заданий на выполнение программы, правильность написания управляющих и операторов (отсутствие ошибок)".
Здесь, к сожалению, нет явного термина правильная программа.

Для себя я делаю следующие выводы:
  • Правильная программа или синтаксически правильная программа удовлетворяет грамматике языке и к требованиям программ на этом языке.
  • Корректность более общий термин, который включает в себя правильность. Любая корректная программа является правильной (т.е. не содержит ошибок компиляции) и соответствует предъявленным требованиям.

Таким образом
well-formed = правильная; синтаксически правильная
ill-formed = неправильная; синтаксически неправильная
Лучшего придумать не могу.

P.S. Есть тема на RSDN "Как перевести наиболее по-русски ill-formed". К сожалению, участники не знакомы со стандартом ГОСТ 28195-89 и, как пишет один из участников "всяк переводит в соответствии со своей переводческой интуицией и чувством языка.".

Комментариев нет:

Отправить комментарий