Сертификация и верификация ПО

Лаборатория "Верификация и гарантия качества ПО" выполняет независимую верификацию, обратное проектирование, гарантию качества ПО и квалификацию инструментов, а также разработку пакета программных документов для сертификации/аттестации ПО в соответствии с требованиями документов КТ-178В, DO-178B/ED-12B, DO-278/ED-109 и ГОСТ Р 51904-2002.

Верификация ПО (в том числе в качестве агентства независимой верификации ПО) включает:

  • планирование (план верификации, план тестирования/испытаний, методы и инструменты верификации);
  • рассмотрения/просмотры, анализы и инспекции;
  • модульное тестирование исходного кода Ада, Си и Ассемблер;
  • интеграционное тестирование.

Обратное проектирование - восстановление процессов и данных разработки ПО на основе требований к системе и исходного кода.

Гарантия качества ПО - организация процесса гарантии качества ПО, включая проведение аудиторских проверок.

Квалификация инструментов включает разработку, поставку и верификацию инструментов разработки/верификациии ПО (средств трассировки, проверки кода, генерации тестовых примеров и процедур, средств документирования).

Разработка пакета программных документов в виде законченных документов или шаблонов для сертификации (аттестации) ПО.

Лаборатория «Верификация и гарантия качества ПО» обеспечивает методологическую поддержку разработчика в течение жизненного цикла ПО.

Наличие высококвалифицированных специалистов, использование лицензионных пакетов программ, а также 10-летний опыт работы, позволяют выполнять различные проекты для критических систем с высоким качеством и в срок.

Лаборатория расположена в городе Жуковский (25 км от МКАД на юго- восток).

Руководитель лаборатории – к.т.н., с.н.с., эксперт-аудитор АР МАК
Ильин Виктор Александрович.
Наши координаты:
Россия, 140185, Московская обл.,
г.Жуковский, ул.Туполева, 18,
НИИАО
тел./факс: (7095)556-5906, (7095)556-5442
e-mail ilyin@niiao.com