ГОСТ Р 53195.4—2010
Окончание таблицы А.З
Методы/средства для проектирования инструыентальмых
средств поддержки
и языки программирования
Ссылка ка
структурную
единицу
ГОСТ Р 63195,5
Ранг применимости методоаТсредста для
SIL1SIL2SIL3SIL4
46 Инструментальные средства, заслуживающие довеВ.4.4
рия на основании опыта использования
КР (HR) КР (HR) КР (HR) КР(HR)
4в Сравнение исходных программ и исполнимых кодов8.4.5
КР (HR) КР (HR) КР (HR) КР(HR)
5а Сертифицированный компилятор8.4.3
Р (R)
КР (HR) КР (HR) КР (HR)
56 Трансляторы, заслуживающие доверия на основанииВ.4.4
опыта использования
КР (HR) КР (HR) КР (HR) КР(HR)
6 Библиотека проверенных/верифицироеанных моду8.4.6P(R)КР (HR) КР (HR) КР(HR)
лей и компонентов
Т а б л и ц а А.4 — Рекомендации по применимости методов/средств для проектирования и разработки ПО: де
тальное проектирование (см. 5.6.4. S.6.5 и 5.6.7)
Мстоды/срсдстоа детального проектирования
Ссыпи на
структурную единицу
стандарта
Ранг применимости методов.’средств для
SIL1SIL2SIL3SIL4
1а Структурные методы, включая, например, JSD.
MASCOT. SADT и Yourdon
8.2.1,КР (HR) KP (HR)
ГОСТ Р 53195.5
KP (HR) KP (HR)
16 Полуформапьные методы
Таблица Б.7,
P<R)
KP (HR)
настоящий стандарт
KP (HR) KP (HR)
1в Формальные методы, включая, например. CCS.
CSP. HOL. LOTOS. OBJ. временную логику. VDM и2
8.2.4.
-
P(R)
ГОСТ Р 53195.5
P(R)KP (HR)
2 Средства автоматизированного проектирования
Б.3.5.P(R)P(R)
ГОСТ Р 53195.5
KP (HR) KP (HR)
3 Программирование с защитой
8.2.5.
-
P(R)
ГОСТ Р 53195.5
KP (HR) KP (HR)
4 Модульный подход
Таблица Б.9,КР (HR) KP (HR)
настоящий стандарт
KP (HR) KP (HR)
5 Стандарты для проектирования и кодирования
Таблица 6.1.
Р (R)
KP (HR)
настоящий стандарт
KP (HR) KP (HR)
6 Структурное программирование
8.2.7.КР (HR) KP (HR)
ГОСТ Р 53195.5
KP (HR) KP (HR)
7 Использованиепроверенных/верифицирован-
ных программных модулей и компонентов (по воз
можности)
В.2.10. В.4.6.P(R)KP (HR) KP (HR) KP (HR)
ГОСТ Р 53195.5
Т а б л и ц а А.5 — Рекомендации по применимости методов.’средств для проектирования и разработки ПО: тести
рование программных модулей и интеграция (см. 5.6.9 и 5.6.10)
Методьи’средства тестирования программных модулей
и интеграции
Ссыпи на
структурную единицу
стандарта
Ранг применимости методов.’средств для
SIL1SIL2SIL3SIL4
1 Вероятностное тестирование
8.5.1,
-
ГОСТ Р 53195.5
Р (R)Р (R)
КР (HR)
2 Динамический анализ
Б.6.4.
P(R)
ГОСТ Р 53195.5.
таблица Б.2,
настоящий стандарт
КР (HR) КР (HR) КР (HR)
26