Main Content

代码验证

让关键代码安全可靠

开发人员和质量工程师可以使用 MathWorks® 提供的代码验证产品来检测生成的或手动编写的 C/C++ 代码中的软件 Bug 和其他质量问题:

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

  • 使用 Polyspace Bug Finder™ 来:

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

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

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

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

  • 在提交代码前:

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

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

  • 在提交代码后:

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

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

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

主题

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

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

与软件开发工作流集成

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

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

  • Tool Certification Artifacts (IEC Certification Kit)
    The certification artifacts include product-specific templates, test cases, and test procedures.
  • Tool Qualification Artifacts (DO Qualification Kit)
    The qualification artifacts include product-specific templates, test cases, and test procedures.