検証（verification）

Java講座 用語集  　索引へ戻る　  Java講座のページ

検証（verification）

• すべての命令が有効なオペレーション・コードとなっているかどうかを調べる。
• すべての分岐命令が他の命令の途中ではなく開始位置に分岐しているかどうかを調べる。
• すべてのメソッドが正しいシグネチャ構造を提供しているかどうかを調べる。
• すべての命令がJava仮想マシン言語の型規則にしたがっているかどうかを調べる。