Eng ИССЛЕДОВАНИЯ ТЕХНОЛОГИИ НОВОСТИ КОНТАКТЫ ССЫЛКИ Карта сайта

 Разработка бортовых и наземных систем информационного обеспечения

НЕЗАВИСИМАЯ ВЕРИФИКАЦИЯ И ВАЛИДАЦИЯ

ГосНИИАС выполняет верификацию и валидацию как независимая третья сторона.

Для более полного понимания требований заказчика и определения объема работ ГосНИИАСу может потребоваться некоторая дополнительная информация.

ГосНИИАС может выполнять следующие виды деятельности: просмотр и обсуждение требований к ПО, просмотр и обсуждение проектной документации ПО, инспекцию кода, функциональное тестирование на соответствие требованиям, структурное покрытие и связанные с этим анализы (т.е. распределение памяти, переполнение памяти, арифметическое переполнение, выполнение граничных условий диапазона и т.д.).

ГосНИИАСу может потребоваться информация об уровне требований, на соответствие которому была написана программа. ГосНИИАС поддерживает спецификации, соответствующие следующим стандартам:

  • RTCA/DO- 178B (уровни от A до E);

  • MIL-STD-498, ISO 9000-3;

  • ISO 9001 & Стандарты, требуемые заказчиком.

ГосНИИАСу может также потребоваться обзор дополнительной документации.

ГосНИИАС готов к разработке или оказанию помощи в разработке любых необходимых  отсутствующих документов:

  • План верификации программного обеспечения;

  • Описание процедур верификации ПО;

  • Отчет о результатах проведения верификации ПО;

  • План сертификации ПО;

  • Сводный отчет о проделанной работе.

ГосНИИАСу потребуется также проведение анализа среды разработки ПО, которая может включать в себя:

  • Язык программирования (Ada, PL/M, C, C++, C#, Delphi, Assembler, SQL, и т.д.);

  • Количество модулей/пакетов и т.д.;

  • Базовая платформа разработки;

  • Коммуникации;

  • Тестовое оборудование:

    • описание тестовых стендов,
    • язык разработки тестов.

ГосНИИАС может оказать услуги по созданию среды разработки.


Тел.: (+7-499) 157-9555, факс: (+7-499) 157-0747; e-mail: gosniias@2100.gosniias.ru.


Назад

© ГосНИИАС - GosNIIAS - 2010-2015