Polyspace Code Prover

認証アーティファクトの作成

Polyspace Bug Finder および Polyspace Code Prover を IEC Certification Kit (for IEC 61508 and ISO 26262) および DO Qualification Kit (for DO‑178B) とともに使用することで、これらの業界規格に準拠したプロジェクトの認定プロセスを実施できます。

レポートとアーティファクトには、コードの最終品質が示され、レビュー対象のセクションが強調表示され、コード メトリクスが生成され、コーディング ルールのアプリケーションとランタイム エラーのステータスが記載されます。これらのレポートは、PDF、HTML、RTF などの形式で作成できます。

DO Qualification Kit contents.
Certification Kit および Qualification Kit を利用可能。

製品評価版の入手または製品の購入

評価版 Polyspace Code Prover

評価版ソフトウェアを入手する

モデルとコードのテスト検証

Web セミナーを表示する