ソフトウェア品質目標に照らした Polyspace Code Prover 検証結果の評価

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

事前定義済みの SQO レベルを使用するか、自分で SQO を定義できます。SQO レベルをカスタマイズするには、ソフトウェア品質目標のカスタマイズを参照してください。

SQO レベルの仕様

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

SQO 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

SQO Level 2

メトリクス	しきい値
正当化されないレッドチェックの数	0
正当化されない `[無限呼び出し]` チェックおよび `[無限ループ]` チェックの数	0

SQO Level 3

メトリクス	しきい値
正当化されないグレーの `[到達不能コード]` チェックの数	0

SQO Level 4

メトリクス	しきい値
グリーンおよび正当化済みオレンジチェックの数をグリーンチェックおよびオレンジチェックの総数で除算して計算される、正当化済みオレンジチェックの割合。	`無効な C++ に固有の演算`:50
`正確性の条件`:60
`ゼロ除算`:80
`キャッチされていない例外`:50
`値を返さない関数`:80
`不適切にデリファレンスされたポインター`:60
`初期化されていない戻り値`:80
`未初期化ローカル変数`:80
`未初期化ポインター`:60
`未初期化変数`:60
`null の this ポインターを呼び出すメソッド`50
`誤ったオブジェクト指向プログラミング`:50
`範囲外の配列インデックス`:80
`オーバーフロー`:60
`無効なシフト演算`:80
`ユーザーアサーション`:60

SQO 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
グリーンおよび正当化済みオレンジチェックの数をグリーンチェックおよびオレンジチェックの総数で除算して計算される、正当化済みオレンジチェックの割合。	`無効な C++ に固有の演算`:70
`正確性の条件`:80
`ゼロ除算`:90
`キャッチされていない例外`:70
`値を返さない関数`:90
`不適切にデリファレンスされたポインター`:70
`初期化されていない戻り値`:90
`未初期化ローカル変数`:90
`未初期化ポインター`:70
`未初期化変数`:70
`null の this ポインターを呼び出すメソッド`70
`誤ったオブジェクト指向プログラミング`:70
`範囲外の配列インデックス`:90
`オーバーフロー`:80
`無効なシフト演算`:90
`ユーザーアサーション`:80

SQO Level 6

メトリクス	しきい値
グリーンおよび正当化済みオレンジチェックの数をグリーンチェックおよびオレンジチェックの総数で除算して計算される、正当化済みオレンジチェックの割合。	`無効な C++ に固有の演算`:90
`正確性の条件`:100
`ゼロ除算`:100
`キャッチされていない例外`:90
`値を返さない関数`:100
`不適切にデリファレンスされたポインター`:80
`初期化されていない戻り値`:100
`未初期化ローカル変数`:100
`未初期化ポインター`:80
`未初期化変数`:80
`null の this ポインターを呼び出すメソッド`90
`誤ったオブジェクト指向プログラミング`:90
`範囲外の配列インデックス`:100
`オーバーフロー`:100
`無効なシフト演算`:100
`ユーザーアサーション`:100

Exhaustive

メトリクス	しきい値
正当化されない MISRA C および MISRA C++ コーディングルール違反の数	0
正当化されないレッドチェックの数	0
正当化されない `[無限呼び出し]` チェックおよび `[無限ループ]` チェックの数	0
正当化されないグレーの `[到達不能コード]` チェックの数	0
グリーンおよび正当化済みオレンジチェックの数をグリーンチェックおよびオレンジチェックの総数で除算して計算される、正当化済みオレンジチェックの割合。	100

これらのレベルの背景にある基本原理の詳細については、「ソースコードのソフトウェア品質目標」を参照してください。

ソフトウェア品質目標に照らした検証結果の評価

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

Polyspace Access Web インターフェイスでは、[プロジェクトの概要] ダッシュボードの [品質目標] カードを確認して、プロジェクトが特定の品質目標しきい値に到達できるかどうかを最初に判断できます。
このカードには、しきい値に到達するためにすでに修正または正当化した検証結果の割合が示されます。残りの調査結果の数をクリックすると、[検証結果のリスト] にこれらの調査結果が表示されます。すべての品質目標しきい値に照らしたコードの品質の詳細ビューを表示するには、[品質目標] ダッシュボードを開きます。詳細は、Polyspace Access の [品質目標] ダッシュボードを参照してください。
テンプレート SoftwareQualityObjectives_Summary および SoftwareQualityObjectives を使用して PASS または FAIL ステータスを表示するレポートを生成することもできます。Bug Finder and Code Prover report (-report-template) を参照してください。
Polyspace ユーザーインターフェイスでは、[検証結果のリスト] ツールバーのメニューを使用することにより、特定のソフトウェア品質目標を達成するために修正または正当化しなければならない検証結果のみを表示できます。

このメニューで SQO オプションを有効にするには、[ツール] 、 [基本設定] を選択します。[レビュースコープ] タブで、[品質目標スコープを含める] を選択します。

メモ

ユーザーインターフェイスのメニューを使用してレッドチェックまたはグレーチェックを非表示にすることはできません。したがって、Polyspace ユーザーインターフェイスで、プロジェクトと事前定義された SQO レベル 1、2、および 3 を直接比較することはできません。ただし、Polyspace Access Web インターフェイスでは、事前定義されたすべての SQO レベルに照らしてプロジェクトを評価することができます。

SQO レベルのカスタマイズ

SQO をカスタマイズするには以下を行います。

Polyspace Access Web インターフェイスの場合は、ソフトウェア品質目標のカスタマイズを参照してください。
Polyspace デスクトップユーザーインターフェイスでは、SQO の実装にレビュースコープが使用されます。独自のレビュースコープの作成方法については、次のいずれかのトピックを参照してください。
- Polyspace デスクトップユーザーインターフェイスでのオレンジチェックの表示の範囲設定
- Polyspace を使用したコード複雑度メトリクスの計算