Тестирование инструментов для анализа покрытия по метрике MC/DC на соответствие требованиям стандарта DO-178B и пояснениям к нему

Е.А.Герлиц. Начало семинара - 10 декабря 2012 г.

Стандарт DO-178B содержит требования к процессам разработки бортового ПО воздушных судов гражданской авиации. Бортовое ПО подлежит обязательной сертификации, в ходе которой проверяется соответствие процессов разработки ПО требованиям стандарта. Помимо прочего стандарт определяет MC/DC - структурный критерий тестового покрытия на основе потока управления. Стандарт требует, чтобы исходный код наиболее критичных с точки зрения надежности модулей бортового ПО был покрыт функциональными тестами по MC/DC. В связи со сложностью обеспечения покрытия по MC/DC в реальной практике разработки бортового ПО для измерения покрытия используют специализированные программные инструменты. Целью настоящей работы является выявление ограничений и слабых мест данных инструментов.

С презентацией доклада можно ознакомиться здесь.

Семинар группы

Технологии программирования

Перейти к списку семинаров ИСП РАН