Компьютерная наука > Проектирование программного обеспечения [представлено 26 октября 2026 года] Название: CIVER: Проверка вмешательства при каузальных контактах для надежного обзора кода PDF HTML (экспериментального) резюме: Обзор кода имеет важное значение для поддержания хранилищ программного обеспечения путем выявления дефектов, повышения качества кодов и поддержки надежной эволюции программного обеспечения. В связи с все более широким внедрением средств кодирования на основе ЛМЗ эти агенты вносят все большее число вкладов в коды и изменений в репозитории. В связи с этим все более широкое распространение приобретают агенты по обзору кодов на основе УУЗР для оценки их вклада и поддержания качества программного обеспечения. Вместе с тем эксперты, проводящие обзор на МУЗ, часто проводят продолжительные обзоры по многочисленным потенциальным вопросам, многие из которых являются ложными положительными или не содержат достаточных доказательств. Такие ненадежные обзоры могут ввести в заблуждение разработчиков и агентов кодирования, что может мотивировать необходимость проведения различия между результатами исковых требований и неподтвержденными требованиями. Мы предлагаем CIVER, основанная на причинно-следственной связи система, которая определяет основные вопросы, лежащие в основе выводов по итогам обзора кодов и проводит различие между подлинными дефектами и ложными положительными результатами. CIVER объединяет три модуля: модуль обзора оценивает результаты, модуль…
CIVER: проверка причинно-следственной связи на предмет надежного пересмотра кода
arXiv:2610.36001v1 Вид уведомления: перекрестное резюме: обзор кода имеет важное значение для поддержания хранения программного обеспечения путем выявления дефектов, повышения качества кода и поддержки надежной эволюции программного обеспечения. В связи с все более широким внедрением средств кодирования на основе ЛМЗ эти агенты вносят все большее число вкладов в коды и изменений в репозитории. В связи с этим все более широкое распространение приобретают агенты по обзору кодов на основе УУЗР для оценки их вклада и поддержания качества программного обеспечения. Вместе с тем эксперты, проводящие обзор на МУЗ, часто проводят продолжительные обзоры по многочисленным потенциальным вопросам, многие из которых являются ложными положительными или не содержат достаточных доказательств. Такие ненадежные обзоры могут ввести в заблуждение разработчиков и агентов кодирования, что может мотивировать необходимость проведения различия между результатами исковых требований и неподтвержденными требованиями. Мы предлагаем CIVER, основанная на причинно-следственной связи система, которая определяет основные вопросы, лежащие в основе выводов по итогам обзора кодов и проводит различие между подлинными дефектами и ложными положительными результатами. ЦИВЕР ИТЕГРА