+7 (495) 009 65 85

Консультирование и заказные работы по верификации программного кода

Следование промышленным стандартам качества ПО (КТ-178, ГОСТ Р 51904-2002, ГОСТ РВ 0019-001-2006) включает в себя соблюдение следующих требований к исходному коду:

  1. Код должен соответствовать стандарту кодирования
  2. Должны быть получены метрики исходного кода
  3. Код не должен содержать ошибок времени исполнения
  4. Должно быть обеспечено 100% покрытия исходного кода.
  5. Результаты анализа исходного кода на соответствие этим требованиям должны быть задокументированы.

Представляем вашему вниманию услуги по верификации исходного кода. В ходе процесса верификации проводятся мероприятия по установлению стандарта кодирования, количественных метрик качества кода, доказательства отсутствия ошибок времени исполнения, а также по сбору покрытия. Возможен сбор покрытия кода, запущенного на аппаратной платформе.

В результате мероприятий подготавливается пакет документации, состоящий из артефактов верификации.

Состав работ

  1. Установление необходимых характеристик кода и стандарта кодирования
  2. Статический анализ кода
  3. Формальная верификация кода
  4. Сбор покрытия кода
  5. Разработка документов процесса верификации
  6. Обучение и переподготовка инженерного состава

Старая версия сайта доступна по адресу old.exponenta.ru