2013年秋 科目A
ソフトウェア構築の過去問

アサーションチェックは変数間で論理的に成り立つ条件（アサーション）をプログラムに挿入し、実行時にその条件が成立しているか検査してプログラムの正当性を検証する手法。イ：命令単位での逐次確認、ウ：特定時点のメモリ内容出力、エ：テスト網羅率の測定。