Ladění programů s debuggerem jdb
Nástroje ověřování podmínek za běhu - klíčové slovo assert
Nástroje testování jednotek (tříd, balíků) - junit
Pokročilé systémy dynamického ověřování podmínek - jass
