結果の解釈に関する問題のトラブルシューティング

Code Prover のレッド チェックまたはオレンジ チェックの根本原因の特定

Polyspace^® ユーザー インターフェイスの機能を使って検証結果をさらに詳しく調査する。

コードがチェックされない理由

検証によってコードのかなりの部分に対してランタイム エラーがチェックされない理由を診断する。

Polyspace 結果に一部のファイルまたは関数が表示されない原因の特定

検証結果にファイルまたは関数の一部を表示できない理由を診断する。

Avoid Red Checks in Unreachable Code When Using C++ STL Containers

Work around a Code Prover imprecision on STL containers such as std::map, std::vector, and std::list.

標準ライブラリの数学関数での Polyspace の過大近似の修正

検証結果で想定どおりに動作していない標準ライブラリの数学関数を診断する。

コードからモデルへの移動のトラブルシューティング

生成された C/C++ コードから Simulink^® モデル内の対応するブロックへの移動に関する問題を診断する。

Polyspace 解析結果へのカスタム注釈形式適用時のエラーの修正

Polyspace 解析結果に対するカスタム コード注釈を適用する際のエラーをトラブルシューティングします。

Polyspace 実行時の問題に関するテクニカル サポートへのお問い合わせ

MathWorks^® テクニカル サポートが問題を診断するために、どのような情報を必要とするかを学ぶ。