プログラム実行中の特定の時点で成立していなければならない変数間の関係や条件を記述した論理式を埋め込んで、その論理式が成立していることを確認することによって、プログラムの処理の正当性を動的に検証する手法はどれか。

選択肢

• アアサーションチェック
• イコード追跡
• ウスナップショットダンプ
• エテストカバレッジ分析

正解と解説

正解：ア アサーションチェック

アサーションチェックは、プログラム中の特定箇所で成立しているはずの条件を論理式として埋め込み、実行時にその条件が満たされているかを確認する手法である。前提が崩れた時点で検出できるため、不具合の原因箇所を特定しやすい。実際にプログラムを動かして確かめる動的な検証手法である点が特徴である。

選択肢ごとの解説

• ア正解。埋め込んだ論理式の成立を実行時に確認する動的検証。
• イコード追跡は実行経路や変数の変化を順に追って調べる手法。
• ウスナップショットダンプは特定時点のメモリ内容を出力して調べる手法。
• エテストカバレッジ分析はテストがどれだけコードを網羅したかを測る手法。

同じ分野の他の問題

• 探索的テスト技法の説明はどれか。2020年度 10月試験 午前II 問22
• 組込みソフトウェア開発を行うために、ターゲットシステム上で未完成の周辺ハードウェアが正しく動作しているようにエミュレーシ…2019年度 春期 午前II 問22
• 学生レコードを処理するプログラムをテストするために、実験計画法を用いてテストケースを決定する。学生レコード中のデータ項目…2018年度 春期 午前II 問23
• ホワイトボックステストのテストケースを設計する際に使用する技法はどれか。2018年度 春期 午前II 問22
• 自動車分野の機能安全規格ISO 26262においてテスト指標として用いられるC1カバレージの説明として、適切なものはどれ…2017年度 春期 午前II 問24