静的解析は、テスト コンフィギュレーションで定義されたパラメーターに基づいて実行されます。

[静的] タブには以下の設定があります。

• 静的解析を有効にする: 静的解析を実行するかどうかを指定します。テスト コンフィギュレーションで「有効」に設定された (チェックボックスがオンになっている) 静的解析ルールに、選択されたリソースが準拠しているかどうかをチェックします。
• 1 ルールにレポートするエラーの最大数: 個々の静的解析ルールについて、1 回のテストでレポートされる違反の数を制限するかどうかを指定します。たとえば、各ルールにつきレ ポートされる違反の数を 5 以下に制限するには、このパラメーターに 5 を設定します。デフォルトは 1,000 です。
• 抑制を適用しない: 抑制を適用するかどうかを設定します。抑制を適用しない場合、検出されたすべての違反がレポートされます。
• 同等のルールの違反を自動的に抑制する: 同等のルールのグループに属するいずれかのルールが違反のポイントで抑制された場合、グループ全体の違反を自動的に抑制するかどうかを指定します。このオプションはデフォルトでオフです。
• パース エラーのあるファイルを解析する: パース エラーのあるファイルを解析するかどうかを指定します。以下のオプションがあります。
  - 無視:  このオプションはデフォルトでオンです。コードのパース エラーを無視して静的解析の指摘事項をレポートします。 場合によっては、パース エラーのあるファイルを解析すると、解析結果が不正確になることに注意してください。
  - 警告: 静的解析の指摘事項をレポートし、コードのパース エラーをセットアップの問題および警告としてレポートします。
  - エラー: コードのパース エラーが発生した場合、静的解析の指摘事項をレポートしません。コードのパース エラーをセットアップの問題および警告としてレポートします。

[ルール ツリー] タブ

• 静的解析に使用するルールを指定します。ルール ツリーおよび関連コントロールを使用して、静的解析でチェックするルールおよびルール カテゴリを指定します。デフォルトでは、ルール ツリーは有効なルールが少なくとも 1 つあるカテゴリを表示します。 
  • アクティブなルールだけを表示するには、[すべての有効なルールを表示] をオンにします。 
  • [カテゴリの設定] をクリックしてルール ツリーに表示したいカテゴリを選択します。ビルトイン (Parasoft) カテゴリおよび業界標準のカテゴリを選択できます。カテゴリは複数選択できます。
  • ルールの説明を参照するには、ルールのノードを右クリックし、ショートカット メ ニューの [ルール ドキュメントの参照] をクリックします。

  • 特定のルール カテゴリのすべてのルールを有効または無効にするには、そのカテゴリを右クリックし、[ルールを有効にする] または [ ルールを無効にする] を選択して [すべての表示ルール] をクリックします。

  • ルールを検索するには、ルール ツリーの上の [フィルター] フィールドを使用します。デフォルトでは、この検索はルール名だけを検索します。ルールの説明全体にわたって検索するには、フィルターの右側の [ルール ドキュメントも検索] ボタンをクリックします。

[フロー解析オプション] タブ

解析の深さ、マルチスレッド APIのサポート、違反レポートの冗長性といったフロー解析のオプションを設定できます。詳細については 「フロー解析オプションの設定」を参照してください。