レビュー情報のインポートの構成
既存の結果からのレビュー情報のインポートを構成する
以前の Polyspace® の結果やソース コードから、ステータス、重大度、その他のコメントや正当化などのレビュー情報をインポートする方法を構成します。
Polyspace Platform ユーザー インターフェイスでは、既定で以前の実行のレビュー情報が現在の実行にインポートされます。ユーザー インターフェイスとコマンド ラインの両方で、別の結果セットからレビュー情報を明示的にインポートすることもできます。
または、標準形式の注釈をソース コードに入力して、レビュー情報を保存できます。以降のソース コード解析では、入力された注釈を読み取り、それを Polyspace の結果にインポートすることができます。非標準形式のコード注釈を入力する場合は、Polyspace がその注釈を認識できるようにするために、形式へのマッピングを指定することもできます。
Polyspace オプション
-import-comments | 以前の解析からレビュー情報をインポート |
-ignore-code-annotations | Polyspace の結果を正当化する C/C++ コード注釈を無視し、すべての結果を未確認として表示 (R2022a 以降) |
-xml-annotations-description | Polyspace 解析結果に対するカスタム コード注釈の適用 |
システム コマンド
polyspace-comments-import | (システム コマンド) 以前の Polyspace 解析からレビュー情報をインポート |
polyspace-results-export | (システム コマンド) CSV や JSON などの外部形式への Polyspace 結果のエクスポート |
トピック
以前の結果またはコードからレビュー情報をインポート
- 以前の Polyspace 解析からレビュー情報をインポート
ステータス、重大度、追加のメモなどの情報を別の Polyspace の結果ファイルからインポートする。 - コードへの注釈付けと既知の結果または許容可能な結果の非表示
既知の問題を正当化するための Polyspace コード注釈構文を確認する。
レビュー情報を保存するためのカスタム コード注釈
- カスタム注釈形式の定義
既知の問題を正当化するための独自のコード注釈構文を作成する。 - 注釈説明用の完全な XML テンプレート
コード注釈構文の定義と Polyspace 注釈構文へのマッピングに使用する XML の要素と属性を確認する。