Polyspace R2021a有什么新功能?

Polyspace的2021a版本^®下载188bet金宝搏产品对许多现有工作流程进行了改进。例如，你可以:

• 在使用AUTOSAR RTE API的C/ c++代码上运行更快的分析并查看更精确的结果
• 在一个混合了C和c++源文件的项目上运行Polyspace Code Prover™分析
• 使用新的自定义功能降低代码的软件复杂性的指导方针跳棋

对AUTOSAR集金宝app成和基于组件的分析的改进支持

Polyspace Code Prover的2021a版本在使用AUTOSAR RTE API的C/ c++代码上运行更快，显示更精确的结果。如果您只想检查是否符合AUTOSAR标准(除了常规的Polyspace Code Prover运行时检查)，则不需要对遵循AUTOSAR规范的C/ c++代码进行特殊设置。

要使集成分析支持autosar，您可以:

• 选择autosar为新库的使用（图书馆)选项。该分析使用智能存根来处理AUTOSAR库中的函数，而不是泛型存根，并且不尝试检查函数实现。使用此选项可以在不降低精度的情况下实现更快的分析，并在函数调用时触发特定于库的检查。

• 确定RTE API中的函数参数是否符合AUTOSAR标准规范。分析用新的运行时检查标记这些违规不符合AUTOSAR规范．例如，如果一个函数需要一个已初始化的缓冲区，那么如果你通过指针传递一个未初始化的缓冲区，这个检查就是红色的。

此外，如果您使用AUTOSAR的Polyspace运行基于组件的分析，那么分析结果现在将包含一个已识别的RTE API函数和事件的列表。要查看列表，请单击ReleaseNote链接在左侧导航栏中。

使用新的指南检查器降低软件的复杂性

在R2021a中，Polyspace Bug Finder™引入了一个名为指导方针。这个类别包含可定制的软件复杂度检查器，用于检查各种可量化的代码复杂度指标，如路径数量和圈复杂度。使用这些检查器在开发周期的早期检测复杂的模块，以减少后期的重构工作。

分析混合了C和c++源文件的项目

在R2021a中，Polyspace Code Prover支持对金宝app包含C和c++混合源文件的项目进行分析。指定C-CPP时源代码语言(-lang)选项，Polyspace用C编译项目的C文件，用c++编译c++文件。编译完成后，Polyspace会验证c++项目等混合项目。为了成功地编译项目，您不再需要将C文件与c++项目分离。

Polyspace访问Web界面的改进

在R2021a中，Polyspace Access web界面引入了新的功能，以改进安装和审查工作流程。

Polyspace访问审查

• 定义和共享自定义过滤器:

  创建自定义的过滤器系列，以将审查的范围调整为只与项目或组织相关的结果。然后，您可以与其他Polyspace Access用户共享定制的过滤器。

有关更多信息，请参见:在Polyspace访问Web界面中创建自定义过滤器组．

• 在当前运行中查看以前的发现:

  当您比较两个项目运行时，您可以筛选和查看源代码和结果详细信息，以获得在当前运行中固定的基线运行的结果。使用此筛选器可查看当前运行中不再存在的基线运行中先前发现的详细信息。

Polyspace访问安装

• 使用LDAP服务器时配置分页:

  通常，LDAP服务器会限制它们在结果集中返回的条目数量。如果条目数量超过该限制，则结果集将被截断。当查询大量用户时，启用LDAP分页以从LDAP服务器检索所有条目。

  看到从您的组织LDAP服务器验证用户．

• 简化许可证管理:

  如果您将分析结果上传到Polyspace Access数据库，它不会触发Polyspace Access许可证检查。如果将结果作为自动化脚本的一部分上传，则在脚本运行时不再使用许可证。

其他功能

除了这些主要功能，R2021a还提供了其他改进，如:

• 金宝app支持Visual Studio 2019和GCC版本8。x编译器
• 金宝app支持额外的AUTOSAR c++ 14, CERT c++规则，和MISRA c++规则
• 将Polyspace与当前或更早版本的MATLAB集成的步骤更少^®和仿真软金宝app件
• 能够启动生成代码的Polyspace分析，而无需显式生成代码
• 改进了管理用户界面中的Polyspace Access服务的日志记录

详细信息请参见以下版本的发布说明:

• Polyspace错误发现者
• Polyspace代码验证
• Polyspace Bug查找服务器
• Polyspace代码验证服务器
• Polyspace Bug查找器访问
• Polyspace代码验证器访问