ГОСТ Р 53195.4—2010
Т а б л и ц а А.8 — Рекомендации по применимости методов/средств для модификации ПО (см. 5.7.4)
Мстодьи’средства для модификации ПО
Ссыпка на структурную
единицу стандарта
Ранг применимости методов/средств для
SIL1SIL2SIL3SIL4
1 Анализ влияния
В.5.23. ГОСТ Р 53195.5 КР (HR)
КР (HR) КР (HR) КР (HR)
2 Имитация/моделирование
В.5.23. ГОСТ Р 53195.5P(R)
КР (HR) КР (HR) КР (HR)
3 Повторная верификация программных моду В.5.23. ГОСТ Р 53195.5 КР (HR) КР (HR) КР (HR) КР (HR)
лей. на которые оказывают влияние изменения а
других модулях
4 Повторная верификация системы в целом
В.5.23. ГОСТ Р 53195.5-
P(R)КР (HR) КР (HR)
5 Управление конфигурацией ПО
В.5.24. ГОСТ Р 53195.5 КР (HR)
КР (HR) КР (HR) КР (HR)
6 Регистрация и анализ данных
8.5.2. ГОСТ Р 53195.5 КР (HR)
КР (HR) КР (HR) КР (HR)
Т а б л и ц а А.9 — Рекомендации по применимости методов/средств верификации ПО (см. 5.8)
Методы/средства для верификации ПО
Ссылка наструктурные
Ранг применимости методс«и’средствдля
единицы стандартов
SIL1SIL2SIL3SIL4
1 Формальное доказательство
8.5.13,
ГОСТ Р 53195.5
-P(R)P (R)
KP (HR)
2 Вероятностное тестирование
6.5.1.
ГОСТ Р 53195.5
-
P(R)
P (R)
KP (HR)
3 Статический анализ
Б.6.3.
ГОСТ Р 53195.5;
таблица Б.8,
настоящий стандарт
Р (R)
KP (HR) KP (HR) KP (HR)
4 Динамический анализ
Б.6.5,
ГОСТ Р 53195.5;
таблица Б.2,
настоящий стандарт
P(R)KP (HR) KP (HR) KP (HR)
5 Метрики сложности программного обеспеченияВ.5.14.P(R)P(R)P(R)P(R)
ГОСТ Р 53195.5
6 Тестирование иинтеграция программных модулей
Таблица А.5 настоящего приложения
7 Проверка интеграции программируемых электрон
ных устройств
Таблица А.6 настоящего приложения
8 Тестирование программной системы (подтвержде
ние соответствия)
Таблица А.7 настоящего приложения
П р и м е ч а н и я
1 В настоящей таблице все процессы, связанные с верификацией, объединены для удобства изложения
материала. При ее применении дополнительные требования к элементам верификации, связанным с динами
ческим тестированием в таблицах А.5 и А.6. которые относятся к процессам верификации, не предъявляются. Не
требуется также проведение верификационного тестирования в дополнение к подтверждению соответствия ПО
(см. таблицу А.7 настоящего приложения).
2 Верификация предусматривается в ГОСТ Р 53195.1—ГОСТ Р 53195.3. Следовательно, первая верифи
кация СБЗС-системы проводится на более ранних стадиях жизненного цикла системы.
3 На ранних стадиях жизненного цикла СБЗС ПО верификация является статической. Она может вклю
чать в себя, например, изучение, просмотр, формальную проверку. Проведение динамического тестирования
возможно только после завершения разработки программы. Верификация программ динамическими средства
ми включает в себя функциональное тестирование, тестирование методом «белого ящика», статистическое тес
тирование. Для удостоверения а том, что каждый программный модуль удовлетворяет соответствующей
спецификации, требуется объединение информации обоих типов.
28