Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

悪い習慣1 コードの可読性・拡張性を考慮してコーディングしていない
悪い習慣2  過去のバグを防止するためのコーディングルールを用意し、開発者にルール遵守を徹底させていない

を防止するために、バグ作り込みの防止や、ソースファイルの可読性向上を目的とした「コーディング規約」が存在します。
その中でも、ソフトウェア開発現場で利用されている「コーディング規約」で解析を行ってみましょう。

Anchor
_Toc14164547
_Toc14164547
コーディングルール自動チェックとは

ここで利用するC++test機能は、コーディングルールチェック機能になります。コーディングルールチェック機能は、4200種類以上のルールを搭載
しており、Ctest機能は、コーディングルールチェック機能になります。コーディングルールチェック機能は、4300種類以上のルールを搭載しており、C/C++両言語を解析します。

...


図に記載されている一部のルールカテゴリは、コンプライアンスパック(別売り)のライセンスをアクティベートする必要があります。 下記に記載されているルールセットを使用したい場合は、

...

"コンプライアンスパック"をご検討ください

[コンプライアンスパックが必要なルールカテゴリ]

  • AUTOSAR C++14 Coding Guidelines

  • フロー解析[BD]における[BD-SECURITY]カテゴリ

  • SEI CERT C/C++

  • Common Weakness Enumeration

  • High Integrity C++

  • Joint Strike Fighter

  • MISRA C 1998

  • MISRA C 2004

  • MISRA C++ 2008

  • MISRA C 2012

  • OWASP Top 10 Most Critical Web Application Security Risks (2017)

  • OWASP API Security Top 10 (2019)

  • OWASP Top 10 Most Critical Web Application Security Risks (2021)

  • セキュリティ

...


Anchor
_Toc14164548
_Toc14164548
解析実行手順

  1. [ソリューション エクスプローラー]上のプロジェクトを選択した状態で、[緑の三角アイコン横の▼]>[テストの実行]>[ユーザー定義]>[Static Analysis]>[2 2_コーディング規約チェック(チュートリアル)]を選択します。緑の進捗バーが表示され、左から右に到達すると解析が完了になります。

    Image RemovedImage Added
  2. Image Removed[品質タスク]ビューに解析結果が表示されます。

    Image RemovedImage Added
  3. [品質タスク]ビューに解析結果が表示されます。

...

これまでコーディング規約を適用しなかったソースコードでチェックを行うと、多くの違反が見つかるでしょう。
全て直さなくてはいけないと考えると途方にくれると思います。しかし、最初から全てを直すことを目的としてはいけません。
違反の修正を考える前に確認することがあります。
それは、今の開発現場の方々がどういう習慣や癖を持ってコーディングしているかを確認します。

確認ポイント1

違反が検出されたルールの内、違反件数が多いルールと少ないルールに分けます。

確認ポイント2

違反件数が少ないルールは、「開発現場の方が守ろうとして守りきれなかったルール」の可能性が高いと予測されます。

確認ポイント3

違反件数が多いルールは、「開発現場の方が守ろうと考えていなかったルール」です。その中で、過去のバグを防止できるコーディングルールが無いかを確認します。


コーディングルールチェック機能を開発現場で利用する初期段階では

...

  1. [Parasoft]>[テストコンフィギュレーション]を選択します。

    Image RemovedImage Added
  2. 表示される画面左側の[ユーザー定義]>[Static Analysis]>[2_コーディング規約チェック(チュートリアル)]を右クリックし、[複製]を選択します。

    Image RemovedImage Added
  3. 生成される[ユーザー定義]>[Static Analysis]> [2_コーディング規約チェック(チュートリアル) (1)]を選択後、画面右側の[静的]>[ルールツリー]を選択し、表示します。

    Image RemovedImage Added
  4. 画面右にある[有効なルールのみ表示]を選択するとチェックの入っているルールのみが表示されます。
    [2_コーディング規約チェック(チュートリアル) (1)]カテゴリのチェックボックスを全て無効にします。

    Image RemovedImage Added
  5. [すべてのルールの表示]を選択します。を選択します。※これまでの変更を保存するかどうかダイアログが表示されるため、保存して続行します。

  6. [フィルター]に「暗黙」と入力します。名前に「暗黙」が含まれているルールが表示されます。

  7. [コーディング規約]、[バグの可能性]カテゴリのルールの内、暗黙的なキャストを違反として検出するルールであることを確認し、チェックボックスを有効にします。

    Image RemovedImage Added
  8. [名前]に「5_USER_RULES」テストコンフィギュレーションを入力します。

    Image RemovedImage Added
  9. [適用]を選択後、[閉じる]を選択します。

    Image RemovedImage Added

Anchor
_Toc14164552
_Toc14164552
開発現場の方々がコーディングルールを全て暗記できないことに備えて

...

  1. [静的解析ルールアイコン(赤い帽子)]を右クリックし、[ルールドキュメントを参照]を選択します。

    Image RemovedImage Added
  2. ブラウザが開き、下記の情報が表示されます。

    • ルール名

    • ルールの説明

    • 利点

    • 違反サンプルコード

    • 違反修正例

    • 関連資料やルールの引用元

    Image Removed

    Image Added

Anchor
_Toc14164553
_Toc14164553
正当なレビュー結果から次回違反として検出しないために

...

  1. 正当なレビュー結果から、次回違反として検出したくない解析結果を右クリックし、[タスクの抑制]を選択します。

    Image RemovedImage Added
  2. 抑制情報を格納する先を指定します。

    • 抑制ファイル内で抑制 :ファイル形式で抑制情報を格納します。

    • ソースコード内での抑制 :抑制情報をコメント形式でソースコードに格納します。

  3. [抑制された理由]画面が表示されたら、[理由]を入力します。

    Image RemovedImage Added
  4. [OK]を選択します。