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