Polyspace R2021a有什么新功能?

Polyspace的2021a版本®s manbetx 845产品对许多现有的工作流进行了改进。例如，你可以:

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

下面将进一步了解这些特性和其他特性。

改进的支持AUTO万博1manbetxSAR集成和基于组件的分析

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

要使您的集成分析具有autosar感知，您可以:

  • 选择autosar为新库的使用（图书馆)选项。分析对AUTOSAR库中的函数使用智能存根，而不是通用存根，并且不尝试检查函数实现。使用这个选项可以在不降低精度的情况下进行更快的分析，并且它会对函数调用触发特定于库的检查。
  • 确定来自RTE API的函数的参数是否遵循AUTOSAR标准规范。分析会用新的运行时检查标记这些违规不符合AUTOSAR规范．例如，如果一个函数需要一个已初始化的缓冲区，如果通过指针传递一个未初始化的缓冲区，则检查为红色。

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

你可以使用这个列表:

  • 确定分析是否精确地模拟给定的RTE API函数，并检查函数参数是否符合AUTOSAR标准和相关的设计规范
  • 从RTE API函数或事件名称导航到AUTOSAR标准中的函数描述

参见:

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

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

参见:

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

在R2021a中，Polyspace Code prove支持对包万博1manbetx含混合C和c++源文件的项目进行分析。指定C-CPP时源代码语言(-lang)选项，Polyspace用C编译项目的C文件，用c++编译c++文件。编译后，Polyspace验证诸如c++项目之类的混合项目。您不再需要将C文件从c++项目中分离出来才能成功编译项目。

改进了与Simulink的集成万博1manbetx

使用R2021a，您可以分析在早期版本的Simulink中生成的代码万博1manbetx®通过使用Polyspace的更新版本。使用的函数pslinkrunCrossRelease为了启用这个交叉发布的工作流。Polyspace版本必须高于Simulink版本，且Simulink必须为R2020b或更高万博1manbetx版本。

参见:

Polyspace访问Web界面的改进

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

Polyspace访问审查

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

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

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

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

    当您比较两个项目运行时，您可以过滤并查看来自基线运行的源代码和结果细节，这些结果在当前运行中是固定的。使用此筛选器查看基线运行中先前发现的详细信息，这些信息已不在当前运行中。

看到将分析结果与以前的运行进行比较．

Polyspace访问安装

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

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

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

  • 简化许可证管理:

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

其他功能

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

  • 万博1manbetx支持Visual Studio 2019和GCC版本8。x编译器
  • 万博1manbetx支持额外的AUTOSAR c++ 14、CERT c++规则和MISRA c++规则
  • 更少的步骤集成Polyspace与当前或早期版本的MATLAB®和仿真软万博1manbetx件
  • 能够开始对生成的代码进行Polyspace分析，而无需先显式地生成代码
  • 在Admin用户界面中改进了Polyspace Access服务的日志记录

具体发布说明如下: