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

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

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

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

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

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


 
labrus1

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

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


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