メインコンテンツ

このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

Polyspace Access Web インターフェイスでの重大度による順位付けと結果の割り当て

Polyspace® Access™ には、チームとの共有やコラボレーション レビューを実施するために Polyspace 解析結果を保存できる一元的なデータベースが用意されています。解析結果を Polyspace Access にアップロードしたら、一般的な次の手順は、結果をフィルターしてチーム メンバーに割り当てることです。Polyspace Access ダッシュボードと、結果にアクセスするためのリンクを使用します。フィルターを使用して、割り当てる結果を確認したり、並べ替えたりできます。

  1. Web ブラウザーを使用して、Polyspace Access Web インターフェイスにログインします。

  2. 左側の [プロジェクト エクスプローラー] を開き、プロジェクト実行を選択します。プロジェクトはファイル-フォルダー構成でリストされます。プロジェクト フォルダーには、さらにサブフォルダーや個々のプロジェクト実行を含められます。アップロードした結果に対する検索を行うには、[プロジェクト エクスプローラー] の最上位にフィルターを使用します。結果を選択すると、[プロジェクトの概要] ダッシュボードが開き、結果が表示されます。

    フォルダーを選択すると、そのフォルダー内のすべてのプロジェクト実行の統計をまとめたものがダッシュボードに表示されます。

Polyspace Access Web インターフェイス ダッシュボードのナビゲート

[プロジェクト エクスプローラー] でプロジェクト実行を選択すると、[プロジェクトの概要] ダッシュボードが開き、結果が表示されます。[プロジェクトの概要] ダッシュボードには、以下を含むプロジェクトのスナップショットが表示されます。

  • 現在存在している調査結果。

  • 調査結果のタイプとステータス。

  • 未解決の調査結果の経時的な追跡。

ダッシュボードは以下の複数のセクションに分かれています。

  • 概要

    [概要][プロジェクトの概要] ダッシュボードのメイン セクションであり、プロジェクトのスナップショットが表示されます。このセクションには、[未解決の問題][コード メトリクス][品質目標][欠陥] (Bug Finder のみ)、[実行時チェック] (Code Prover のみ)、および [コーディング規約] を表示するカードが含まれています。

  • トレンド

    [トレンド] セクションには、未解決の調査結果の数が経時的にグラフ表示されます。プロジェクト実行を選択すると、プロジェクトにアップロードされた最初の実行から現在選択している実行までの期間の未解決の調査結果の経時的なトレンドがグラフに表示されます。トレンド ラインの各ドットが、プロジェクト実行を表します。

  • 詳細

    [詳細] セクションは、ユーザーがテーブルでプロジェクトを詳しく調べられるようになっています。このテーブルには、コーディング規約違反の合計数と各違反のステータスが表示されます。欠陥のステータスと数が表示されます (Bug Finder のみ)。グローバル変数のステータスと数が表示され、レッド チェック、グレー チェック、オレンジ チェック、およびグリーン チェックが表示されます (Code Prover のみ)。テーブル エントリをクリックすると、対応する結果が [結果のリスト] に表示されます。

[概要] セクションの概要

[概要] セクションには、この表に示すカードが含まれています。

カード説明
未解決の問題

未解決の問題の合計数、前回の実行と比較して新しい問題、現在のユーザーに割り当てられている未解決の問題の数、および未割り当ての問題の合計数が表示されます。

これらのリンクをクリックすると、対応する結果が [結果のリスト] に表示されます。

コード メトリクス

サブプロジェクトの合計数、ファイルの数、コメントのない行の数、およびコードの循環的複雑度の最大値が表示されます。[コード メトリクス] リンクをクリックすると、[コード メトリクス] ダッシュボードが新しいタブで開きます。Polyspace Access Web インターフェイスのコード メトリクス ダッシュボードを参照してください。

.
品質目標

現在のしきい値の定義に従って、すべての品質目標の完了割合および残りの品質目標が表示されます。割合バーの隣のラベルには、解析ステータスが表示されます。たとえば、選択されているしきい値のために必要なチェッカーが解析で有効になっていなかった場合は、ラベルに [未完了] と表示されます。

[品質目標] リンクをクリックすると、[品質目標] ダッシュボードが新しいタブで開きます。品質目標にはユーザー定義のしきい値を作成できます。Monitor Code Quality Using Quality Objectives Dashboard in Polyspace Accessを参照してください。

欠陥 (Bug Finder のみ)

現在の未解決の欠陥の数と各欠陥のステータスが表示されます。[欠陥] リンクをクリックすると、[欠陥] ダッシュボードが新しいタブで開きます。このダッシュボードには、すべての未解決の欠陥の詳細な内訳が表示されます。カテゴリ別またはファイル別に欠陥を表示する機能もあります。欠陥 (Polyspace Bug Finder)を参照してください。

.
実行時チェック (Code Prover のみ)赤、オレンジ、グレー、およびグリーンの実行時チェックの現在の数が表示されます。[実行時チェック] リンクをクリックすると、[実行時チェック] ダッシュボードが新しいタブで開きます。このダッシュボードには、未解決の実行時チェックの詳細な内訳が表示されます。カテゴリ別またはファイル別に実行時チェックを表示する機能もあります。実行時チェック (Polyspace Code Prover)を参照してください。
コーディング規約

未解決のコーディング規約問題の現在の数と各問題のステータスが表示されます。[コーディング規約] リンクをクリックすると、コーディング ルールのダッシュボードが新しいタブで開きます。これらのダッシュボードには、[カスタム ルール] ダッシュボード、[ガイドライン] ダッシュボード、およびプロジェクトで有効になっているコーディング規約があればそのダッシュボード (MISRA C:2012 や SEI CERT C など) が含まれます。コーディング規約 (Polyspace Bug Finder)を参照してください。

.

さまざまなコーディング規約ダッシュボードに、すべての未解決のコーディング規約の問題の詳細な内訳を表示できます。カテゴリ別またはファイル別にコーディング規約の問題を表示する機能もあります。

テーブル内のリンクをクリックすると、該当するフィルターが適用された [レビュー] ページに移動します。

[結果のリスト]、[結果の詳細]、[ソース コード] パネルのナビゲート

多くの場合、[プロジェクトの概要] ダッシュボードのリンクをクリックすると、[レビュー] ページが開きます。[レビュー] ページは次の 3 つのペインに分割されています。

  • 結果のリスト

  • 結果の詳細

  • ソース コード

Polyspace ユーザー インターフェイスで利用できる [レビュー履歴][呼び出し階層] などの追加のペインをツールストリップに表示するには、[ウィンドウ] をクリックしてペインを選択します。結果の解釈 (Polyspace Bug Finder)も参照してください。

結果のリスト

[結果のリスト] には、設定されたフィルターに一致するすべての結果が表示されます。フィルターを削除しない限り、他の問題は表示されません。フィルターの隣のピンクの消しゴム アイコンをクリックすると、すべてのフィルターが削除されます。個々のフィルターの上にカーソルを置くと、フィルターを削除するオプションが開きます。

[結果のリスト] はテーブル形式で編成されています。各列のタイトルをクリックして並べ替えることができます。さらに、結果を項目レベルでフィルターすることもできます。フィルターしたい項目のうち、フィルター条件として使用する行の列を右クリックします。こうすると、そのセルの値を除外するか、その値のみを表示するかのオプションが表示されます。ツールストリップの [フィルター] セクションで [表示のみ][フィルターで除外] の値を設定することもできます。Polyspace Access Web インターフェイスの結果のリストも参照してください。

結果の詳細

[結果の詳細] には、個々の結果に関する詳細情報が表示されます。結果に関する追加情報、該当するドキュメントへのリンク、レビュー情報 (ステータス、重大度、コメントなど) が含まれます。[結果のリスト] で結果を選択すると、その結果の情報が [結果の詳細] ペインに表示されます。Polyspace Access Web インターフェイスの [結果の詳細]を参照してください。

該当する場合は、イベントのトレースに、エラーにつながっているイベントが表示されます。イベントをクリックすると、対応するコード行が [ソース コード] ペインで強調表示されます。

バグ トラッキング チケットを作成して、結果に担当者を割り当てることもできます。結果へのステータスと担当者の割り当てを参照してください。

ソース コード

[ソース コード] ペインには、ソース コードにおける結果の場所が表示されます。[ソース コード] ペインで編集することはできません。[結果のリスト] で結果を選択すると、その結果が [ソース コード] ペインに表示されます。[ソース コード] ペインを右クリックすると、以下を行えます。

  • ファイル内の行にすばやく移動する。

  • 変数のすべての参照を検索する。

  • ファイル パスをクリップボードにコピーする。

  • マクロを展開する、または折りたたむ。

コードの同じ場所に複数の結果がある場合は、該当するコードを右クリックし、[結果の選択] オプションで、注目する 1 つの結果を選択してください。Polyspace Access Web インターフェイスのソース コードを参照してください。

Source Code right-click menu

Polyspace Access 結果へのフィルターの適用

ツールストリップに、ナビゲーションとフィルタリング用の複数の追加オプションが表示されています。

カスタム フィルター

カスタム フィルターの適用と作成を行います。Create Custom Filter Groups in Polyspace Access Web Interfaceも参照してください。

ファミリ フィルター

結果のタイプ別のフィルターを即座に適用します。たとえば、[欠陥] フィルターをクリックすると、欠陥タイプの結果のみが表示されます。[欠陥] フィルターの隣の矢印をクリックすると、重大度が高い欠陥、中程度の欠陥、低い欠陥を表示するように指定できます。同様に、[実行時チェック]、[コーディング規約]、[コード メトリクス] でも、ドロップダウン リストの追加オプションを使用してレビュー範囲を絞り込めます。

フィルター

[フィルター] セクションには、この表に示すクイック フィルターが含まれています。

フィルター
ワークフロー
  • 未解決 - ステータスが [未確認]、[修正予定]、[調査予定]、または [その他] の調査結果。

  • 要処理 - ステータスが [未確認] の調査結果。

  • 処理中 - ステータスが [修正予定]、[調査予定]、または [その他] の調査結果。

  • 完了 - ステータスが [正当化済み]、[欠陥ではない]、または [アクションの予定なし] の調査結果。

  • 注釈付き - ソース コードからステータス、重大度、またはコメントが割り当てられている調査結果。

グリーンの実行時チェック、グリーンの共有変数、非共有変数、およびコード メトリクスは、[要処理][処理中]、および [完了] の調査結果の数にカウントされません。
解決
  • 新規 - 現在の実行で検出された調査結果。

  • 未解決 - 現在の実行で未解決のベースライン調査結果。

  • 解決済み - 現在の実行で修正済みまたは完了済みのベースライン調査結果。

  • 修正済み - 現在の実行に存在しなくなったベースライン調査結果。

Compare Results in Polyspace Access Project to Previous Runs and View Trendsも参照してください。

割り当て先
  • 未割り当て

  • 自分に割り当て

ステータス
  • 未確認

  • 調査予定

  • 修正予定

  • 正当化済み

  • アクションの予定なし

  • 欠陥ではない

  • その他

重大度
  • 重大度高

  • 重大度中

  • 重大度低

影響度による欠陥の分類 (Polyspace Bug Finder)も参照してください。

ソフトウェア品質目標

[SQO1] から [網羅] までの個々のフィルター

Bug Finder 品質目標に照らし合わせた Polyspace Bug Finder の結果の評価 (Polyspace Bug Finder)も参照してください。

[表示のみ] フィルターを使用すると、[表示のみ] フィールドのキーワード、ファイル名、またはコメントに関連する結果が表示されます。[フィルターで除外] フィルターを使用すると、[フィルターで除外] フィールドのキーワード、ファイル名、またはコメントに関連する結果が除外されます。

[表示のみ][フィルターで除外] を適用するには、[結果のリスト] テーブルを右クリックします。各列を使用して、さまざまなパラメーターをフィルタリングできます。フィルターするフレーズが含まれているセルを右クリックし、[表示のみ] または [フィルターで除外] を選択してフィルターを適用します。

結果へのステータスと担当者の割り当て

Polyspace の結果がコンポーネントに表示された場合に、そのコンポーネントの担当者が通知を受け取るように、電子メール アラートを設定することができます。Polyspace Bug Finder Server の結果を含む電子メール通知の送信 (Polyspace Bug Finder)を参照してください。

結果をユーザーに割り当てるには、[結果のリスト] から、割り当てる結果を選択します。[結果の詳細] ペインで [割り当て先] ドロップダウン リストを使用して、結果を割り当てるユーザーを選択します。あるいは、ユーザー名を入力していき、オートコンプリート リストから選択します。ユーザーの割り当てを解除するには、[割り当て先] ドロップダウン リストの右側の x アイコンをクリックします。

ステータス、重大度、またはコメントを割り当てるには、[結果の詳細] ペインでドロップダウン リストから [ステータス] および [重大度] を選択します。コメントは、ドロップダウンの右側のテキスト フィールドに入力します。

複数の結果を選択するには、Ctrl キーを押した状態で、それぞれの結果をクリックします。結果のグループを選択する場合は、最初の結果をクリックし、Shift キーを押した状態で最後の結果までスクロールしてクリックします。結果のリストに現在表示されているすべての結果を選択するには、いずれかの結果を右クリックして、コンテキスト メニューで [すべて選択] をクリックします。

バグ トラッキング ツールを Polyspace Access と統合している場合は、[チケット] セクションで、結果に基づいてチケットを作成することができます。チケットを作成する場合は、plus をクリックし、既存のチケットにリンクする場合は、link をクリックします。Create Bug Tracking Tool Tickets from the Polyspace Access Web Interfaceを参照してください。

参考

トピック