Описание
Инструмент автоматизации анализа структурного покрытия кода COVERest предназначен для проведения анализа структурного покрытия кода, который является обязательным верификационным мероприятием бортового программного обеспечения (ПО) в соответствии с требованиями КТ-178C. Этот инструмент способствует проверке полноты тестового набора, обеспечивая гарантии исчерпывающего тестирования ПО. В зависимости от уровня критичности бортового ПО выделяются три категории полноты покрытия: MC/DC для уровня A, DC для уровня B и SC для уровня C. Дополнительно COVERest выполняет анализ связей компонентов исходного кода по управлению и данным, что позволяет предотвратить переход управления к незапланированным компонентам и несанкционированное изменение данных.
COVERest поддерживает анализ исходного кода на языке C, включая версии C99 и C11, с расширениями, предлагаемых компиляторами GCC и LLVM. Инструмент может быть адаптирован под тестовую среду и функциональность заказчика. Результаты работы COVERest визуализируются в виде интерактивных HTML-отчетов, что обеспечивает наглядность представления данных.
Применение COVERest возможно в гражданской авиации, где важно наличие квалификационного пакета уровня TQL-5 в соответствии с Р-330. Так, COVERest активно используется при разработке сертифицируемой бортовой операционной системы реального времени JetOS, что подчеркивает его значимость в данной области.
Инструмент также предлагает дополнительные компоненты для анализа связей по данным и управлению, что дополнительно усиливает его функциональность и расширяет область применения. Может быть применен для анализа структурного покрытия кода других проектов, что добавляет его универсальности в разработке ПО.
COVERest замещает несколько зарубежных аналогов, таких как LDRA, VectorCAST, Cantata, CTC++, обеспечивая при этом соответствие строгим международным стандартам. Инструмент является интегрированным решением, что позволяет разработчикам и инженерам эффективно применять его в процессе разработки, тестирования и верификации сложных программных систем.
Если вы обнаружили ошибку, пожалуйста, уведомите нас — выделите текст с ошибкой и нажмите клавиши Ctrl+Enter. Отключите блокировщик рекламы, если после нажатия комбинации кнопок не срабатывает всплывающее окно.
