 |  |
Ještě lepší...
je používat systémy pro běhovou kontrolu platnosti podmínek:
vstupní podmínka metody (zda je volána s přípustnými parametry)
výstupní podmínka metody (zda jsou dosažené výstupy správné)
a podmínka kdekoli jinde - např. invariant cyklu...
standardní klíčové slovo (od JDK1.4) assert booleovský výraz
testovací nástroje typu JUnit (a varianty - HttpUnit,...) - s metodami assertEquals() apod.
pokročilé nástroje na běhovou kontrolu platnosti invariantů, vstupních, výstupních a dalších podmínek - např. jass (Java with ASSertions), http://csd.informatik.uni-oldenburg.de/~jass/.
Ukázka testu jednotky:Test třídy ChovatelPsu