c++ - C/C++ 用の MC/DC カバレッジ ツール

Question

私は最近、CS258 の無料のオンライン コースを受講しましたが、MC/DC カバレッジと呼ばれるコード カバレッジについて触れていました。これは、自動車や飛行機などのコンピューターなどの組み込みソフトウェアで使用されます...

しかし、プログラムの MC/DC カバレッジを表示する無料のツールが見つかりませんでした。何か推奨事項はありますか?

Answer 1

Project Coverage (現在はProject Couvertureと呼ばれています) は、おそらく非侵襲的でオープンソースのカバレッジ分析の問題に対する最初の良い答えになると思います。彼らの最新のコードリリースは現在ここにあり、マイルハイトの種類のプロジェクトのプレゼンテーションはここで見ることができます.

SQLite が単に を使用して MC/DC カバレッジを主張する方法についてgcovは、C では論理 AND と OR が短絡評価に従うという事実に基づいています。つまり、ブール式の比較では...

if (((A == B) || (C != D)) && (E != F)) ...

...C は、定義により、全体を「決定」する最初の式で評価を停止します。したがって、A が B と等しい場合、意思決定は既に行われています。そうでない場合は、次の式に進みます。つまり、MC/DC 要件は...

Each condition in a decision must be shown to *independently*
          affect the outcome of the decision

...「デフォルトでカバーされている」ようなものです。

ただし、例外があります。ここで説明を読んでください。