Інтелектуальна система аналізу специфікацій вимог до програмного забезпечення на основі технологій великих мовних моделей

Abstract

Бакалаврська робота на тему - Інтелектуальна система аналізу специфікацій вимог до програмного забезпечення на основі технологій великих мовних моделей. Мета роботи: розробка інтелектуальної системи аналізу специфікацій вимог до програмного забезпечення на основі великих мовних моделей для автоматизованого виявлення, класифікації та усунення функціональних неоднозначностей. Об’єкт дослідження - процес аналізу та верифікації специфікацій вимог до програмного забезпечення. Предмет дослідження - методи, моделі та алгоритми виявлення і усунення неоднозначностей у програмних вимогах із використанням великих мовних моделей. В першому розділі проведено аналіз природи та класифікації неоднозначностей у програмних вимогах і обґрунтовано доцільність застосування великих мовних моделей для їх виявлення В другому розділі розроблено теоретичні основи та алгоритмічні підходи до побудови інтелектуальної системи аналізу вимог на базі LLM В третьому розділі сформовано методологію побудови навчального корпусу та анотування даних для задачі аналізу специфікацій В четвертому розділі реалізовано програмну систему аналізу та рефакторингу вимог із використанням великих мовних моделей Висновок: розроблено інтелектуальну систему, що підтверджує ефективність застосування великих мовних моделей для автоматизації аналізу та підвищення якості специфікацій програмних вимог