Proceduren Ombyt(var T: ArrayType; i,j: TabelInterval).

• Testtilfælde er kombinationerne af
  • T er tom, T er ikke tom

  • i < j, i = j, i > j

  • Statisk typecheck og brug af intervaltyper overflødiggør test af randtilfælde uden for intervallerne

Funktionen FindMaxIndex(var T: ArrayType; fra, til: TabelInterval): TabelInterval.

• Testtilfælde er kombinationerne af
  • T er tom, T har største element først, T har største element sidst, T har største element i midten, T indeholder ens værdier

  • fra er T's nedre grænse, fra er T's øvre grænse, til er T's nedre grænse, til er T's øvre grænse, fra er lig med til, fra er én mindre end til, fra er én større end til, fra < til (pænt fordelt)

  • Prebetingelsen overflødiggør nogle testtilfælde