Арыков С.Б.
Модельно-ориентированное проектирование как основа повышения качества встроенного программного обеспечения
В последние годы в российской космонавтике произошло достаточно много аварий, некоторые из них напрямую связаны с ошибками во встроенном программном обеспечении, которые не были обнаружены в многочисленных наземных испытаниях. Одна из возможных причин – недостаточно высокий уровень контроля качества ПО, применяемый на большинстве отечественных предприятий, когда тестовые сценарии по-прежнему выбираются экспертным путём на основе «ощущений» программистов. Новые подходы к тестированию, позволяющие автоматизировать процесс генерации тестов, достаточно давно разработаны, но их применение на практике сталкивается с рядом трудностей.
В работе рассматривается применение модельно-ориентированного проектирования[1,2], гарантирующего качество получаемого программного продукта с помощью автоматической генерации тестового покрытия кода с заданными метриками. На примере разработки и тестирования автомата управления бортовой радиоэлектронной аппаратурой космического аппарата демонстрируются его преимущества и недостатки.
К списку докладов