エンベデッドシステムスペシャリスト 2021年 午前2 問22

アサーションチェック【午前2解説】

正解の理由

解法ステップ

1. 問題文から「プログラム実行中」「特定の時点」「論理式」「成立していることを確認」という語句に注目します。
2. 実行時に条件の真偽を確かめる手法を考えます。
3. 条件式をプログラムに埋め込んで検証する「アサーションチェック」を選びます。

選択肢別の誤答解説

• ア アサーションチェック
  指定した時点で成立しているべき条件を検査します。問題文の説明に一致します。
• イ コード追跡
  プログラムの実行順序や変数の変化を追い、処理の流れを調べる方法です。論理式の成立を確認する手法ではありません。
• ウ スナップショットダンプ
  障害発生時などに、メモリや変数の状態を記録する方法です。特定の条件が成立しているかを自動判定するものではありません。
• エ テストカバレッジ分析
  テストによって、命令や分岐などがどの程度実行されたかを分析する方法です。変数間の条件の成立を確認するものではありません。

よくある誤解

• アサーションチェックを、テストケースを実行するテスト全般と混同しないようにしましょう。アサーションは、実行時に成立すべき条件を直接検査します。
• スナップショットダンプも実行時の状態を扱いますが、状態を記録することと、条件の成立を判定することは別です。
• テストカバレッジが高くても、プログラムの正しさが保証されるわけではありません。カバレッジは実行された範囲を示す指標です。

補足コラム

FAQ