アサーションチェック は，処理の特定時点で成立すべき条件をプログラムに埋め込み，実行時にその条件を検査する方法です。事前条件，事後条件，不変条件などへの違反を検出し，不具合の発見につなげます。 コード追跡は実行された処理経路や命令の履歴を調べる方法です。 スナップショットダンプは，ある時点のメモリや変数の内容を記録する方法です。 テストカバレッジ分析は，文や分岐などがテストで実行された割合を評価します。