Роман Беляев

Инструментарий для контроля качества тестирования функциональности и безопасности операционных систем реального времени

Для проведения качественного тестирования ОСРВ семейства КЛОС, разрабатываемой в ИСП РАН, используется система непрерывной интеграции и развёртывания (CI/CD). Для контроля качества тестирования применяется специальный инструмент для сбора покрытия по коду, встроенный в эту систему. В данном докладе описывается опыт использования llvm-cov в качестве такого инструмента. Для его работы в образ тестируемой программы добавляются счётчики покрытия и блоки кода для обновления этих счётчиков. В работе рассмотрен особый режим легковесного инструментирования, позволяющий оптимизировать потребление памяти, а также описана его доработка. Качественно оценивается, насколько использование двоичных счётчиков вместо накапливающих позволяет повысить производительность инструментируемой системы и снизить потребление памяти. Также в докладе рассматривается использование атомарных счётчиков покрытия и специального протокола выгрузки данных покрытия для предотвращения состояний гонок при обновлении счётчиков в SMP системах.