完了後に結果を調べておかしなところを見つけます。徐々に増加していく整数で埋められるはずです。以下の実行片を考えてみてください。実際のケースではそうではありません。いう事実がわかります。見ることができるはずです。たしかに正常に動作していたことがわかります。保持しており、これは期待したより小さな値です。問題があることが分かると思います。失敗を知ることが出来ます。使ってこのテストプログラムを実行しても、失敗することはありません。テストは一貫して失敗するでしょう。よって為されているかをテストしています。あれば、正常な動作しか見ることは出来ません。同様に成功しか見ることが出来ません。毎回同じ場所で失敗するわけではないことに気付くかもしれません。一貫して失敗しているのです。実際のところ、失敗は滅多に起きず、見つけるのは困難です。議論の中身は理解に役立つでしょう。アクセスをもう一度考えてみましょう。以前、取得読み込みや解放書き込みとの類似性について述べました。これは開始点ではありますが、それで終わりではありません。始めにデッカーのアルゴリズムの一部を見てみましょう。