コンパイラの助けを借りたプログラムのテスト

有限入出力仕様がプログラムの構文に追加されると、これらの仕様はコンパイル時に検証可能になります。このように十分なテストを伴うプログラムは、保守エラーに対して抵抗力があります。仕様がプログラムの詳細に依存しない場合、それは簡単に提供でき、プログラムと共通するエラーを含む可能性は低いです。さらに、特定の有限な仕様は最大限であり、任意のテストができるのと同様に、プログラムの制御および表現構造を行使します。