ГОСТ Р ИСО 26262-6—2014
П р и м е ч а н и е - MISRA С (для языка С) [3] включает многое из методов, перечисленных в таблице 8.
8.4.5Разработка и реализация модуля программного обеспечения должны быть верифициро
ваны в соответствии с требованиями раздела 9 ИСО 26262-8, применяя методы верификации, приве денные
в таблице 9, чтобы продемонстрировать:
a) соответствие со спецификацией программно-аппаратного интерфейса (в соответствии с тре
бованиями 6.4.10 ИСО 26262-5);
b
) выполнение требований безопасности к программному обеспечению при их распределении
модулям программного обеспечения (в соответствии с требованиями 7.4.9). используя прослежива
ние;
c) соответствие исходного кода его проектной спецификации
П р и м е ч а н и е - В случав разработки на основе модели требование перечисления с) все еще при
меняется;
d) соответствие исходного кода принципам кодирования (см. 5.5.3);
e) совместимость реализации модуля программного обеспечения с целевыми аппаратными
средствами.
Т а б л и ц а 9 - Методы верификации разработки и реализации модуля программного обеспечения
Методы
А
УПБА
ВсD
1а
1Ь
1с
1d
1е
1f
!
1h
Сквозной контроль
Проверка (контроль)
Полуформальная верификация
Формальная верификация
Анализ потока управленияв,с’
Анализ потока данных
ас
Статический анализ кода
Семантический анализ кода
а>
+♦♦
О0
+ +♦ ♦♦ ♦+
+♦ ♦♦ ♦+
Оо
♦
+
+♦ ♦+
+♦♦♦♦+
+ +♦♦+++
+♦ ♦ +
В случае разработки программного обеспечения на основе модели разработка и реализация модуля про
граммного обеспечения может быть верифицирована на уровне модели.
Ь| Методы 1е и 1f могут быть применены на уровне исходного кода. Эти методы применимы как для руковод
ства разработкой кода, так идля разработки на основе модели.
’’Методы 1е и 1f могут быть частью методов 1d, 1g или 1h.
61Метод 1h используется для математического анализа исходного кода, используя абстрактное представление
возможных значений для переменных. Для этого не нужно транслировать и выполнять исходный код.
________
П р и м е ч а н и е - В таблице 9 перечислены только статические методы верификации. Динамические
методы верификации (например, методы тестирования) рассмотрены в таблицах 10 - 12.
8.5 Результаты работы
8.5.1 Спецификация проекта модулой программного обеспечения
В результате выполнения требований 8.4.2 - 8.4.4.
П р и м е ч а н и е- В случае разработки на основе модели, модель реализации и документально
оформленная поддержка, используя методы, перечисленные в таблице 8. специфицируют модули программного
обеспечения.
8.5.2 Реализация модулей программного обеспечения
В результате выполнения требований 8.4.4.
8.5.3 Отчет о верификации программного обеспечения (уточненный)
В результате выполнения требований 8.4.5.
9 Тестирование модуля программного обеспечения
9.1 Цель
Целью требований данной подстадии является демонстрация того, что программный модуль
удовлетворяет спецификации проекта модуля программного обеспечения и не содержит нежелатель-
16