编码确认
使用 多空间 ® Bug Finder™软件 收件人: 检查是否符合AUTOSAR、CERT ® C/C++、MISRA™C/C++、JSF ® AV C++、CWE™和ISO-17961编码标准。 检查代码是否存在并发问题、安全漏洞、编程错误和其他软件错误。
使用 多空间 代码验证程序™ 要证明代码中没有溢出、被零除、数组和指针访问越界以及其他关键运行时错误。 使用 多空间 测试™ 开发、管理和执行C/C++代码的单元和集成测试。
提交代码前: 在首选IDE中运行单文件分析。 在Polyspace桌面界面中分析整个项目, 或将分析从桌面卸载到服务器 机器。
提交代码后: 对新提交的代码运行完整的项目分析 持续集成(CI/CD)过程的一部分,使用 Jenkins等自动化服务器。 将服务器结果上传到集中的数据库,并 与您的团队一起从网络上查看调查结果 浏览器。
代码验证产品
话题
配合 多空间 产品满足您的软件开发需求
多空间产品和软件开发工作流 (Polyspace Bug Finder) 了解可用于软件开发的Polyspace产品 循环。 多空间错误查找器和多空间代码验证程序之间的差异 (Polyspace Bug Finder) 了解Bug Finder和Code Provider是如何相互补充的,并确定何时在开发工作流中部署每个产品。
检查是否符合编码标准和指南
检查并审查编码标准冲突 (Polyspace Bug Finder) 使用Polyspace Bug Finder检查是否违反AUTOSAR C++14、CERT C、CERT C++、CWE、MISRA C™、MISRA C++、JSF AV C++或ISO-17961标准。 编码标准的多空间支持 (Polyspace Bug Finder) 检查不同编码标准的Polyspace支持。 根据软件质量目标评估多空间代码验证程序结果 (多空间代码校验器) 使用软件质量强制代码提交的质量阈值 目标。
与软件开发工作流集成
提交前检查IDE中的代码质量 (多空间访问) 在Visual Studio中运行单个文件分析并查看结果 ® , Visual Studio代码 或使用Polyspace as You Code扩展的Eclipse™。 使用Jenkins进行多空间分析的示例脚本 (Polyspace Bug Finder) 使用Jenkins的示例脚本提前编写Polyspace运行脚本 ® 插件。 从Polyspace Access Web界面创建错误跟踪工具票证 (多空间访问) 使用Jira软件或Redmine从 多空间 Access™(访问™) 接口。 安装用于将多空间分析从桌面提交到AWS上托管的服务器的产品 (Polyspace Bug Finder) 将Polyspace分析从客户端计算机卸载到安装在AWS云基础设施上的PolyspaceServer。 安装用于将多空间分析从桌面提交到Azure上托管的服务器的产品 (Polyspace Bug Finder) 将Polyspace分析从客户端计算机卸载到安装在Azure云基础设施上的PolyspaceServer。
分析MATLAB代码或Simulink模型生成的代码
对使用嵌入式编码器生成的代码运行多空间分析 (Polyspace Bug Finder) 使用嵌入式编码器生成的检查代码 ® 错误、运行时错误或违反编码规则。 对使用早期版本的Simulink生成的代码运行Polyspace (Polyspace Bug Finder) 分析使用以前版本的Simulink生成的C/C++代码 ® 使用Polyspace的更新版本。 使用打包的选项文件对生成的代码运行多空间分析 (Polyspace Bug Finder) 从Simulink模型生成Polyspace选项文件,并使用这些选项文件分析生成的代码 多空间。 在Simulink模型中对自定义代码运行多空间分析 (Polyspace Bug Finder) 分析手动编写的C/C++代码以检测可能引入的问题 模拟中的运行时错误或bug。 在MATLAB代码生成的C/C++代码上运行多空间 (Polyspace Bug Finder) 对生成的代码运行Polyspace并检查运行时错误。
为工具鉴定和认证创建工件
工具认证 (IEC认证套件) 使用基于模型的设计和MathWorks工具来满足ISO 26262、IEC 61508、IEC 62304、EN 50128、, EN 50657、ISO 25119和IEC 61511目标 IEC认证工具包中的工件概述 (IEC认证套件) 这个 IEC认证工具包 包括认证和资格证明、模板、测试用例、, 和测试程序。 工具鉴定 (DO鉴定工具包) 为涉及DO-178C、DO-254、, 和相关标准 DO鉴定工具包中的工件概述 (DO鉴定工具包) 这个 DO鉴定工具包 包括支持工件、测试用例和测试过程。