${message}

${message}

Краткое описание:

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

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

Результаты анализа исходного кода на соответствие этим требованиям должны быть задокументированы.


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

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

Состав работ

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

Задать вопрос

*
Настоящим в соответствии с Федеральным законом № 152-ФЗ «О персональных данных» от 27.07.2006, отправляя данную форму, вы подтверждаете свое согласие на обработку персональных данных . Мы, ООО ЦИТМ "Экспонента" и аффилированные к нему лица, гарантируем конфиденциальность получаемой нами информации. Обработка персональных данных осуществляется в целях эффективного исполнения заказов, договоров и пр. в соответствии с «Политикой конфиденциальности персональных данных». * - обязательные поля