АО "АБРИС" проводит работы по разработке, верификации и тестированию ПО различных авиационных приборов в основном для западных компаний в строгом соответствии с требованиями RTCA/DO-178C. АО "АБРИС" имеет большой опыт сертификации ПО различных авиационных приборов западных зарубежных компаний в EASA и FAA.

АО "АБРИС" проводит большой объем работ по модульному тестированию ПО. Подход к тестированию блока базируется на использовании инструментальных средств программного обеспечения, позволяющих автоматически формировать тестовые драйверы и "заглушки" (stubs). Результирующая программа может тестироваться на стандартных средствах PC и на целевых средствах конкретного процессора (симуляторе, отладочной плате).

Тесты подготавливаются вручную на принципах полноты эквивалентности и соответствуют требованиям RTCA/DO-178C или КТ-178C. Контроль полноты структурного охвата тестов выполняется автоматически. Рассмотрение и анализ требований разработанного проекта программного обеспечения низкого уровня проводятся на стадии разработки методик испытаний (тестов). Для каждого модуля результаты верификации подробно резюмируются в специальной опросной форме, чтобы гарантировать выполнение всех требований, перечисленных в таблице А-7 документа КТ-178C.

АО "АБРИС" обладает специальными инструментальными средствами, обеспечивающими автоматизацию тестирования (IBM Rational Test RealTime и Cantata (IPL), а также симуляторами для различных типов процессоров для тестирования модулей и автоматического контроля полноты охвата.

Применение:

• Модульное тестирование ПО Топливно-измерительных систем, разработанных компанией SAFRAN S.A. (Франция) для различных западных самолетов и вертолетов;
• Верификация и модульное тестирование ПО Датчиков обнаружения льда, разработанных компанией MEGGITT S.A. (Швейцария) для различных восточных и западных самолетов и вертолетов;
• Верификация и модульное тестирование ПО Систем контроля и балансировки роторов, разработанных компанией MEGGITT S.A. (Швейцария) для различных западных вертолетов;
• Разработка, верификация и модульное тестирования модификаций ПО Высотомеров, разработанных компанией AMETEK AEROSPACE (США) для различных западных самолетов.