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

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 により指定された事前定義済みの品質のしきい値です。

BF-QO Level 1

メトリクス	しきい値
ファイルのコメント密度	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 2 および 3

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

BF-QO Level 4

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

BF-QO Level 5

メトリクス	しきい値
以下の 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 6

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

BF-QO Exhaustive

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

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

結果を SQO に照らし合わせて評価する場合、Polyspace^®Access™ Web インターフェイスまたは Polyspace デスクトップユーザーインターフェイスのいずれかを使用します。

PolyspaceAccess Web インターフェイスでは、[プロジェクトの概要] ダッシュボードの [品質目標] カードを確認して、プロジェクトが特定の品質目標しきい値に到達できるかどうかを最初に判断できます。
このカードには、しきい値に到達するためにすでに修正または正当化した結果の割合が示されます。残りの調査結果の数をクリックすると、[結果のリスト] にこれらの調査結果が表示されます。すべての品質目標しきい値に照らしたコードの品質の詳細ビューを表示するには、[品質目標] ダッシュボードを開きます。詳細は、Monitor Code Quality Using Quality Objectives Dashboard in Polyspace Access (Polyspace Access)を参照してください。
Polyspace ユーザーインターフェイスでは、[結果のリスト] ツールバーのメニューを使用することにより、特定のソフトウェア品質目標を達成するために修正または正当化しなければならない結果のみを表示できます。
このメニューで SQO オプションを有効にするには、[ツール] 、 [基本設定] を選択します。[レビュースコープ] タブで、[品質目標スコープを含める] を選択します。

参考

トピック

Polyspace Access Web インターフェイスでの結果のフィルタリングと並べ替え (Polyspace Access)
Polyspace Access でのバグ修正または正当化による結果への対処 (Polyspace Access)