STclass est un cadre inhérent de contrôle basé par contrat (CBBT) pour Java.

Le but du projet de STclass est de diffuser un cadre professionnel de contrôle pour le langage Java. Le support de shoud de site de Tigre la maintenance et l'évolution de l'outil.

Voici quelques fonctionnalités clé de « STclass » :

· Définition et évaluation evaluable d'exécution de contrats :
Le LCO aiment des invariants de cours, pré et des postconditions sur des méthodes ;
contrats définis dans des commentaires de javadoc (peut être extrait par le javadoc) ;
la transmission de contrats du cours et des surfaces adjacentes de parent après le Meyers statue ;
· Contrôle de niveau d'ensemble de cours :
le test sont dispensés dans les bancs d'essai, les jeux d'essai et le TestSuites ;
Des actions d'installation et de démontage peuvent être associées au jeu d'essai, un banc d'essai peuvent participer à plusieurs jeux d'essai ;
des tests contrat-sont basés : Les bancs d'essai définissent seulement le scenarii, oracles sont évalués par des contrats ;
les tests sont inhérents : toute la définition de test est effectuée dans les commentaires de codes sources ;
les tests sont transmissibles des cours et des surfaces adjacentes de parent ;
· Un préprocesseur produit de la source d'un code équipé avec un fonctionnement principal : exécuter le test est seulement exécution de la classe elle-même. Les options managent les conditions d'essai ; il est possible de lancer des bancs d'essai individualy en mode de vérification ; avec la fourmi ou d'autres séquences type, l'ensemble de mesures ou l'essai de système peut être réalisé.
· Le résultat de test sont sauvegardés dans le format XML, post-traitant des états gentils de HTML de produit d'outils ; using le profileur de JIP, une analyse statisitic et profilante peut être effectuée pendant le test, ses resuts sont ajoutées à l'état de HTML.

Ce qu'il y a de neuf dans ce desserrage :

· Plusieurs insectes étaient fixes.
· Le management d'option de modification est maintenant basé sur des dossiers de propriété.
· La bonne intégration avec la fourmi a été réalisée.
· IDEs comprenant NetBeans et éclipse sont maintenant supportés.
· Une commande neuve de code_cover qui effectue des tests de remplissage avec EMMA a été ajoutée.