КВБ: проверка аппаратных средств, поступающих с помощью разумного и направленного повышения эффективности обучения
arXiv: 2609.19189v1 Сообщение типа: перекрестное резюме: проверка конструкции остается одним из наиболее ресурсоемких этапов разработки оборудования, на который зачастую приходится до 70% всех проектных усилий. Хотя в последнее время была изучена возможность использования моделей Большого языка для автоматизации процесса создания тестов, большинство существующих подходов концентрируются на функциональной корректности с учетом критического аспекта качества охвата. Для преодоления этого пробела мы представляем CovR, агентскую основу для автоматизированного создания тестов, которая сочетает самоотражающие петли с имитируемыми обратной связью в целях максимального охвата. Используя этот трубопровод, мы сооружаем массив данных по 16 514 естественным спецификациям, логическое обоснование РТЛ с помощью мощной педагогической модели, позволяющей следить за охватом. Исходя из этого, мы предлагаем усовершенствовать систему обучения (RL), ориентированную на подготовку тестов с учетом охвата, используя полученные за счет использования инструментов преимущества от моделирования и обратной связи для оптимизации учащихся.
