Опубликована обзорная статья, описывающая направления и достижения UniTESK Lab в тестировании программного обеспечения встроенных систем авионики.

Обзорная статья «Тестирование программного обеспечения встроенных систем авионики» формулирует основные цели процесса тестирования, основанного на требованиях, в применении к программному обеспечению встроенных систем авионики с повышенными требованиями к отказоустойчивости. Описываются опыт и результаты создания тестовых наборов для двух стандартов, реализуемых в операционных системах реального времени для авионики: ARINC-653 и POSIX. Предлагаются направления и способы применения технологии UniTESK и процесса FOREST для обеспечения работ по тестированию программного обеспечения встроенных систем авионики в рамках стандарта DO-178B с целью облегчения сертификации программных систем по этому стандарту.
Полный текст статьи в формате PDF.