Main Content

代码验证

使关键代码更加安全可靠

MathWorks® 提供了一系列代码验证产品,开发人员和质量工程师可以使用这些产品来检测软件 Bug,检查运行时错误,运行功能测试以及查找生成的或手动编写的 C/C++ 代码中的其他质量问题:

  • 使用 Polyspace® Bug Finder™ 来:

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

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

  • 使用 Polyspace Code Prover™ 来证明您的代码中没有溢出、被零除、数组和指针访问越界及其他严重的运行时错误。

  • 使用 Polyspace Test™ 来针对 C/C++ 代码开发、管理以及执行单元测试和集成测试。

在查看分析结果后,您可以生成可自定义的报告来记录在软件开发周期不同阶段的软件质量,并根据预定义的目标对它们进行测量。

您可以在开发周期的各个阶段运行 Polyspace 产品:

  • 在提交代码前:

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

    • 在 Polyspace 桌面界面中分析整个工程,或将分析工作负载从桌面转移到服务器上。

  • 在提交代码后:

    • 作为持续集成 (CI/CD) 过程的一部分,使用 Jenkins 等自动化服务器对新提交的代码运行完整的工程分析。

    • 将服务器结果上传到一个集中式数据库,并通过 Web 浏览器与您的团队一起查看结果。

您可以从本地计算机或云平台(如 Azure® 或 AWS®)运行 Polyspace 分析。

主题

使用相应的 Polyspace 产品来满足您的软件开发需求

检查是否符合编码标准和规范

与软件开发工作流集成

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

为工具鉴定与认证创建交付物

  • Tool Certification (IEC Certification Kit)
    Use Model-Based Design and MathWorks tools to meet ISO 26262, IEC 61508, IEC 62304, EN 50128, EN 50657, ISO 25119, and IEC 61511 objectives
  • Overview of the Artifacts in the IEC Certification Kit (IEC Certification Kit)
    The IEC Certification Kit includes certification and qualification evidence, templates, test cases, and test procedures.
  • Tool Qualification (DO Qualification Kit)
    Qualify MathWorks verification tools for projects involving the DO-178C, DO-254, and related standards
  • Overview of Artifacts in DO Qualification Kit (DO Qualification Kit)
    The DO Qualification Kit includes support artifacts, test cases, and test procedures.