自动代码审查在爱立信的应用：一次经验报告-计算机科学-大语言模型-代码审查-程序分析.pdfVIP

自动代码审查在爱立信的应用：一次经验

报告

ShwetaRameshJoyBoseHamenderSinghAkRaghavan

EricssonEricssonEricssonEricsson

Bangalore,IndiaBangalore,IndiaBangalore,IndiaBangalore,India

Shweta.Ramesh@joy.bose@hamender.singh@ak.raghavan@

SujoyRoyChowdhuryGiriprasadSridharaNishrithSaini

EricssonEricssonEricsson

Bangalore,IndiaBangalore,IndiaStockholm,Sweden

本sujoy.chowdhury@giriprasad.sridhara@nishrith.saini@

译RicardoBritto

中Ericsson

1

vStockholm,Sweden

5ricardo.britto@

1

1

9

1

.

7

0摘要—代码审查是确保发布软件质量的主要手段之一，与代码审查对于确保软件系统的质量和可维护性至

5测试和静态分析并重。然而，代码审查需要有经验的开发人员，关重要。它们是检测错误、改进代码设计和促进团队成

2他们可能并不总是有时间进行深入的代码审查。因此，自动化代

:员间知识分享的重要机制。尽管如此，由于需要编程专

v码审查可以帮助减轻有经验的软件开发人员的认知负担，使他们

i业知识、领域知识以及最重要的时间投入，代码审查对

x能够专注于编写新功能和修复错误等主要活动。在本文中，我们

r被选中审查代码的开发人员来说可能具有挑战性。这些

a描述了我们在爱立信使用大型语言模型（LLMs）来实现代码审

查过程自动化的经验。我们介绍了利用LLMs和静态程序分析审查通常会给开发人员带来显著的认知负担，并且高度

开发轻量级工具的过程。然后，我们描述了与有经验的开发人员依赖资深开发人员的可用性，使其成为开发生命周期中

进行初步实验以评估我们的代码审查工具，并取得了令人鼓舞的的瓶颈。此外，花在代码审查上的时间减少了资深开发

结果。人员对其主要职责（即开发新功能和修复错误）的时间

IndexTerms—代码审查，大型语言模型，程序分析，自

投入。

动化代码审查，LLM，llama

生成式人工智能，特别是大型语言模型，在软件工

程中自动执行众多任务方面变得非常流行，这些任务从

I.介绍

编写代码到测试都包括在内。在这篇论文中，我们探讨

有多种正交且相互补充的技术来确保软件的质量。了使用大型语言模型自动生成爱立信代码的代码审查。

通常，这些方法包括动态执行被测试软件以检测错误的特别地，我们依赖于一种相对轻量级的方法，该方法避

软件测