ФОРМАЛИЗАЦИЯ И МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ТРЕБОВАНИЙ К СИСТЕМАМ АВИОНИКИ ДЛЯ АВТОМАТИЗАЦИИ РАЗРАБОТКИ ТЕСТОВ
В статье рассматриваются вопросы автоматизации разработки тестов для систем авионики. Автоматизацию разработки тестов предлагается проводить на основе формализации и моделирования требований к ним. Использование в изделии готовых модулей «Off-the-shelf» ускоряет процесс проектирования, но накладывает более жесткие требования к разработке и управлению требованиями на изделие, которые служат основой для планирования, управления, приемочного тестирования, корректировки изделия. На классической V-модели формирования требований при реализации сложного проекта показано, что требования тесно связаны с тестированием, которое направлено на выявление и предотвращение дефектов в системе, при этом дефект рассматривается как отклонение от требований. Приведен пример формализации и моделирования требований по отображению кадра пилотажной информации в комплексной системе электронной индикации и сигнализации. Исходя из полученной модели и формального представления требований составлена структура конечного теста для системы. Предложенный подход позволяет сократить время на тестирование и отладку системы, повысить ее качество в смысле большего соответствия требованиям.