アサーション

プログラムの実行経路や変数の変化を順に記録して表示するデバッグ支援ツール。どこで想定と違う動きをしたかをたどれるため、原因の絞り込みに役立つ。

デバッグのために、プログラムの実行を一時停止させる位置としてソースコード上に設定する箇所。停止した時点で変数の値や実行の経路を確かめられ、不具合の原因を絞り込むのに使う。

プログラムを実際に動作させて、その結果を確かめるテスト。ソースコードを実行せずに調べる静的解析と対になり、実行したときにしか現れない誤りや性能の問題を見つけられる。

プログラムの実行中に、変数やデータ構造の内容を表示して確かめられるようにするデバッグ用のツール。Webブラウザの開発者ツールでは、表示中のページのHTML要素やスタイルを調べて変更できる機能を指す。

ある時点の状態をそのまま記録したもの。デバッグでは、プログラムの実行中の指定した時点で、メモリやレジスタの内容を出力する機能（スナップショットダンプ）を指す。ストレージや仮想マシンでは、ある時点のデータの状態を瞬時に保存する技術を指す。

プログラム中に記述したアサーション（実行中に成り立つべき条件）が、実行時に満たされているかを検査し、満たされないときに通知するツール。誤りが起きた箇所を早く特定できる。