FIXCHECK: инновационный метод анализа исправлений программного обеспечения

Исследователи из IMDEA Software разработали инновационный метод анализа исправлений, получивший название FIXCHECK. Этот метод сочетает в себе элементы статического анализа, случайного тестирования и использование больших языковых моделей (LLM).

В своей статье ученые утверждают, что FIXCHECK способен эффективно выявлять ошибки в исправлениях, что в свою очередь значительно сокращает время и усилия, затрачиваемые на обслуживание программного обеспечения.

Процесс работы FIXCHECK осуществляется в два этапа. На первом этапе генерируются случайные тесты, а на втором — из LLM извлекаются ключевые утверждения, касающиеся каждого теста.

Результаты исследований продемонстрировали, что FIXCHECK успешно выявляет ошибки в 62% неправильно написанных исправлений.