STclass is een Contract Gebaseerd Ingebouwd Testend Kader (CBBT) voor Java.

Het doel van het project STclass is een professioneel testend kader voor de taal van Java te verspreiden. De plaats van Tigris shoud steunt het onderhoud en de evolutie van het hulpmiddel.

Hier zijn sommige zeer belangrijke eigenschappen van „STclass“:

· Runtime evaluable contractendefinitie en evaluatie:
OCL zoals klasseninvarianten, pre en postconditions op methodes;
de contracten in javadoc becommentari downloaden