ГОСТРМЭК 62279—2016
Т аб л и ца А.10 — Сопровождение программного обеспечения (см. 9.2)
М е то д ы <меры
С с ы п к аУ П Б 0
У П Б 1 У П Б 2
У П Б 3 У П Б 4
1Анализ влияния
D.32R
HRHR
М
м
2 Регистрация и анализ данных
D.12HR
HRHR
М
м
Т аб л и ца А.11 — Методы подготовки данных (см. 8.4)
М етод ы Г м е р ы
С с ы л каУ П Б 0
У П Б 1 У П Б 2
У П Б 3 У П Б 4
1 Табличные методы спецификации
D.68R
RR
RR
2 Специализированный язык
D.69R
RR
RR
3 Моделирование процесса
D.42R
HRHR
HRHR
4 Функциональное тестирование
D.42М
МM
MM
5 Таблицы контрольных проверок
D.7R
HRHR
MM
6 Оценка программного обеспечения по Фагану
D.23—
RR
RR
7 Формальный анализ проекта
D.56R
HRHR
HRHR
8 Формальное доказательство корректности (данных)
D.29
—
——
HRHR
9 Сквозной контроль
D.56R
RR
HRHR
Требования
а) Принятые комбинации методов для УПБ 1 и 2 программного обеспечения следующие: 1 и 2.
Ь) Принятые комбинации методов для УПБ 3 и 4 программного обеспечения следующие: 1, 4. 5 и 7 или 2.
3 и 6.
П р и м е ч ан и е — Описание ссылки D.29 касается программ, в то время как метод8 в данном контексте
применяется к формальному доказательству правильности данных.
А.З Подробные таблицы
Т аб л и ца А.12 — Стандарты кодирования
Методы/меры
С с ы л каУ П Б 0
У П Б 1 У П Б 2
У П Б 3 У П Б 4
1 Стандарт кодирования
D.15HR
HRHR
MM
2 Руководство по стилю кодирования
D.15HR
HRHR
HRHR
3 Отсутствие динамических объектов
D.15—
RR
HRHR
4 Отсутствие динамических переменных
D.15—
RR
HRHR
5 Ограниченное использование указателей
D.15
—
RR
RR
6 Ограниченное использование рекурсий
D.15—
RR
HRHR
7 Отсутствие безусловных переходов
D.15
—
HRHR
HRHR
8 Ограниченный размер и сложность функций,
подпрограмм и методов
D.38HR
HRHR
HRHR
9 Стратегия точки входа/выхода для функций,
подпрограмм и методов
D.38R
HRHR
HRHR
10 Ограниченное количество параметров подпрограммы
D.38R
RR
RR
11 Ограниченное использование глобальных переменных
D.38HR
HRHR
MM
Требование
Признано, что методы 3, 4 и 5 могут присутствовать в рамках прошедшего подтверждение соответствия
компилятора или транслятора.
56