Main Content

本页翻译不是最新的。点击此处可查看最新英文版本。

工具鉴定与认证

针对 DO 和 IEC 认证对 Polyspace® Code Prover™ 进行鉴定

您可以使用 IEC Certification Kit (for ISO 26262 and IEC 61508)DO Qualification Kit (for DO-178) 鉴定 Polyspace Code Prover 是否符合支持的行业标准,包括 DO-178、ISO 26262: 2018、IEC 61508: 2010、IEC 62304: 2015、ISO 25119: 2018 和 EN 50128: 2011.

主题

  • 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.