УДК 004.413
ТЕХНОЛОГИЯ ЖИЗНЕННОГО ЦИКЛА AI-АССИСТИРОВАННОЙ РАЗРАБОТКИ ПРОГРАММНЫХ ПРОДУКТОВ С КОНТРОЛЕМ ПРОСЛЕЖИВАЕМОСТИ ТРЕБОВАНИЙ
П. В. Горшков, аспирант факультета программной инженерии и компьютерной техники, Университет ИТМО, Санкт-Петербург, Россия;
orcid.org/0009-0008-5173-7981, e-mail: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.
И. А. Бессмертный, д.т.н., профессор факультета программной инженерии и компьютерной техники, Университет ИТМО, Санкт-Петербург, Россия;
orcid.org/0000-0001-6711-6399, e-mail: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.
Языковые модели ускоряют разработку, однако стабильность поставки при этом падает: узкое место сместилось с написания кода на проверку результата. Цель работы – повысить управляемость жизненного цикла программных продуктов, создаваемых малыми командами с языковыми моделями, за счёт технологии, в которой каждый переход между стадиями оформляется артефактом, а цепочка «требование – задание модели – артефакт – проверка» контролируется измеримым показателем. Задачи: формализовать прослеживаемость как управляемое свойство цикла и ввести показатели покрытия прослеживаемости и наблюдаемости управленческих решений, определить условие перехода между стадиями, построить модель ожидаемых потерь от разрывов, оценить рациональный объём работы на одно обращение к модели, проверить технологию экспериментом. Предложены граф прослеживаемости и два показателя: покрытие, задающее условие перехода между стадиями, и наблюдаемость управленческих решений. Проведён контролируемый эксперимент: четыре режима по три независимых прогона, эталонный набор из 45 приёмочных испытаний, сравнение прогонов на 300 случайных входах; отдельная серия на укрупнённой спецификации сверена с контрольной реализацией на 500 входах. При полной спецификации оба режима дают 100 % пройденных испытаний независимо от формы и объёма постановки. При неполной постановке доля пройденных испытаний падает до 43,0 %, полнота реализации требований – до 11,9 %. Технология не улучшает генерацию, зато поднимает наблюдаемость управленческих решений с 11,9 до 92,9 % и выявляет в среднем 27,7 допущения на прогон, подлежащих согласованию с заказчиком. Расчёт по модели потерь даёт снижение ожидаемых затрат на устранение спецификационных разрывов в 5 – 10 раз.
Ключевые слова: управление IT-проектами, жизненный цикл программного обеспечения, большие языковые модели, прослеживаемость требований, AI-ассистированная разработка, промториентированная постановка, наблюдаемость решений, декомпозиция задач, малые команды разработчиков.