チェック レビューの優先順位
この例は、チェック レビューに優先順位を付ける方法を示します。以下の方法を試してください。オレンジ チェック レビューを整理するための独自の手続きを作成することもできます。
ヒント
レビューをしやすくするために、最初にソース コードに対して Polyspace® Bug Finder™ を実行します。Polyspace Bug Finder により検出された欠陥に対処後、コードに対して Polyspace Code Prover™ を実行します。
チェックのレビューを開始する前に、次の手順を実行します。
[ダッシュボード] ペインの [検証でカバーされたコード] グラフを参照してください。[ファイル]、[関数] および [コード操作] の各列に 100% に近い値が表示されているかどうかを確認します。そうでない場合、Polyspace がコードをカバーできなかった理由を特定します。
詳細については、コードがチェックされない理由を参照してください。相当数の関数またはコード操作がカバーされなかった場合、原因の特定および修正後に検証を再度実行します。
正しい構成を使用したかどうかを確認します。[ダッシュボード] ペインでリンク [結果の構成を表示] を選択します。
特に複数の構成間で切り替えている場合、意図せずに誤った構成を検証に使用する可能性があります。
[結果のリスト] ペインのツール バーの左にあるドロップダウン リストから、[Critical checks] を選択します。
この操作によりレッド、グレーおよび重要なオレンジ チェックのみが保持されます。
進む矢印
をクリックして、最初のレビューされていないチェックに移動します。このチェックをレビューします。 詳細については、Polyspace デスクトップ ユーザー インターフェイスでの Code Prover の結果の解釈を参照してください。
すべてのチェックのレビューが完了するまで、進む矢印をクリックし続けます。
オレンジ チェックをレビューする前に、レッドおよびグレーのチェックをレビューします。
オレンジ チェックのレビューは、以下により優先度を決めます。
ファイルおよび関数: レビューをより容易にするために、オレンジ チェックが "より少ない" ファイルおよび関数からオレンジ チェックのレビューを開始します。
ファイルおよび関数ごとに非オレンジ チェックの割合を表示するには、[結果のリスト] ペインで、
のリストから [ファイル] を選択します。列ヘッダーを右クリックし、[%] を選択します。チェックの種類: 以下の順序でオレンジ チェックをレビューします。この順でやっていくと、チェックのレビューの難易度が上がっていきます。
レビューの順序 チェック 1 番目 2 番目 3 番目 残りのチェック オレンジ チェックのソース: 単一の変数または関数に起因するすべてのオレンジ チェックをレビューします。オレンジ チェックは、値が未定義のコードや、関数で決定できない変数から発生することが多い。
上位のソースをレビューするには、[ダッシュボード] タブ、もしくは [オレンジ ソース] タブの、[上位 5 個のオレンジ ソース] グラフを見ます。また、どちらかのタブのオレンジ ソースを選択して、そのソースが原因で生じるオレンジ チェックのみを確認することもできます。詳細については、オレンジ ソースを使用するフィルターを参照してください。
結果の詳細: 同じ原因で発生するすべての結果をレビューします。場合によっては、[結果のリスト] ペインの [詳細] 列に結果に関する追加情報が表示されることがあります。たとえば、複数の問題が同じコーディング ルール違反をトリガーしている場合、この列にその問題が表示されます。列ヘッダーをクリックして、同じタイプの原因から発生する結果をグループ化します。結果をまとめてレビューします。
すべてのレッド チェックおよび重要なオレンジ チェックを処理したことを確実にするには、検証を再実行して結果を表示します。
レッド チェックまたは正当化されない、重要なオレンジ チェックがない場合、[結果のリスト] ペインのツール バーの左にあるドロップダウン リストから [All results] を選択します。
求める品質レベルに応じて、重要でないオレンジ チェックをレビューするかどうかを選択できます。詳細については、Polyspace Code Prover でのオレンジ チェックの管理を参照してください。
正当化済みチェックが何パーセントであるかを確認するには、以下の手順に従います。
色およびタイプで分類された割合を見るには、[結果のリスト] ペインで、
のリストから [ファミリ] を選択します。ファイルおよび関数で分類された割合を見るには、[ファイル] を選択します。[正当化済み] 列のエントリを表示します。
