ランタイム検証

ランタイム検証とは、コンピュータプログラムが実際に稼働している実行時の状態を監視し、その動作が事前に定められた仕様や安全性の要件を満たしているかを動的にチェックする手法およびプロセスのことです。プログラムのソースコードを解析するコンパイル時検証とは異なり、実際にユーザーの入力データを受け取ったり、外部システムと通信したりする生きた環境下での振る舞いを直接観察できる点が大きな特徴です。システムが予期せぬ状態に陥った際や、セキュリティ上の脅威にさらされた際に即座に検知し、適切な対応をとるための基盤技術として広く活用されています。