УДК 004.05
Верификация программного обеспечения на моделях в рамках гибкой методологии разработки
А.С. Худолей, аспирант
Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ»
За последнее десятилетие популярность гибких методологий разработки быстро выросла. Все чаще данные методологии используются при разработке программного обеспечения в различных направлениях.
Гибкие методологии нацелены на минимизацию рисков и адаптацию к изменениям требований. Данные цели достигаются путем сведения разработки к серии коротких циклов - итерациям, которые длятся одну- четыре недели. Итерация включает все шаги процесса, необходимые для выдачи небольшой части функциональности: планирование итерации, ана-лиз требований, проектирование, реализация, тестирование, демонстрация. Не всегда новая часть функциональности разрабатывается за одну итерацию, но подразумевается, что гибкий программный продукт готов к вы¬пуску в конце каждой итерации.
Для обеспечения качества программного обеспечения используются различные методы верификации. Эти методы позволяют выявить ошибки на разных этапах разработки. Особенно актуальна верификация ранних этапов жизненного цикла, поскольку на этих этапах затраты на исправление ошибок значительно меньше, чем на поздних этапах.
В рамках гибкой методологии разработки программного обеспечения. верификация имеет важнейшее значение. Она позволяет получить оценку качества результатов проекта, как конечных, так и промежуточных. Именно оценка качества служит основной информацией для оценки продвижения к целям проекта, планирования следующих итераций, принятия решений о прекращении проекта или передаче его результатов заказчику.
В последнее время, для решения задач верификации программного обеспечения, активно развиваются методы динамической верификации на основе моделей.
В рамках гибкой методологии разработки программного обеспечения методов динамической верификации на основе моделей позволяют Уменьшить временные затраты следующих задач:
1) выбор оптимального проектного решения;
2) принятие или отклонение нового требования;
3) оценка производительности. надежности, переносимости.
*Научный руководитель д.т., профессор, А.В. Горбенко
Нет похожих статей