ГОСТ Р ИСО 26262-6—2014
Окончание таблицы 13
Методы
УПБА
АВСD
1е
+
+++++
Сравнительное испытание между моделью и кодом, если
оно применимо
"Данный метод реализуется на основе требований к программному обеспечению на уровне архитектуры.
’ Они включает в себя введение произвольных неисправностей для тестирования механизмов безопасности
(например, путем повреждения программного обеспечения либо компонентов аппаратных средств).
с|Для обеспечения выполнения требований проектом архитектуры аппаратных средств с достаточной устой
чивостью должны быть определены свойства, такие как средняя и максимальная производительность процес
сора. минимальное или максимальное время выполнения, использование памяти (например. ОЗУ для стека и
динамически распределяемых областей памяти. ПЗУ для программ и данных) и пропускная способность ком
муникационных линий (например, шин данных).
1Некоторые аспекты теста использования ресурсов могут быть оценены правильно, только когда тестирова
ние интеграции программного обеспечения выполняется на целевых аппаратных средствах или если эмулятор
целевого процессора поддерживает тесты использования ресурсов.
Данный метод требует модель, которая может имитировать функциональные возможности компонентов про
граммного обеспечения. На вход модели и кода подаются одинаковые данные, а результаты сравниваются
друг с другом,___________________________________________________________________________________
10.4.4Для получения подходящих тестов для методов тестирования интеграции программного
обеспечения в соответствии с требованиями 10.4.3 должны быть использованы методы, перечислен
ные в таблице 14.
Т а б л и ц а1 4 - Методы получения тестов для тестирования интеграции программного обеспече
ния
Методы
А
УПБА
ВСD
1аАнализ требований
1ЬГенерация и анализ классов эквивалентности
*’
1сАнализ граничных значений
♦++++++♦
♦++++++
♦♦+++++
1dПредположение ошибок4
♦
+
+♦
" Классы эквивалентности могут быть определены на основе разделения входных и выходных данных так.
чтобы тестовые значения выбирались из каждого класса.
Данный метод применяется к параметрам или переменным, значения которых приближаются и пересекают
границы, а также выходят за границы диапазона значений.
с Испытания с предположением ошибсж могут быть основаны на данных, полученных из «обобщения опыта» и
экспертной оценки.______________________________________________________________________________
10.4.5 Для оценки полноты тестов и получения уверенности в том. что непреднамеренная
функциональность отсутствует, должен быть определен охват требований тестами на уровне архи
тектуры программного обеспечения. При необходимости должны быть специфицированы дополни
тельные тесты, либо должно быть предусмотрено обоснование.
10.4.6 Данное требование распространяется на значения УПБА (А). (В). С и D в соответствии с
4.3. Для оценки полноты тестов и получения уверенности в том. что непреднамеренная функцио
нальность отсутствует, должно быть измерено структурное покрытие в соответствии с метриками,
перечисленными в таблице 15. Если достигнутое структурное покрытие считается недостаточным, то
либо должны быть специфицированы дополнительные тесты, либо должно быть предусмотрено
обоснование.
Пример - Анализ структурного покрытия может выявить недостатки в контроль
ных примерах при тестировании на основе требований, несоответствия в требованиях,
неисполняемый код, выводящий из строя код или непреднамеренную функциональность.
Т а б л и ц а15 - Метрики структурного покрытия на уровне архитектуры программного обеспечения
Методы
А
УПБА
ВсD
1аПокрытие функций
1ЬОхват вызовов 31
+♦+♦+♦
++♦ ++ ♦♦
Метод 1а оценивает процент выполненных функций в программном обеспечении. Эта величина может быть
получена применением соответствующей стратегии интеграции программного обеспечения.
" Метод 1b оценивает процент выполненных вызовов функций программного обеспечения._________________
21