${message}

Верификация программного обеспечения является ключевым этапом при разработке систем повышенной надежности. Удовлетворение требований промышленных стандартов разработки ПО повышенной надежности, таких, как DO-178/КТ-178, IEC 61508/ГОСТ Р МЭК 61508, ISO 26262, EN 50128 и других, существенно упрощается при использовании инструментов, автоматизирующих мероприятия верификации.

Верификация программного обеспечения является ключевым этапом при разработке систем повышенной надежности. Удовлетворение требований промышленных стандартов разработки ПО повышенной надежности, таких, как DO-178/КТ-178, IEC 61508/ГОСТ Р МЭК 61508, ISO 26262, EN 50128 и других, существенно упрощается при использовании инструментов, автоматизирующих мероприятия верификации.
В данном вебинаре рассматриваются инструменты верификации LDRA применительно к процессам жизненного цикла ПО, общим для всех стандартов. Затрагиваются следующие аспекты верификации:

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

Поделиться
09 марта
Понедельник

09:00

Прошло

Сферы применения

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

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