ГОСТ Р 55544—201З
Л
ЕС
Л
-R80002-1:2009
Продолжение таблицы В. 2
П рограм м ны е причины
Типы
А нализ: С татический (С), Димамичос«ии <Д). В рем екибй (В )
В Е Р И Ф И КА Ц И И
И спы тание (м одульное, м и гр а ц и о н н о е )
П роверка
М еры по УПРАВ
Л
ЕНИ Ю РИСКОМ
Определение времен сброса таймеров и установка таймера
——
в
Таймеры
соответственно, определение максимального значения вре
мени для таймера, не ведущего к ОПАСНОЙ СИТУАЦИИ
Режим работы
ш т т ш ш
’ ’V-•V
Непредусмотренное завер
шение программы
Использование ловушек для отслеживания выходов из прог
д
раммы. ошибок времени запуска, правильная конструкция
таймеров, проверка устойчивости к входным данным, самоте
стирование при включении. Удалить весь отладочный код и
нерабочий код из релиза, обеспечивая невозможность непро
извольного запуска специальных режимов (обслуживание,
изготовление).
Проблемы при отключении
/ повторном включении /
многократном включении
Самотестирование при включении для ЦП, оперативной па
мяти, таймера и часов, энергозависимой памяти. СКС-тест
исполняемого кода, тестирование периферии и т. л.
Соответствующая разработка в отношении статуса выполне
ния программы, инициализация переменных, усредняемых по
времени, реинициализация периферийных устройств, иници
ализация статуса СИСТЕМЫ из энергозависимой памяти, вне
шний монитор напряжения или сброса питания
АНОМА
Л
ИИ запуска/
завершения работы
Проверки при включении (см. выше), правильная инициали
зация периферии и данных, правильное использование энер
гозависимой памяти, правильная разработка статуса выпол
нения программы
Вход/выход в режиме низкого
напряжения питания
Правильная обработка прерываний
X
—
В
Ошибки вданных
I^:Г7ГТ7Г,-Г,
ШшШШт
Дублирование оперативной памяти. СКС или проверочныеС
суммы для блоков данных. Работать с данными только через
специальные функции, минимизировать глобальные данные,
Искажение данныхсохранять простую структуру данных, учитывать, как данные
организуются в структуры компьютером, избегать смешения
данных (также далее см. «ошибочные указатели» и «про
межуточные данные»)
Конфликты в работы с ресур
сами
Анализ совместно используемых ресурсов (также ранее
———
см. «условия работы с ресурсами»)
Ошибочные указатели
Ошибки при переводе данных:
смешение типов, масштабиро
вание
Защищенное кодирование: проверка целостности данных пе
X
XС
ред снятием указателя, использование языков с сильными
типами данных, минимизировать применение указателей,
избегать смешения указателей
Избегание смешения типов, использование форматов с пла
XX
С
вающей точкой
Некорректная
инициализация
Усредняемые данные за
пределами диапазона
Преинициализирование переменных усредняемых по време
XX
с
ни. обнуление всей памяти при запуске
Проверка того, что достаточное число отсчетов взято до вы
XX
с
числения среднего (особенно при запуске) или преинициали
зирование среднего к известному (или последнему) коррект
ному значению
45