Инструментарий для контроля качества тестирования функциональности и безопасности операционных систем реального времени (Роман Беляев, OSDAY-2026)

Короткая ссылка: 20260605L

Докладчик: Роман Беляев

Как объективно понять, достаточно ли хорошо протестирована RTOS после изменения кода?
Измеряем структурное покрытие: строки, ветви, условия и особенно MC/DC — критерий, важный для ответственных систем в авиации, автомобилестроении и промышленной автоматике. На примере llvm-cov разбирается полный цикл сбора покрытия во встраиваемой ОС: инструментирование кода, загрузка образа на целевое устройство, выполнение тестов, выгрузка данных покрытия на хост, формирование и анализ отчёта.
Ограничения целевых платформ: мало памяти, отсутствие файловой системы для записи, работа через UART/I2C/SPI, SMP и невозможность «нормального завершения» программы.
Доработки для снижения накладных расходов: легковесный режим без загрузки метаданных, двоичные счётчики, атомарные операции для потокобезопасности и специальный протокол синхронизации ядер при выгрузке покрытия.
Измерения производительности и памяти на QorIQ P3041.