Квалификация DO-330 расширенного инструмента структурного покрытия LLVM — Минджи Пак и Соджин Ким

Квалификация расширенного инструмента структурного покрытия LLVM по стандарту DO-330 — Минджи Пак и Соджин Ким, компания Boeing Структурное покрытие выявляет части кода, которые не были проверены во время тестирования, что критически важно для надежности критически важных для безопасности приложений. Инструменты, используемые в этом процессе верификации, должны быть аттестованы для уверенного использования. В этом докладе рассказывается о текущих усилиях Boeing по сертификации расширенного инструмента структурного покрытия LLVM, решения с открытым исходным кодом, на соответствие стандартам RTCA DO-330. Наша цель — использовать этот инструмент для получения данных о покрытии и выполнения требований к покрытию кода, изложенных в RTCA DO-178C для критически важного для безопасности программного обеспечения авионики. Этот доклад связан с сессией «Измерение покрытия кода ядра Linux в соответствии с требованиями RTCA DO-178C», представленной на Североамериканском саммите Embedded Open Source Summit 2024. В докладе будет представлен обзор требований DO-330 и описаны этапы нашей квалификации, включая валидацию и верификацию. Эти усилия направлены на то, чтобы данные, генерируемые инструментом, считались надёжным доказательством соответствия целям DO-178C. Кроме того, мы обсудим сложности, возникшие при квалификации этого инструмента с открытым исходным кодом, и подходы, которые мы использовали для их преодоления.