Polyspace製品紹介

早期段階でのソフトウェアの欠陥の検出、さらに形式手法によるランタイムエラーがない証明を可能とするコード静的解析ツールPolyspaceをご紹介します。

また、そのツールを使ったコード検証作業の効率化、モデルベースデザインプロセスの中での使用方法についてもハイライトします。ソフトウェア品質やセキュリティに対する注目が増加するソフトウェアに関する検証作業の効率化に関心のある方にお勧めです。

Polyspace Bug Finderはプログラムを実行することなく、オーバーフローなどのソフトウェアの欠陥や、セキュリティ脆弱性の検出をスピーディに解析します。本ビデオでは、Polyspace Bug Finderの概要についてご紹介します。

Polyspace Code Proverはプログラムを実行することなく、コードに実行時エラーがないことを証明します。本ビデオでは、Polyspace Code Proverの概要についてご紹介します。

コード静的解析ツールのPolyspaceを使ったコード検証作業の効率化、モデルベースデザインプロセスの中での使用方法についてハイライトします。ソフトウェア品質やセキュリティに対する注目が増加するソフトウェアに関する検証作業の効率化に関心のある方にお勧めです。

コード静的解析ツールのPolyspaceを使用したセキュリティ脆弱性とセキュアコーディングスタンダード、形式手法を用いた実行時エラー検出とコード証明についてハイライトします。組み込みシステムの安全性とセキュリティにご関心のある方にお勧めです。