有什么新的Polyspace R2021a吗?

2021年Polyspace的释放^®下载188bet金宝搏产品增加了许多改进现有的工作流。例如,您可以:

• 上运行更快的分析和观点更精确结果C / c++代码,使用AUTOSAR RTE API
• 运行Polyspace代码验证™分析一个项目,该项目包含一个混合的C和c++源文件
• 减少代码的软件复杂性的新的可定制的的指导方针跳棋

改进的AUTOSA金宝appR集成和支持基于组件的分析

2021年释放Polyspace代码验证运行更快,更精确的结果在C / c++代码使用AUTOSAR RTE API。如果你想检查只对AUTOSAR标准的遵从性(除了常规Polyspace代码验证运行时检查),不需要特殊设置为C / c++代码符合AUTOSAR规范。

让你AUTOSAR-aware集成分析,您可以:

• 选择autosar为新库的使用(图书馆)选项。AUTOSAR的分析使用智能存根函数库,而不是通用的存根和并不试图检查函数实现。使用这个选项允许更快的分析在不损失精度和触发方式检查函数调用。

• 确定一个函数的参数从RTE API遵循AUTOSAR标准规范。分析国旗这些违反新运行时检查不符合AUTOSAR规范。例如,如果一个函数需要一个初始化缓冲,检查是红色的,如果你通过未初始化的缓冲区的指针。

此外,如果你运行一个基于组件的分析对AUTOSAR Polyspace,现在分析结果包含一系列公认RTE API函数和事件。查看列表,单击ReleaseNote在左边的导航链接。

减少与新准则检查软件的复杂性

在R2021a Polyspace错误发现者™引入了一个新的类别的跳棋指导方针。这个类别包含定制软件复杂性跳棋,检查各种可量化的代码复杂性度量,如路径和圈复杂度的数量。使用这些检查检测复杂的模块在开发周期的早期减少后重构工作。

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

在R2021a Polyspace代码验证支持分析的项目包含一个混金宝app合的C和c++源文件。当你指定的C-CPP源代码语言(朗)选项,Polyspace编译项目的C文件在C语言中,在c++和c++文件。编译后,Polyspace验证等混合项目c++项目。你不再需要单独的C文件从一个c++项目成功编译项目。

Polyspace访问Web界面的改进

在R2021a Polyspace访问web界面介绍新功能改善安装和检查工作流。

Polyspace访问审查

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

  创建自定义过滤器来定制你的审查范围的家庭相关的结果只有你的项目或组织。你可以分享与其他Polyspace访问用户定制的过滤器。

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

• 视图之前发现固定在当前运行:

  当你比较两个项目运行时,您可以过滤和视图的源代码和结果细节发现从基线是固定在当前运行运行。使用这个过滤审查之前发现的细节从基线不再在当前运行运行。

Polyspace访问安装

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

  通常,LDAP服务器限制条目的数量,他们返回的结果集。如果条目的数量超过限制,结果集被截断。启用LDAP分页时从LDAP服务器中检索所有条目查询大量的用户。

  看到从你的组织的LDAP服务器验证用户身份。

• 简化许可证管理:

  如果你分析结果上传到Polyspace访问数据库,它不触发Polyspace访问许可结帐。如果你上传的结果作为一个自动化脚本的一部分,你不再使用许可脚本运行时。

其他功能

除了这些主要特性,R2021a提供了其他改进,如:

• 金宝app支持Visual Studio 2019和GCC version 8。x编译器
• 金宝app支持额外的AUTOSAR c++ 14, CERT c++规则和MISRA c++规则
• 更少的步骤与当前或更早版本的Polyspace MATLAB集成^®和仿真软金宝app件
• 能力开始Polyspace分析生成的代码没有明确首先生成代码
• 改善Polyspace访问服务的日志管理用户界面

详情,请参阅以下发布说明:

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