ГОСТ Р МЭК 60880—2010
Т а б л и ц а
В.Зс — Содержимое памяти
Пункт
Рекомендация
Позволяет избсжать/поэеоляст добиться
В.Зс
Содержимое памяти должно быть защищено или
контролироваться.
П р и м е ч а н и е — Защита может иметь целью предо!-
вращение (предотвратить осуществление несвоевремен
ной модификации) или регистрацию (зарегистрировать
ненормальное состояние — искажение памяти) с соот
ветствующей быстрой реакцией (ограничение или коррек
ция ошибки). Регистрация предполагает мониторинг (или
его синоним — контроль)
Несанкционированных изменений, воз
можных оставшихся дефектов
!
В.Зса
Память, отведенная для констант и команд, должна
быть защищена илидолжен осуществляться контроль
изменений
Распространения ошибок адресации
или отказов аппаратных средств, вклю
чая перемежающиеся отказы /
В.ЗсЬ
Не следует допускать неправомочных считываний и
записей
В.Зсс
Систему следует страховать от изменений кода или
данных оператором станции
/ сохранения целостности разрешенной
системы
Т а б л и ц а
B.3d — Проверка ошибок
Пункт
Рекомендация
Позволяет избежать/позволяет добиться
B.3d
Проверку ошибок необходимо проводить на уровне
кодирования
Распространения отказа /
B.3da
Счетчики и ловушки отклонений от допустимости
должны гарантировать правильный прогон програм
мы
Специфическихдефектовлогики управ
ления. повторяющихсядефектов техни
ческих средств/
B.3db
Следует проверять правильность передачи любого
параметра, включая проверку типа параметров
Дефектов в проектировании интерфей
са и потока данных
1
B.3dc
При адресации массива следует проверять его гра
ницы
Ошибок в потокеданных, слишком боль
шого числа повторений в цикле /
B.3dd
Следует контролировать время прогона критических
частей (например, с помощью таймера)
Дефектов проектирования управления,
а также слишком большого числа повто
ров в цикле/
B.3de
Следует использовать логические утверждения (на
пример, в треугольнике, если НЕ (а+Ь>с), то Ошибка)
/достоверности промежуточных резуль
татов
В.4 Детальное проектирование и кодирование
Т а б л и ц а
В.4а — Ветвления и циклы
Пункт
Рекомендация
Позволяет избежать/позволяет добиться
В.4а
С ветвлениями и циклами следует обращаться осто
рожно
/ понятного и верифицируемого алго
ритма управления
В.4аа
Следует избегать использования переходе» назад,
вместо этого следует использовать операторы цикла
(только для языков высокого уровня)
Трудностей анализа алгоритма управ
ления
1
удобочитаемости
В.4аЬ
Следует исключить переходы в циклы, модули или
подпрограммы
Трудностей анализа алгоритма управ
ления / удобочитаемости
В.4ас
Следует избегать переходов из циклов, если они не
ведут кполному окончанию цикла. Исключение— вы
ход по отказу
Трудностей анализа алгоритма управ
ления
!
удобочитаемости
54