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

В работе рассматриваются проблемы тестирования бортовых операционных систем реального времени. Для поиска ошибок на различных этапах жизненного цикла ПО данного класса предлагается применить методы фаззинг-тестирования. Для осуществления данной задачи исследованы современные подходы применения фаззинга и рассмотрены особенности жизненного цикла бортовых систем гражданской авиации. В работе описываются как детали реализации отдельных низкоуровневых шагов, таких как процессы генерации тестовых данных, получения обратной связи и фиксации возникающих аномалий, так и подходы высокого уровня, такие как применение методов тестирования защищённости, построение модели угроз, поиск и приоритизация точек взаимодействия с окружающей средой, определение приоритетов риска для целевой системы. Для практической реализации концепции использован прототип ARINC~653 совместимой бортовой ОСРВ JetOS, для которой приводятся потенциальные точки взаимодействия и способы для их фаззинг-тестирования. Представлен пример реализации системы фаззинг-тестирования для стадии интеграции компонентов, рассматривающий вопрос доверия к стороннему оборудованию и поставляемым производителем драйверам.