Polyspace就是你的代码

的Polyspace®产品系列现在提供了专2022世界杯八强谁会赢?门为软件开发人员设计的功能:Polyspace就是你的代码.该特性将Polyspace Bug Finder的代码检查功能引入到集成开发环境(ide)中,从而避免在软件开发周期的后期发现Bug。

在开发周期后期发现bug的成本

软件bug可以在开发的不同阶段检测到。虽然有些bug只在集成阶段出现,但大量的bug可以在更早的时候被发现。一旦发现bug就立即修复,可以节省开发周期中稍后的调试任务。

下面的图表显示,随着开发周期的推进,修复缺陷的成本呈指数增长。在开发周期的编码阶段发现和修复缺陷的成本效益更高。

Polyspace就是你的代码

Polyspace就是你的代码

Polyspace as You Code允许您在向源代码存储库提交代码更改之前检查代码质量。通过将Polyspace as You Code作为插件或扩展安装,您可以在您熟悉的IDE或编辑器环境中运行Polyspace。插件可用于诸如Visual Studio之类的ide®、Visual Studio Code或Eclipse™。您还可以使用简单的API将Polyspace as You Code与其他ide或编辑器集成。

Polyspace as You Code分析被修改的文件(按需或保存),从构建环境中提取分析设置。然后在IDE中直接报告新的漏洞和编码规则违反。当您想要专注于提高代码的质量时,您可以检查文件中已经存在的结果。例如,在Visual Studio Code中,在你的C或c++文件被分析之后,你可能会看到如下所示的缺陷报告:

Polyspace就是你的代码

对于PAYC报告的每个发现,您可以获得广泛的上下文信息,以帮助理解漏洞的根本原因,例如:

  • 缺陷的简要描述:隐式转换会导致溢出。
  • 涉及的数据类型:将无符号整数变量(大小为32位)转换为另一种无符号整数类型(大小为16位)。
  • 预期值:无符号整数类型(大小:16位)的期望范围是[0…]65535]。
  • 实际值:该变量获得的实际值高于预期值。
  • 相关的事件:该问题出现在第138行。与这个问题相关的另一行是第134行上的赋值。记住,您可能需要修复前一行上的错误,而不是问题的直接位置。

有了这些详细信息,以及显示可能修复的上下文敏感帮助,您现在就可以解决错误了。如果您的修复工作,那么令牌上的突出显示将在下次保存代码时消失。

您可以使用Polyspace作为您的代码在您的IDE中执行其他相关操作。例如,如果您决定不修复某个问题,您可以通过单击添加特定于polyspace的代码注释来验证结果。如果您的质量管理过程要求您修复或证明所有漏洞或特定类型的编码规则违反,那么这是一个有用的工具。当您在IDE中进行开发时,那些在开发周期后面冗长乏味的过程现在可以以更少的努力完成。此外,代码审查员可以验证您的理由,使代码评审过程更有效率。

如果将Polyspace as you Code安装连接到Polyspace Access服务器,则可以使用该服务器上的最新运行作为IDE中结果的基线。这样,您的IDE只显示自上次服务器运行以来由代码更改直接引起的结果,而隐藏遗留代码中已经存在的问题。您还可以临时禁用基线,并查看当前文件中的所有问题。

与其他Polyspace产品一样,Poly2022世界杯八强谁会赢?space as You Code的关键特性是完全可定制的。

  • 不喜欢默认的检查器?你可以设置你想要的检查器。您还可以通过共享公共检查器文件来维护整个团队或组织的标准。
  • 不想对每次保存都运行分析?您可以在保存时禁用自动分析,并在IDE中显式地任意运行分析。
  • 想在运行分析时使用您的脚本吗?您可以将Polyspace设置为You Code,以绕过IDE插件选项,并在每次保存时运行您的脚本。

Polyspace代码如何防止后期bug

Polyspace as You Code通过使您能够尽快发现和修复漏洞并实施编码标准来防止后期错误。这是通过提供易于使用的代码检查功能来实现的:

  • 不需要上下文切换Polyspace as You Code检测IDE中打开的当前文件中的软件漏洞、编码标准违反、过于复杂的代码和其他问题,并突出显示相关的源代码标记。突出显示的内容与您在IDE中看到的语法错误类似。悬停在突出显示的令牌上会显示问题的其他细节,因此您可以调查并快速修复它。
  • 快速跑: Polyspace as You Code在正在编辑的当前文件上运行。这些运行比完整的项目分析要快,并产生直接和有意义的结果。
  • 最小的设置要求: Polyspace as You Code从你的IDE中提取所有需要的信息(假设你的IDE已经设置好构建你的源代码)。执行代码分析所需的设置工作是最少的。
  • 工具自动运行:每次您保存代码时,Polyspace as you code会在后台运行,并显示由您的最新更改引起的任何错误或编码标准违反。没有记住运行该工具的开销。

总之,Polyspace as You Code使您能够开发更快、更高质量的C和c++代码。代码分析功能可以直接在编码环境中使用,只要修改了代码就可以立即运行。因此,关于代码漏洞和代码质量的反馈循环尽可能短,并减少了花在代码评审上的时间。

您可以将Polyspace as You Code与Polyspace Server产品一起使用,进行组件级或系统级的代码分析。2022世界杯八强谁会赢?Polyspace as You Code允许您在提交到代码库之前删除单个单元缺陷或编码规则违反,而Polyspace Server产品在提交后可以在持续集成管道中运行,并检测更复杂的集成问题。2022世界杯八强谁会赢?这是在开发项目的整个生命周期中,在所有开发人员和团队中保持代码质量水平较高的最有效方法。

有关更多信息,请参见的发行说明Polyspace错误发现者.Polyspace as You Code在R2021a发布。

Baidu
map