特定の障害の​​セットの有無を実証する試験方法とテストデータを使用してコンピュータのソフトウェアをテストするためのテクニック。例えば、ソフトウェアが正しくゼロ除算フォルトを処理することを実証するため、テストデータにはゼロが含まれます。