ア　アサーションチェック
　変数の間で論理的に成立すべき条件であるアサーションをプログラムの適切な箇所に挿入し、実行時にその条件を満たしていることを検査します。

イ　コード追跡
　プログラムの実行中に実行された命令の列を記録する手法です。

ウ　スナップショットダンプ
　メモリやレジスに展開されているコンピュータの実行状態を丸ごと写しとって保存する手法です。

エ　テストガバレッジ分析
　テスト対象のソフトウェアのうち、テストの対象部が占める割合のことです。