代码验证

确保关键代码安全可靠

来自MathWorks的代码验证产品2022世界杯八强谁会赢？^®使开发人员和质量工程师能够在生成的或手动编写的C/ c++代码中检测软件bug和其他质量问题:

使用Polyspace^®代码验证™证明代码中没有溢出、除零、数组和指针访问越界以及其他关键的运行时错误。
使用Polyspace错误发现者™:
- 检查是否符合AUTOSAR, CERT的要求^®C / c++, MISRA^®C / c++, JSF^®AV c++和ISO-17961编码标准。
- 检查代码的并发性问题、安全漏洞、编程错误和其他软件错误。

在您检查分析结果之后，生成可定制的报告来记录您在软件开发周期的不同阶段的软件质量，并根据预定义的目标度量它们。

您可以在开发周期的不同阶段运行Polyspa2022世界杯八强谁会赢？ce产品:

在代码提交:
- 在您首选的IDE中运行单文件分析。
- 在Polyspace桌面界面中分析整个项目，或将分析从桌面卸载到服务器机器。
在代码提交:
- 通过使用Jenkins等自动化服务器，在新提交的代码上运行完整的项目分析，作为持续集成(CI/CD)过程的一部分。
- 将服务器结果上传到一个集中的数据库，并与您的团队一起从web浏览器查看结果。

您可以在本地或Azure等云平台上的机器上运行Polyspace分析^®或AWS^®．

2022世界杯八强谁会赢？用于代码验证的产品

通过静态分析识别软件bug

证明软件中没有运行时错误

证明源代码中没有运行时错误

Polyspace产2022世界杯八强谁会赢？品和软件开发工作流(Polyspace Bug仪)
了解可以在软件开发生命周期中使用的Polys2022世界杯八强谁会赢？pace产品。
Polyspace Bug Finder和Polyspace代码验证器的区别(Polyspace Bug仪)
找出Bug查找器和代码验证器是如何相互补充的，并确定何时在开发工作流中部署每个产品。
Polyspace台2022世界杯八强谁会赢？式机和服务器产品(Polyspace Bug仪)
了解不同的Polyspace产品。2022世界杯八强谁会赢？

检查是否违反编码标准(Polyspace Bug仪)
检查违反AUTOSAR c++ 14, CERT C, CERT c++， MISRA C^®、MISRA c++、JSF AV c++或ISO-17961标准的Polyspace Bug Finder。
编码标准的Polyspace支持(Polyspace Bug仪)
检查Polyspace对不同编码标准的支持。
根据软件质量目标评估Polyspace代码验证器的结果(Polyspace代码验证)
使用软件质量目标执行代码提交的质量阈值。

提交前检查IDE中的代码质量(Polyspace Bug仪)
在Visual Studio中运行单个文件分析并检查结果^®，Visual Studio代码，或使用Polyspace作为You Code扩展的Eclipse™。
Jenkins的多空间分析示例脚本(Polyspace Bug仪)
用Jenkins插件的示例脚本开始编写Polyspace运行脚本。
从Polyspace Access Web界面创建Bug跟踪工具票据(Polyspace Bug仪)
跟踪发现与Jira软件或Redmine从Polyspace访问™接口。
安装用于将多空间2022世界杯八强谁会赢？分析从桌面提交到AWS托管的服务器的产品(Polyspace Bug仪)
将Polyspace分析从客户端机器卸载到安装在AWS云基础设施上的Polyspace Server。
安装用于从桌面向2022世界杯八强谁会赢？托管在Azure上的服务器提交多空间分析的产品(Polyspace Bug仪)
将Polyspace分析从客户端机器卸载到安装在Azure云基础设施上的Polyspace Server。

对用嵌入式编码器生成的代码运行Polyspace分析(Polyspace Bug仪)
检查用嵌入式编码器生成的代码^®用于bug、运行时错误或违反编码规则。
在使用以前版本的Simulink生成的代码上运行Polyspace(Polyspace Bug仪)
分析使用以前版本的Simulink生成的C/ c++代码^®Polyspace的新版本
使用打包的选项文件对生成的代码运行Polyspace分析(Polyspace Bug仪)
从Simulink模型生成Polyspace选项文件，并使用这些选项文件通过Polyspace分析生成的代码。
在Simulink模型中运行自定义代码的Polyspace分析(Polyspace Bug仪)
分析手动编写的C/ c++代码，以检测可能在模拟中引入运行时错误或bug的问题。
在MATLAB代码生成的C/ c++代码上运行Polyspace(Polyspace Bug仪)
在生成的代码上运行Polyspace并检查运行时错误。