FIXCHECK: инновационный метод анализа исправлений программного обеспечения
, Источник: techxplore.com , Источник фото: freepik.com
Исследователи из IMDEA Software разработали инновационный метод анализа исправлений, получивший название FIXCHECK. Этот метод сочетает в себе элементы статического анализа, случайного тестирования и использование больших языковых моделей (LLM).
В своей статье ученые утверждают, что FIXCHECK способен эффективно выявлять ошибки в исправлениях, что в свою очередь значительно сокращает время и усилия, затрачиваемые на обслуживание программного обеспечения.
Процесс работы FIXCHECK осуществляется в два этапа. На первом этапе генерируются случайные тесты, а на втором — из LLM извлекаются ключевые утверждения, касающиеся каждого теста.
Результаты исследований продемонстрировали, что FIXCHECK успешно выявляет ошибки в 62% неправильно написанных исправлений.
