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

Bug Finder 品質目標に照らし合わせた Polyspace Bug Finder の結果の評価

R2026a

Bug Finder 解析のすべての結果を評価する代わりに、解析済みプロジェクトが満たす必要がある基準を最初に定義し、Bug Finder の結果をこの基準に照らし合わせて評価できます。Bug Finder 品質目標 (BF-QO) とは、Bug Finder 解析結果と比較できるしきい値のセットです。レビュー プロセスは Bug Finder 品質目標に基づいて開発できます。レビュー プロセスで考慮する結果は、プロジェクトが特定の BF-QO レベルで失敗する結果のみです。

Bug Finder 品質目標は、Code Prover のソフトウェア品質目標に基づいて作成されています。ソフトウェア品質目標に照らした Polyspace Code Prover の結果の評価 (Polyspace Code Prover)を参照してください。

事前定義済みの BF-QO レベルを使用するか、自分で BF-QO を定義できます。BF-QO レベルをカスタマイズするには、Customize Software Quality Objectives (Polyspace Access)を参照してください。

以下は各 BF-QO により指定された事前定義済みの品質のしきい値です。

メトリクスしきい値
ファイルのコメント密度20
関数からのパスの数80
goto ステートメント数0
循環的複雑度10
呼び出し元関数の数5
呼び出しの数7
関数ごとのパラメーター数5
関数ごとの指示の数50
関数の呼び出しレベルの数4
関数の return ステートメント数1

言語スコープ、関数の維持または変更コストのインジケーター。次のように計算されます。

(N1+N2) / (n1+n2)

  • n1 — 異なる演算子の数

  • N1 — 演算子の総数

  • n2 — 異なるオペランドの数

  • N2 — オペランドの総数

4
再帰の数0
直接再帰の数0

以下の MISRA C™:2004 ルールの正当化されない違反の数:

  • 5.2

  • 8.11, 8.12

  • 11.2, 11.3

  • 12.12

  • 13.3, 13.4, 13.5

  • 14.4, 14.7

  • 16.1, 16.2, 16.7

  • 17.3, 17.4, 17.5, 17.6

  • 18.4

  • 20.4

0

以下の MISRA C:2012 ルールの正当化されない違反の数:

  • 8.8、8.11 および 8.13

  • 11.1、11.2、11.4、11.5、 11.6 および 11.7

  • 14.1 および 14.2

  • 15.1、15.2、15.3 および 15.5

  • 17.1 および 17.2

  • 18.3、18.4、18.5 および 18.6

  • 19.2

  • 21.3

0

以下の MISRA™ C++ ルールの正当化されない違反の数:

  • 2-10-2

  • 3-1-3, 3-3-2, 3-9-3

  • 5-0-15, 5-0-18, 5-0-19, 5-2-8, 5-2-9

  • 6-2-2, 6-5-1, 6-5-2, 6-5-3, 6-5-4, 6-6-1, 6-6-2, 6-6-4, 6-6-5

  • 7-5-1, 7-5-2, 7-5-4

  • 8-4-1

  • 9-5-1

  • 10-1-2, 10-1-3, 10-3-1, 10-3-2, 10-3-3

  • 15-0-3, 15-1-3, 15-3-3, 15-3-5, 15-3-6, 15-3-7, 15-4-1, 15-5-1, 15-5-2

  • 18-4-1

0

"BF-QO Level 1 のすべての要件に加えて"、これらのレベルは以下のしきい値を含みます。

メトリクスしきい値
影響度の高い欠陥の数。影響度による欠陥の分類も参照してください。0

"BF-QO Level 2 および 3 のすべての要件に加えて"、このレベルは以下のしきい値を含みます。

メトリクスしきい値
影響度が中程度の欠陥の数。影響度による欠陥の分類も参照してください。0

"BF-QO Level 4 のすべての要件に加えて"、このレベルは以下のしきい値を含みます。

メトリクスしきい値

以下の MISRA C:2004 ルールの正当化されない違反の数:

  • 6.3

  • 8.7

  • 9.2, 9.3

  • 10.3, 10.5

  • 11.1, 11.5

  • 12.1, 12.2, 12.5, 12.6, 12.9, 12.10

  • 13.1, 13.2, 13.6

  • 14.8, 14.10

  • 15.3

  • 16.3, 16.8, 16.9

  • 19.4, 19.9, 19.10, 19.11, 19.12

  • 20.3

0

以下の MISRA C:2012 ルールの正当化されない違反の数:

  • 11.8

  • 12.1 および 12.3

  • 13.2 および 13.4

  • 14.4

  • 15.6 および 15.7

  • 16.4 および 16.5

  • 17.4

  • 20.4、20.6、20.7、20.9 および 20.11

0

以下の MISRA C++ ルールの正当化されない違反の数:

  • 3-4-1, 3-9-2

  • 4-5-1

  • 5-0-1, 5-0-2, 5-0-7, 5-0-8, 5-0-9, 5-0-10, 5-0-13, 5-2-1, 5-2-2, 5-2-7, 5-2-11, 5-3-3, 5-2-5, 5-2-6, 5-3-2, 5-18-1

  • 6-2-1, 6-3-1, 6-4-2, 6-4-6, 6-5-3

  • 8-4-3, 8-4-4, 8-5-2, 8-5-3

  • 11-0-1

  • 12-1-1, 12-8-2

  • 16-0-5, 16-0-6, 16-0-7, 16-2-2, 16-3-1

0

"BF-QO Level 5 のすべての要件に加えて"、このレベルは以下のしきい値を含みます。

メトリクスしきい値
影響度の低い欠陥の数。影響度による欠陥の分類も参照してください。0

"BF-QO Level 6 のすべての要件に加えて"、このレベルは以下のしきい値を含みます。コーディング ルール違反のしきい値は、コーディング ルール違反をチェックする場合にのみ適用されます。

メトリクスしきい値
正当化されない MISRA C および MISRA C++ コーディング ルール違反の数0
正当化されない欠陥の数0

品質目標に照らし合わせた解析結果の評価

Polyspace® Access™ Web インターフェイスで、解析結果を SQO に照らし合わせて比較できます。非推奨の Polyspace デスクトップ ユーザー インターフェイスでこれを行う方法の詳細については、品質目標に照らし合わせた解析結果の評価 (R2025b)を参照してください。

PolyspaceAccess Web インターフェイスでは、[プロジェクトの概要] ダッシュボードの [品質目標] カードを確認して、プロジェクトが特定の品質目標しきい値に到達できるかどうかを最初に判断できます。

Quality objectives card showing 32% completion for SQO2 threshold with 1,969 remaining unaddressed findings.

このカードには、しきい値に到達するためにすでに修正または正当化した結果の割合が示されます。残りの調査結果の数をクリックすると、[結果のリスト] にこれらの調査結果が表示されます。すべての品質目標しきい値に照らしたコードの品質の詳細ビューを表示するには、[品質目標] ダッシュボードを開きます。詳細については、Monitor Code Quality Using Quality Objectives Dashboard in Polyspace Access (Polyspace Access)を参照してください。

参考

トピック