AutoAssert 1: A LoRA Fine-Tuned LLM Model for Efficient Automated Assertion Generation

## Контекст В современном программном обеспечении, требования к качеству и надежности программного обеспечения становятся все более высокими. Одним из ключевых аспектов гарантии качества является автоматическое генерирование ассертов, которые позволяют проверить соответствие программного кода заданным требованиям. Однако существуют существующие проблемы, такие как высокая стоимость развития и обслуживания автоматических систем тестирования, а также трудности в создании точных ассертов, которые полностью отражают логику жесткого диска. Эти проблемы мотивируют развитие эффективных систем генерирования ассертов, которые могут оптимизировать подход к тестированию и обслуживанию программного обеспечения. ## Метод Методом генерирования ассертов, предложенным в статье, является сочетание методы трансформации языка (LLM) с методом генерирования ассертов на основе языка описания оборудования (HDL). Основной архитектурой является модель трансформации языка, которая была оптимизирована с помощью метода LoRA (Low-Rank Adaptation). Эта модель была применена к фреймворку Unsloth для автоматического генерирования ассертов. Фреймворк Unsloth обеспечивает интегрированный подход к генерированию ассертов, снижая стоимость развития и обслуживания, а также повышая точность и общеупотребительность. ## Результаты В ходе экспериментов было показано, что модель AutoAssert 1 была успешно применена для автоматического генерирования ассертов, демонстрируя высокую точность и эффективность. Использовались данные из реальных проектов, включая тесты на различных типах оборудования. Результаты показали, что модель соответствует требованиям логики жесткого диска и имеет эффективность, которая позволяет значительно снизить стоимость тестирования и производства. ## Значимость AutoAssert 1 может применяться в различных сферах, таких как тестирование программного обеспечения, тестирование оборудования, а также в области генерирования ассертов для автоматизации тестовых процессов. Одним из основных преимуществ является снижение затрат на разработку и обслуживание, а также увеличение точности и скорости генерирования ассертов. Это может привести к значительному повышению эффективности и доступности технологий тестирования и обслуживания. ## Выводы Выводы AutoAssert 1 - это высокоэффективная и гибкая модель для автоматического генерирования ассертов, которая позволяет оптимизировать процесс тестирования и обслуживания программного обеспечения. Будущие исследования будут направлены на повышение точности, снижение стоимо