主要内容

编码确认

使关键代码更安全

MathWorks的代码验证产品®使开发人员和质量工程师能够检测软件错误，检查运行时错误，运行功能测试，并在生成或手动编写的C/C++代码中发现其他质量问题：

  • 使用多空间®Bug Finder™软件收件人：

    • 检查是否符合AUTOSAR、CERT®C/C++、MISRA™C/C++、JSF®AV C++、CWE™和ISO-17961编码标准。

    • 检查代码是否存在并发问题、安全漏洞、编程错误和其他软件错误。

  • 使用多空间代码验证程序™要证明代码中没有溢出、被零除、数组和指针访问越界以及其他关键运行时错误。

  • 使用多空间测试™开发、管理和执行C/C++代码的单元和集成测试。

检查分析结果后，生成可定制的报告，以记录软件开发周期不同阶段的软件质量，并根据预定义的目标对其进行度量。

您可以在开发周期的不同阶段运行Polyspace产品：

  • 提交代码前：

    • 在首选IDE中运行单文件分析。

    • 在Polyspace桌面界面中分析整个项目，或将分析从桌面卸载到服务器机器。

  • 提交代码后：

    • 对新提交的代码运行完整的项目分析持续集成（CI/CD）过程的一部分，使用Jenkins等自动化服务器。

    • 将服务器结果上传到集中的数据库，并与您的团队一起从网络上查看调查结果浏览器。

您可以从本地或云平台上的计算机运行Polyspace分析例如Azure®或AWS®.

话题

配合多空间产品满足您的软件开发需求

检查是否符合编码标准和指南

与软件开发工作流集成

分析MATLAB代码或Simulink模型生成的代码

为工具鉴定和认证创建工件

  • 工具认证（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鉴定工具包包括支持工件、测试用例和测试过程。