ГОСТ Р ИСО 26262-6—2014
8.4.2Для того, чтобы проект модуля программного обеспечения получал информацию, необхо
димую для обеспечения корректного и эффективного выполнения последующих действий по его раз
работке. проект модуля программного обеспечения должен быть описан с использованием представ
лений. приведенных в таблице 7.
Т а б л и ц а 7 - Представления для проекта модуля программного обеспечения
Методы
АВ
УПБА
СD
1аЕстественный язык
+♦++ ♦+
1ЬНеформальные представления ♦+
+♦
+
♦
1сПолуформальные представления
♦
++ ♦+
1dФормальные представления
♦♦
+
+
П р и м е ч а н и е - Если используется разработка на основе модели с автоматической генерацией ко
да. то эти способы представления разработки модуля программного обеспечения применяются к модели, кото
рая служит основой для генерации кода.
8.4.3 Спецификация модулей программного обеспечения должна описывать функциональное
поведение и внутреннее проектирование до уровня детализации, необходимой для их реализации.
Пример - Внутреннее проектирование может включать в себя ограничения на ис
пользование регистров и запоминающего устройства.
8.4.4 Принципы проектирования для разработки и реализации модуля программного обеспече
ния на уровне исходного кода, которые перечислены в таблице 8. должны применяться для достиже
ния следующих свойств:
a) корректного порядка выполнения подпрограмм и функций внутри программных модулей, ос
нованных на проекте архитектуры программного обеспечения;
b
) согласованности интерфейсов между модулями программного обеспечения:
c) корректности потока данных и управления между и внутри программных модулей;
d) простоте;
e) читаемости и понимаемости;
f) надежности.
Пример - Методы предотвращения недостоверных значений, ошибок исполнения, де
ления на ноль, и ошибок потока данных и потока управления;
д) пригодности программного обеспечения для модификации;
h) тестируемости.
Т а б л и ц а8 - Принципы проектирования для разработки и реализации модуля программного
обеспечения
Свойства
Ав
УПБА С
D
1а
♦♦+♦++♦+
1Ь
♦+♦♦+♦+
1с
1d
■м- +♦ ♦+ ♦+
♦ +♦ ♦+ ♦+
1е
Одна точка входа и одна точка выхода в подпро
граммах и функциях
Не использовать динамические объекты или пере
менные. либо выполнять тестирование в неавто
номном режиме при их создании а|ь>
Инициализация переменных
Не использовать многократно имена переменных
Избегать глобальных переменных либо обосновы
вать их использование
а)
♦+++♦+
1f
ig
О
+
+ ♦+
♦ +♦ ♦+ ♦+
1h
♦+♦♦+♦+
1i
Ограничивать использование указателей
Исключать неявные преобразования типов
Исключать скрытые потоки данных или потоки
управления С|
Исключать безусловные переходы л>
+♦+♦♦+
J j
___
Исключать рекурсии
+
+
++
♦+
“ Методы 1а. 1b. 1d. 1е. 1f. 1g и 1i нельзя применять для представлений графического моделирования, ис-
пользуемых при разработке на основе модели.
ь>Методы 1д и 1i не применяются при программировании на ассемблере.
Методы 1h и 1i сокращают возможность для моделирования потока данных и потока управления из-за пере-
ходов или глобальных переменных.
15