ГОСТ Р МЭК 60880—2010
7.2.1.4 Должны использоваться языки с тщательно проворенным транслятором.
7.2.1.5 Если применяется транслятор, не прошедший тщательной проверки, то дополнительная вери
фикация должна предоставитьсвидетельство того, что результаты трансляции будут верными.
7.2.1.6 Следует иметь в распоряжении инструментальные программы для автоматизированной про
верки.
Рекомендуется использование автоматизированных инструментальных программ. При этом приме
няются требования раздела 14.
7.2.2 Универсальные языки
Универсальные языкидля систем класса 1и их трансляторы недолжны препятствовать использова
нию следующих схем, ограничивающих возможные ошибки:
- проверка типа переменных модуля трансляции, проверка параметров подпрограммы;
- проверка границ массива рабочего модуля.
Руководство по выбору языка, транслятора иредактора связи, приведено в приложении D.
7.2.3 Проблемно-ориентированные языки и соответствующая автоматизированная генера
ция кода
7.2.3.1 Проблемно-ориентированные языки следует преобразовывать в универсальный язык с помо
щью автоматизированных инструментальных программ (например, генератора кода) до трансляции про
граммы в выполняемую форму.
7.2.3.2Должна быть проведена оценка соответствия генерируемого кода требованиям настоящего
стандарта к проектированию и кодированию программного обеспечения, а несоответствия должны быть
обоснованы.
7.2.3.3 Структура генерируемой программы должна быть определена в общем виде, например,
должно быть определено расположение описаний по отношению к кодовым операторам.
7.2.3.4 Генерируемый код не должен изменяться в результате непосредственных действий с кодом.
7.2.3.5 При модификации спецификации входных данных код должен быть генерирован повторно,
например, в результате деятельности по В&В.
Дополнительные рекомендации по автоматизированной генерации кода приведены вперечислении f)
раздела В.5 приложения В.
7.3 Подробные рекомендации
7.3.1 Общие положения
В приложении В приведены рекомендации, в которых детализированы аспекты, указанные в 7.1.
Кдвум основным этапам разработки программного обеспечения применимы рубрики индивидуаль
ных рекомендаций приложения В. как показано в таблице 1.
Т а б л и ц а 1 — Процедурные и программные аспекты проектирования и реализации
Этап разработки
программною
обеспечения
Процедурные
аспекты
Приложение В
Программные
аспекты
Приложение В
Проектирование
В.1а
В.1Ь
В.2а
В.2Ь
В.1с
В.2с
В.2d
В.2е
Модифицируемость
Подход сверху вниз
Верификация промежу-
точных программ при
проектировании
Управление модифика-
цией в процессе разра-
ботки
B.1d
В.2(
В.За
В.ЗЬ
В.4а
В.4Ь
В.4с
В.4е
Структуры управления
и доступа
Модули
Операционное системное
программное обеспечение
Время выполнения
Прерывания
Арифмег ические
выражения
Проверки достоверности
Безопасный вывод данных
Ветвления и циклы
Подпрограммы
Иерархические структуры
Структурыданных
Проблемно-ориентированные
языки
В5е
17