組込みソフトウェアテスト・静的解析ツール部門で注目
Polyspace Code Prover
マスワークス合同会社
C/C++の実行時エラーが無いことを証明する静的解析
MathWorksのC/C++向け静的解析ツール。抽象解釈を使い、プログラムの実行やテストケースなしで、オーバーフロー、ゼロ除算、配列の範囲外アクセスなどの実行時エラーの有無を確かめ、重大な実行時エラーが存在しないことを証明する。タスク間で共有するグローバル変数への同時アクセス、デッドコードや到達できない分岐も検出する。結果はソースコード上に色分けして表示し、変数がとりうる範囲をツールチップで示す。60以上のC/C++コンパイラに対応し、手書きのコードとSimulinkで生成したコードの両方に使える。IEC 61508とISO 26262に沿った使用についてTÜV SÜDの認証を得ている。CI向けのPolyspace Code Prover Serverもある。
製品のポイント
- 実行時エラーの不在の証明
- 色分けした結果表示
- 共有変数とデッドコードの検出
この製品は情報のみ掲載中で、資料請求の対象外です。
Polyspace Code Proverの評価・機能・価格
製品概要
| 対象従業員規模 | 全ての規模に対応 | 対象売上規模 | 全ての規模に対応 |
|---|---|---|---|
| 対象従業員規模 | 全ての規模に対応 | ||
| 対象売上規模 | 全ての規模に対応 | ||
| 提供形態 | パッケージソフト | ||
| 参考価格 | 別途お問い合わせ | ||
| 参考価格補足 | 公式サイトに価格の掲載なし（要問い合わせ） | ||
製品詳細
製品詳細
MathWorksのC/C++向け静的解析ツール。抽象解釈を使い、プログラムの実行やテストケースなしで、オーバーフロー、ゼロ除算、配列の範囲外アクセスなどの実行時エラーの有無を確かめ、重大な実行時エラーが存在しないことを証明する。タスク間で共有するグローバル変数への同時アクセス、デッドコードや到達できない分岐も検出する。結果はソースコード上に色分けして表示し、変数がとりうる範囲をツールチップで示す。60以上のC/C++コンパイラに対応し、手書きのコードとSimulinkで生成したコードの両方に使える。IEC 61508とISO 26262に沿った使用についてTÜV SÜDの認証を得ている。CI向けのPolyspace Code Prover Serverもある。
強み・弱み
強み：テストケースなしで、重大な実行時エラーが存在しないことを証明できる／結果をソースコード上に色分けし、変数がとりうる範囲も示すため、確認作業を進めやすい／IEC 61508・ISO 26262に沿った使用でTÜV SÜDの認証を得ており、60以上のコンパイラに対応する
弱み：価格が公式サイトに掲載されておらず、構成ごとの見積もりが必要／コーディング規約のチェックや一般的なバグ検出はPolyspace Bug Finderの役割で、両製品を組み合わせて使う場面が多い
合う企業/合わない企業・FAQ
合う企業：安全上重要なコードで実行時エラーが無いことを示したい／Simulinkの生成コードも含めて検証したい
合わない企業：コーディング規約のチェックだけをしたい／価格を公開情報で比べて選びたい
Q.テストケースは必要ですか？
A.不要です。プログラムを実行せず、コードの計装やテストケースなしで解析します。
Q.どのような実行時エラーを確かめますか？
A.オーバーフロー、ゼロ除算、配列の範囲外アクセスなどです。共有変数への同時アクセスやデッドコードも検出します。
仕様・動作環境
| API連携可否 | - |
|---|---|
| 導入企業カスタム有無 | - |
価格・料金
参考価格：別途お問い合わせ
公式サイトに価格の掲載なし（要問い合わせ）
価格・料金プランを見る企業情報
- 会社名
- マスワークス合同会社（製造業）
- 住所
- 東京都港区赤坂
評価・掲載基準について
専門家分析
製造業IT導入の専門知識と現場実績に基づき、各製品の機能・実装難度・製造業への適合性を独自の観点で分析しています。
独立評価
掲載ベンダーからの広告費・報酬は評価スコアに影響しません。評価軸（生産管理・品質管理・コスト管理等）は編集部が独自に設定しています。
データ検証
公開仕様書・導入事例など複数のソースを照合し、記載情報の正確性を定期的に検証・更新しています。
