Задача
В тесном сотрудничестве с внутренней командой заказчика инженеры Ауриги провели всестороннюю верификацию, тестирование и сбор артефактов для подготовки проприетарной ОСВР на базе UNIX, используемой в авионике, к сертификации DO178-B.
Особенности проекта
- Тестирование на основе требований
- Тестирование покрытия, включая требования, дизайн и покрытие кода.
- Разработка случаев и процедур верификации (Verification Cases and Procedures, VC&P)
- Модифицированное покрытие условий/решений (Modified Condition/Decision Coverage, MC/DC)
- Прослеживаемость между требованиями, дизайном, кодом, VC&P и результатами
Результаты
- ОСВР клиента успешно прошла сертификацию DO-178B.
- ОСВР развернута на миллионах устройств по всему миру, в том числе на аэрокосмических и военных системах.
- Аурига успешно прошла ряд внешних аудитов, проведенных лицензированным экспертом RTCA.
